Profesor | Favio Ezequiel Miranda Perea | ma ju | 16 a 17:30 | P211 |
Ayudante | Pilar Selene Linares Arévalo | lu mi | 13 a 14 | P211 |
Ayud. Lab. | Luis Felipe Ruíz Castañeda | ju | 14 a 16 | Laboratorio de Innovación Tecnológica |
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.