Sección: Cálculo Lambda y Cálculo de Construcciones | Construcción Formal de Programas en Teoría de Tipos | FING

Página Principal

Avisos recientes

12 de julio de 2024, 11:36
Carlos Luna
Resultados finales del curso - primer semestre de 2024
6 de julio de 2024, 18:21
Carlos Luna
Ejemplo de segundo parcial
11 de junio de 2024, 13:45
Carlos Luna
Segundo Parcial
17 de junio de 2024, 19:59
Carlos Luna
Último módulo del curso !
17 de mayo de 2024, 20:53
Carlos Luna
Encuesta de opinión estudiantil sobre el curso y el docente - semestre 1 de 2024

Próximos eventos

No hay eventos próximos

Actividad reciente

Actividad desde miércoles, 12 de marzo de 2025, 15:48

Informe completo de la actividad reciente...

Sin actividad reciente

Resumen del curso

Iniciar al estudiante al uso de métodos formales para la producción de software correcto por construcción.

Perfilado de sección

- Seleccionar actividad Cálculo Lambda y Cálculo de Construcciones
  
  Cálculo Lambda y Cálculo de Construcciones Archivo
  
  Cálculo Lambda Tipado y Cálculo de Construcciones
- Seleccionar actividad Numerales de Church
  
  Numerales de Church URL
- Seleccionar actividad 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
  
  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 Archivo
- Seleccionar actividad Plantilla del práctico 3
  
  Plantilla del práctico 3 Archivo
- Seleccionar actividad Entrega Práctico 3
  
  Entrega Práctico 3 Tarea
  
  Entrega práctico 3