Matemáticas (plan 1983) 2023-1

Optativas de los Niveles VII y VIII, Lógica Matemática II

Presentación Curso de Lógica Matemática II.

Profesora: María de Lourdes Guerrero Zarco.

Ayudante: Uriel Pérez Rivera.

Estimados alumnos, estamos contentos en poder retomar nuestras actividades de forma presencial, eso sí, siguiendo atentamente todas las recomendaciones sanitarias para que podamos trabajar sin mayores complicaciones.

Forma de trabajo.

Las clases tendrán la siguiente dinámica:

• Con la Profesora serán los días Lunes, Miércoles y Jueves de 16 a 17 hrs.
• Con el ayudante serán los días Martes y Viernes de 16 a 17 hrs.

No hay pase de lista. Asiste quien desea estar atento y participar en la clase.

Temario.

Seguiremos el programa oficial que puede consultarse aquí, cabe mencionar que haremos un breve repaso del curso de Lógica Matemática I.

A grosso modo este curso está diseñado para abordar dos grandes ambientes, uno el Semántico relacionado con el concepto de Verdad, y otro el Sintáctico relacionado con el concepto de Prueba-Teorema.

En el ambiente Semántico se tratarán a profundidad los conceptos de satisfactibilidad, verdad y universalmente válida.

En el ambiente Sintáctico se tratarán a profundidad los conceptos de Prueba, Deducción y Teorema.

Después de revisar los anteriores conceptos, se hará un puente de comunicación entre los dos ambientes mencionados, tratando la correctez y completez semántica de un sistema Formal para la Lógica de Predicados de Primer orden, concluyendo con la prueba de la consistencia de dicho sistema formal.

Un tema también muy importante es el de la Teoría de Modelos, y aquí nosotros daremos una breve Introducción.

Para concluir el curso cerraremos con el tema de generar la Forma Normal Prenex de una fórmula, así con la Forma Normal Skolem.

Criterios de evaluación.

El promedio de tareas corresponden al 20% de su calificación final.

• Durante el semestre habrán tareas cortas que los alumnos deberán entregar en la próxima sesión a la Profesora ó al ayudante (dependiendo quién asigne dicha actividad).
• Previo a cada examen se dejará una tarea larga, la entrega de dicha tarea da el derecho a presentar el parcial correspondiente el mismo día que se lleve a cabo.

El promedio de exámenes corresponden al 80% de su calificación final.

• Los exámenes parciales se llevarán a cabo de forma presencial.
• Habrán a lo más 2 reposiciones que también se llevarán a cabo de forma presencial en las fechas que sean programadas.
• No hay examen final.

NOTA.- Todas las dudas que surjan pueden escribirlas en nuestros correos electrónicos. Aquellos interesados en inscribirse a este curso y deseen conocer con más detalle sobre los puntos anteriores favor de comunicarse a cualquiera de los dos siguientes correos electrónicos:

gzarco@ciencias.unam.mx

uri4412@ciencias.unam.mx

¡Los esperamos el próximo Lunes 15 de Agosto del 2022 en el salón 300 del Nuevo Edificio a las 16 hrs!