Programa general

• Propositional Logic: Satisfiability, Deductive Systems, Resolution.

• First-Order Logic: Deductive Systems, Resolution, Undecidability

• Temporal Logic

• Program Verification

Libro guía

Mordechai Ben-Ari, Mathematical Logic for Computer Science. Third Edition. 2012. Springer London. https://doi.org/10.1007/978-1-4471-4129-7 

Diapositivas

https://drive.google.com/drive/folders/1PBTe9pBe6HSjJ4a-AXxu7MofzTduG6_4?usp=sharing 

Actividades evaluativas

1. Dos exámenes parciales: 25% cada uno. Semanas 6 y 12.

2. Dos actividades prácticas: 15% cada una. Semanas 4 y 8.

   1. Actividad 1: https://drive.google.com/file/d/12NoUNRO65EkAC6wtKhQY0cbIe6t_anmq/view?usp=sharing 

   2. Actividad 2: https://drive.google.com/file/d/1XlAs9PIK7lkVPG33Maa0u_ge-PAGVMwT/view?usp=sharing 

3. Proyecto: 20%. Semana 16.