[S07] Boletín Semanal

Stefan Malewski 29 Sep 202329/09/23 a las 08:58 hrs.2023-09-29 08:58:29

Hitos Evaluativos
Control 2: Funciones de órden superior. | Fecha de entrega: 04 de Octubre a las 23:59

Temas de la Semana

Plazo recomendando: Jueves 05 de Octubre

Tipos de datos finitos y lógica constructiva (Capítulo 10 y 11)
[Apuntes: Tipos de datos finitos | Lógica constructiva][Videos: Tipos de datos finitos | Lógica constructiva]
  • Productos nularios y binarios
  • Productos finitos
  • Sumas nularias y binarias
  • Sumas finitas
  • Codificando tipos con sumas y productos
  • Lógica constructiva
  • Lógica clásica vs constructiva
  • Conexión lógica-programación

Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
Compartir
Categoría Boletines
Última Modificación 29 Sep 202329/09/23 a las 13:57 hrs.2023-09-29 13:57:29
Vistas Únicas 6