Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2025-1

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

Grupo 4276, 65 lugares.
Profesor José Gabriel Ocampo Márquez lu mi vi 8 a 9
Ayudante Rocío Juárez Cuatlapantzi ma ju 8 a 9

 

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.
  7. TEOREMAS CLÁSICOS.
  8. LENGUAJES Y SISTEMAS FORMALES.
  9. TEORIAS AXIOMÁTICAS.
  10. ÁLGEBRAS BOOLEANAS.

EVALUACIÓN.

-Cada capítulo contendrá notas, ejemplos, tareas y exámenes.

-Todo el material se subirá a la plataforma de Classroom.

-Cada dos capítulos habrá un examen (hablamos de 5 exámenes) 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 31 de mayo de 2024.

 


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.