Taller de Lógica, III conv., 2024-2025
Demarcación e inducción. Ontología, metafísica y política en la Ética de Spinoza
Conversación con los alumnos
Estrategias escriturales y herramientas. Markdown
Introducción al teorema de Gödel. Teorema fundamental de la aritmética
Argumentos correctos y concluyentes
Valores de verdad. Argumentos correctos
Demostraciones por el absurdo
Resaltados sintácticos. El paradigma del paso de mensajes
Procedimientos recursivos. Memoización y otras optimizaciones
Recursión. Backtracking. Análisis y pseudo-código
POP, IMAP, SMTP, Webmail. Lenguaje y metalenguaje. Tablas de verdad
Consecuencia lógica. Paradojas del principio de comprensión