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

Cuarto Semestre, Lógica Computacional

🔮 Descripción

Este curso proporciona una introducción a la Lógica computacional, es decir métodos de formalización y verificación que son de relevancia para las Ciencias de la Computación.Se busca que los alumnos utilicen la lógica como herramienta formal no sólo en la parte teórica sino tambien en las areas prácticas de la carrera.

🔗 Enlaces

• Llamada de zoom para la primera sesión (el día lunes 30 de enero en el horario de la clase).
• Grupo de Telegram

🧮 Temario

1. Lógica proposicional
2. Lógica de Primer orden
3. El paradigma de programación lógica
4. Sistemas de deducción

🎯 Evaluación

El curso se evaluará con los siguiente criterios:

• Parte práctica: 40%
• Parte teórica: 60%

🤹 Dinámica del curso

El curso se dará en un modelo 100% en líena. Con material de consulta y sesiones por zoom para la revisión de los temas correspondientes.

Para la comunicación en el grupo se usara un chat en Telegram, mas cercana la fecha de comienzo del curso se publicará la liga para unirse. Todas las sesiones se llevarán a cabo por Zoom.

☎️ Contacto

Cualquier duda sobre la inscripción o contenido del curso se puede aclarar en el correo javiem@ciencias.unam.mx