Fonoteca


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

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


Copyright © EPBCN, 1996-2024.