Profesor | María de Lourdes Guerrero Zarco | lu mi vi | 16 a 17 | P107 |
Ayudante | Uriel Pérez Rivera | ma ju | 16 a 17 | P107 |
Presentación Curso de Lógica Matemática I. Grupo 4242.
Profesora: M. en C. María de Lourdes Guerrero Zarco.
Ayudante: Mat. Uriel Pérez Rivera.
Estimados alumnos, a continuación, daremos a conocer algunos puntos importantes del curso el cual se llevará a cabo durante el semestre 2024-II:
Forma de trabajo.
Las clases tendrán la siguiente dinámica:
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 corresponde al 20% de su calificación final.
El promedio de exámenes corresponde al 80% de su calificación 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:
¡Los esperamos el próximo Lunes 29 de Enero del 2024 en el salón P-107 a las 16 h!