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
Preliminares
Preliminares
Preliminares
Preliminares
Haga clic en
preliminares.pdf
para ver el archivo.
◄ Introducción y Cálculo Proposicional
Ir a...
Ir a...
Novedades
Consultas de Teórico
Consultas de Práctico
Coordenadas de sala Zoom
Introducción y Cálculo Proposicional
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
Inversión
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)
Letra_Parcial1_2024
Plantilla_Parcial1 2024
Entrega Parcial 1 2024
Encuesta de opinión estudiantil del curso semestre 1 de 2024
Encuesta DOCENTE semestre 1 de 2024 CARLOS LUNA
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 ►