CM0845 Lógica
en constante actualización
en constante actualización
Propositional Logic: Satisfiability, Deductive Systems, Resolution.
First-Order Logic: Deductive Systems, Resolution, Undecidability
Temporal Logic
Program Verification
Mordechai Ben-Ari, Mathematical Logic for Computer Science. Third Edition. 2012. Springer London. https://doi.org/10.1007/978-1-4471-4129-7
https://drive.google.com/drive/folders/1PBTe9pBe6HSjJ4a-AXxu7MofzTduG6_4?usp=sharing
Dos exámenes parciales: 25% cada uno. Semanas 6 y 12.
Dos actividades prácticas: 15% cada una. Semanas 4 y 8.
Proyecto: 20%. Semana 16.