Sección: Parcial 1 | 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 domingo, 16 de marzo de 2025, 02:40

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 Letra_Parcial1_2024
  
  Letra_Parcial1_2024 Archivo PDF
  
  Letra del Parcial 1
- Seleccionar actividad Plantilla_Parcial1 2024
  
  Plantilla_Parcial1 2024 Archivo V
- Seleccionar actividad Entrega Parcial 1 2024
  
  Entrega Parcial 1 2024 Tarea
  
  Upload de Parcial 1
- Seleccionar actividad Encuesta de opinión estudiantil del curso semestre 1 de 2024
  
  Encuesta de opinión estudiantil del curso semestre 1 de 2024
  
  Los estudiantes deben
  
  Marcar como hecha
  
  Disponen aquí de una encuesta para brindar su opinión sobre la UC y el equipo docente. Completarla requiere 5 minutos y es anónima. La opinión de los estudiantes sobre el desarrollo de las UC es un insumo muy importante para el equipo docente y para la Facultad en su conjunto. Permite evaluar mejoras a realizar para las próximas ediciones. Contamos con su participación.
- Seleccionar actividad Encuesta DOCENTE semestre 1 de 2024 CARLOS LUNA
  
  Encuesta DOCENTE semestre 1 de 2024 CARLOS LUNA
  
  Los estudiantes deben
  
  Marcar como hecha
  
  Disponen de la encuesta para realizar la evaluación de cada docente del curso de manera individual.