Profesorado en Informática · CFE · 2026
Historia de la lógica:
de Aristóteles al model checking
Hacé clic en cada evento para ver más detalles.
Basado en Pons, Rosenfeld & Smith — Lógica para Informática (EDULP, 2011)
Fundamentos griegos y racionalistas
Revolución simbólica (s. XIX)
Siglo XX: límites y fundamentos
Verificación formal de programas
Fuente: Pons, Rosenfeld & Smith. Lógica para Informática. EDULP, 2011. — Material de cátedra para uso educativo.