[S09] Boletín Semanal

Stefan Malewski 13 Oct 202313/10/23 a las 01:39 hrs.2023-10-13 01:39:13

Temas de la Semana

Plazo recomendando: Jueves 19 de Octubre

Terminación de STLC y PCF (Capítulo 19)
[Apuntes: Terminación del STLC | PCF][Videos: Terminación del STLC | PCF]
  • Terminación del STLC
  • Relaciones lógicas
  • Demostrando la terminación de STLC usando relaciones lógicas
  • Recursión general con PCF
  • Puntos fijos
  • PCF vs System T

Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!
Compartir
Categoría Boletines
Última Modificación 13 Oct 202313/10/23 a las 01:39 hrs.2023-10-13 01:39:13
Vistas Únicas 4