Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2024-2

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

Grupo 4240, 30 lugares. 18 alumnos.
Profesor José Gabriel Ocampo Márquez lu mi vi 9 a 10 300 (Nuevo Edificio)
Ayudante Rocío Juárez Cuatlapantzi ma ju 9 a 10 300 (Nuevo Edificio)

 

INTRODUCCIÓN.

Esta materia es importante en la formación profesional pues para muchas de las áreas matemáticas es más fácil trabajarlas y clasificarlas a partir de un conjunto de axiomas, por ejemplo. Es importante los conocimientos de esta materia para la teoría de conjuntos, computabilidad, etc.

En este curso trabajaremos principalmente la Lógica Proposicional. La materia de Conjuntos y Lógica ayuda, pero no garantiza entender esta materia; si se tiene conocimientos de álgebra moderna, análisis, topología, etc., es bueno, por la madurez matemática adquirida.

TEMARIO.

1. LENGUAJE FORMAL DE LA LÓGICA PROPOSICIONAL.

2. SEMÁNTICA Y EQUIVALENCIA LÓGICA.

3. ARGUMENTOS.

4. TEORÍAS.

5. FINITAMENTE SATISFACIBLE.

6. UN CÁLCULO PROPOSICIONAL. CONSISTENCIA.

7. TEOREMAS CLÁSICOS.

8. LENGUAJES Y SISTEMAS FORMALES.

9. TEORIAS AXIOMÁTICAS Y DECIDIBLES.

10. ÁLGEBRAS BOOLEANAS Y LÓGICA.

11. TÓPICOS (SI QUEDA TIEMPO)

EVALUACIÓN.

Cada capítulo contendrá notas, ejemplos y tareas. Cada dos capítulos habrá un examen (hablamos de 5 exámenes en total) y la calificación final será el promedio de ellas. Se puede reponer hasta dos parciales, como máximo. Tanto en reposiciones como en final, “borrón y cuenta nueva”.

Ciudad de México, a 29 de diciembre de 2023.

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.