Matemáticas (plan 1983) 2023-2

Optativas de los Niveles V y VI, Lógica Matemática I

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

Profesora: María de Lourdes Guerrero Zarco.

Ayudante: Uriel Pérez Rivera.

Estimados alumnos, continuamos con 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í.

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 comenzará con conocer la importancia de trabajar con enunciados en abstracto, obtener su estructura, saber si la afirmación que representa es verdadera o falsa y ver qué criterios tenemos a nuestro alcance para tal fin.

De igual forma, creemos de suma importancia conocer los métodos de demostración, sus diferencias y aplicaciones, aspectos que fácilmente podremos emplear en nuestro quehacer diario con las distintas ramas de las Matemáticas.

En el ambiente Sintáctico se tratarán a profundidad los conceptos de Prueba, Deducción y Teorema, así como demostrar las propiedades de un sistema axiomático.

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, concluyendo con la prueba de la consistencia de dicho sistema formal.

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 30 de Enero del 2023 en el salón P-103 a las 16 hrs!