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
Numerales de Church
Numerales de Church
Numerales de Church
Nota de curso de Rice University sobre Numerales de Church
Haga clic en el enlace
Numerales de Church
para abrir el recurso.
◄ Cálculo Lambda y Cálculo de Construcciones
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
Práctico 3 - Entrega 25/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 20/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
Inversión
Práctico 5 - entrega 10/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 24/6/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 3 - Entrega 25/4/24. Ejercicios a entregar: 3.4, 3.5, 3.8, 3.10, 3.11, 3.12, 3.14 y 3.15 ►