[S01] Boletín Semanal
Stefan Malewski 10 Aug 202310/08/23 at 20:232023-08-10 20:23:10
Temas de la Semana
Plazo recomendando: Jueves 17 de AgostoJuicios 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!!!
| Compartir | |
|---|---|
| Categoría | Boletines |
| Última Modificación | 18 Aug 202318/08/23 at 12:232023-08-18 12:23:18 |
| Vistas Únicas | 12 |
