[S05] Boletín Semanal 7

Stefan Malewski 8 Sep 202308/09/23 a las 12:33 hrs.2023-09-08 12:33:08
Boletines

Temas de la Semana

Plazo recomendando: Jueves 21 de Septiembre

Funciones (Capítulo 8)
[Apuntes: Funciones][Videos: Funciones]
  • Funciones de primer orden
  • Funciones de orden superior
  • Términos neutros
  • Scope dinámico

Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!

[S04] Boletín Semanal 7

Stefan Malewski 1 Sep 202301/09/23 a las 11:33 hrs.2023-09-01 11:33:01
Boletines

Hitos Evaluativos

Tarea 1: Tipos de seguridad para un lenguaje minimalista. | Fecha de entrega: 27 de Septiembre a las 23:59

Temas de la Semana

Plazo recomendando: Jueves 07 de Septiembre

Dinámicas contextual, ecuacional y de evaluación (Capítulos 5.3, 5.4 y 7)
[Apuntes: Dinámicas][Videos: Dinámica contextual y ecuacional | Dinámica de evaluación]
  • Dinámica contextual
  • Contextos de evaluación y redexes
  • Dinámica ecualcional
  • Identidad definicional
  • Dinámica de evaluación
  • Small vs big step
  • Divergencia
  • Equivalencia de semánticas dinámicas

Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!

[S03] Boletín Semanal 7

Stefan Malewski 24 Ago 202324/08/23 a las 20:35 hrs.2023-08-24 20:35:24
Boletines

Hitos Evaluativos

Control 1: Semántica estática y dinámica. | Fecha de entrega: 30 de Agosto a las 23:59

Temas de la Semana

Plazo recomendando: Jueves 31 de Agosto

Type Safety y Errores (Capítulo 6)
[Apuntes: Type Safety | Errores][Videos: Type Safety | Errores]
  • Type Safety
  • Progress y Preservation
  • Demostrando Progress y Preservation
  • Lema de formas canónicas
  • Errores dinámicos
  • Errores checkeados vs no checkeados
  • Tipos de errores en lenguajes safe





[S02] Boletín Semanal 9

Stefan Malewski 18 Ago 202318/08/23 a las 12:09 hrs.2023-08-18 12:09:18
Boletines

Temas de la Semana

Plazo recomendando: Jueves 24 de Agosto

Semántica estática y dinámica (Capítulos 4 al 5.2)
[Apuntes: Semántica estática y dinámica][Videos: Statics | Dynamics]
  • El juicio de tipado
  • Reglas de tipado para un lenguaje simple
  • Especificación VS algoritmo
  • Propiedades del juicio de tipado
  • Reglas estructurales
  • Semántica operacional estrucural
  • Juicio de transición
  • ¿Cómo demostrar teoremas sobre juicio de tipado y transición?
  • Small step VS big step
  • Semanticas call-by-value y call-by-name
  • Propiedades de un sistema de transición

Junten dudas para discutirlas en la clase del próximo jueves!!!
Y no olviden usar el discord!

[S01] Boletín Semanal 12

Stefan Malewski 10 Ago 202310/08/23 a las 20:23 hrs.2023-08-10 20:23:10
Boletines

Temas de la Semana

Plazo recomendando: Jueves 17 de Agosto

Juicios y reglas (Capítulos 1 al 3)
[Apuntes: Juicios y reglas][Videos: Intro | Juicios y reglas]
  • Sintaxis abstracta
  • Juicios inductivos
  • Derivaciones de juicios
  • Juicios mutuamente inductivos
  • Juicios hipotéticos
  • Juicios inductivos hipotéticos
  • Principios de inducción sobre reglas
  • ¿Cómo demostrar teoremas sobre juicios inductivos?

Junten dudas para discutirlas en la clase del próximo jueves!!!