Ciencias de la Computación (plan 2013) 2022-2

Grupo 7059, 28 lugares. 9 alumnos.

 

📢 Importante

Para la comunicación con el grupo haremos uso de la plataforma Telegram. Es importante que tengan su correo actualizado en el Sistema de la Facultad de Ciencias pues ahí enviaremos los datos de acceso a la clase así como información sobre la presentación. Todos los detalles, como la forma de trabajo se encuentran en la página del curso. En caso de no recibir la información de acceso o si tienen alguna duda, envíenme un correo a manu@ciencias.unam.mx, también pueden escribirme por Telegram.

---

El objetivo del curso es introducir las lógicas formales y sus aplicaciones en Ciencias de la Computación. En particular, se analizan los casos de la lógica proposicional y la lógica de primer orden, junto a sus métodos formales de deducción y demostración dando además especial énfasis a la implementació́n de estos métodos.

A lo largo del curso, se presentarán ejemplos que permitirán establecer conexiones entre la lógica y otras áreas de la computación tales como complejidad computacional, teoría de autómatas, representación del conocimiento, inteligencia artificial y verificación formal de sistemas.

🏅 Evaluación

El curso se evaluará mediante Exámenes (50%) y Proyectos (50%).

📋 Contenido