Profesor | Favio Ezequiel Miranda Perea | lu mi vi | 11 a 12 | P211 |
Ayudante | José Manuel Reyes Snyder | ma ju | 11 a 12 | P211 |
Ayud. Lab. | Cenobio Moisés Vázquez Reyes | ju | 14 a 16 | Laboratorio de Ciencias de la Computación 2 |
Este curso proporciona una introducción a la Lógica Matemática desde la perspectiva de las Ciencias de la computación haciendo énfasis en algunas de sus aplicaciones. Al final del curso el alumno estará preparado para usar la lógica como una herramienta formal de apoyo en diversas áreas de las ciencias de la computación.