Ciencias de la Computación (plan 2013) 2025-1

Cuarto Semestre, Lógica Computacional

¡Bienvenidas y bienvenidos al curso de Lógica Computacional!

Temario del curso

Seguiremos el temario oficial:

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

Bibliografía

• Miranda Perea, Favio E. et al., Notas para el curso: Lógica Computacional, UNAM.
• Huth, Michael & Ryan, Mark. Logic in Computer Science: Modelling and Reasoning About Systems, 2da. Edición, Cambridge University Press, 2004.
• Ben-Ari, Mordechai. Mathematical Logic for Computer Science, 3ra. Edición, Springer, 2012.

Requisitos

Es recomendable haber tomado (y aprobado) un curso de Estructuras Discretas.

Evaluación del curso

• Parte teórica:

40 % Exámenes individuales.

30 % Tareas (dependiendo de la cantidad de alumnos inscritos serán individuales o en equipo).

• Parte práctica:

30 % Prácticas en equipo.

El examen escrito será de forma presencial en la hora de clase.

Se proporcionará un boletín de ejercicios para poder practicar los temas vistos en el curso. Algunos ejercicios del boletín serán marcados y deberán ser entregados. Las tareas consisten en la entrega de estos ejercicios marcados del boletín (todas las tareas tienen ejercicios extras para subir calificación).

La calificación aprobatoria mínima es 6. Se aplica redondeo para calificaciones aprobatorias a partir de las 5 décimas; por ejemplo 6.5 sube a 7.

Recursos a su disposición

• Classroom del curso. Desde esta plataforma podrán acceder a todo el contenido del curso (notas y videos). En la misma se mandarán avisos generales, se subirán y se entregarán las tareas del curso. Para ser miembro del Classroom es necesario contar con su correo @ciencias.
• Asesorías externas. Pueden solicitar asesorías con el ayudante o con el profesor, en horarios que acomoden a ambas partes. En dichas asesorías podemos revisar de manera individual sus ideas para las tareas, la redacción de sus ejercicios o temas que no les queden claros.
• Revisión pre-tareas. Pueden enviar, antes de las fechas de entrega de sus tareas regulares, su propuesta de tarea para que podamos revisarlas y hacerles sugerencias sobre su redacción, estructura e ideas de sus ejercicios y/o demostraciones.

Contacto

Cualquier duda sobre el curso se puede resolver mandando correo al profesor.

¡Buen inicio de semestre!

¡Nos vemos en clase! c: