Salta al contenido principal
Panel lateral
Enlaces de interés
FING
Bedelia
SGAE
OpenFing
Noticias
Redes sociales
Orientacion y consulta
Convivencia
Cursos
Institutos
Tecnólogos
Posgrados
Extensión
Institucional
Más
Buscar
Cerrar
Buscar
Selector de búsqueda de entrada
En este momento está usando el acceso para invitados
Acceder
Página Principal
Abrir índice del curso
Institutos
CFPTT
Inversión
Inversión
Inversión
Inversión de definiciones inductivas en Coq
Haga clic en
CFPTT_T5.pdf
para ver el archivo.
◄ Entrega Práctico 4
Ir a...
Ir a...
Novedades
Consultas de Teórico
Consultas de Práctico
Coordenadas de sala Zoom
Introducción y Cálculo Proposicional
Preliminares
Práctico 1 - Entrega: 25/3/24. Ejercicios a entregar: 1.4, 1.5, 1.6, 1.8, 1.9, 1.11 y 1.12
Plantilla del práctico 1
Entrega Práctico 1
Cálculo de Predicados
Práctico 2 - Entrega 11/4/24. Ejercicios a entregar: 2.2, 2.3, 2.4, 2.5, 2.7, 2.8, 2.9, 2.10 y 2.11
Plantilla del práctico 2. Es una guía pero se puede modificar.
Entrega Práctico 2
Cálculo Lambda y Cálculo de Construcciones
Numerales de Church
Práctico 3 - Entrega 29/4/24. Ejercicios a entregar: 3.4, 3.5, 3.8, 3.10, 3.11, 3.12, 3.14 y 3.15
Plantilla del práctico 3
Entrega Práctico 3
Isomorfismo de Curry-Howard. El práctico sigue siendo el 3.
Inducción y Recursión
Práctico 4 - entrega 27/5/24. Ejercicios a entregar: 4.8, 4.9, 4.11, 4.12, 4.13, 4.17, 4.20 y 4.21. A partir de este práctico no hay plantillas; tienen que construir Uds el archivo de entrega completamente.
Entrega Práctico 4
Práctico 5 - entrega 17/6/24 (no hay plantilla de práctico)
Entrega Práctico 5 (Ejercicios a entregar: 5.4, 5.5, 5.6 y 5.7)
Verificación de programas
Práctico 6 - entrega 3/7/24 (no hay plantilla de práctico)
Entrega Práctico 6 (Ejercicios a entregar: 6.3, 6.5, 6.6, 6.7 y 6.8)
Práctico 5 - entrega 17/6/24 (no hay plantilla de práctico) ►