Encabezado Facultad de Ciencias
Presentación

Matemáticas (plan 1983) 2022-2

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

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

 

GENERALES.

Esta materia es importante en la formación profesional pues muchas de las

áreas matemáticas es más fácil trabajarlas y clasificarlas a partir de un sistema de axiomas, por ejemplo.

Es importante los conocimientos de esta materia para la teoría de conjuntos,

computabilidad, álgebra universal, diseño lógico, etc.

La materia de Conjuntos y Lógica ayuda, pero no garantiza, a entender esta

materia; si se tiene conocimientos de álgebra moderna, análisis, topología,

álgebra moderna, etc., es bueno, por la madurez matemática adquirida.

En este curso trabajaremos principalmente la Lógica Proposicional.

TEMARIO.

  1. LENGUAJES FORMALES.
  2. LENGUAJE FORMAL DE LA LÓGICA PROPOSICIONAL.
  3. SEMÁNTICA.
  4. EQUIVALENCIA LÓGICA.
  5. ARGUMENTOS.
  6. TEORÍAS.
  7. FINITAMENTE SATISFACIBLE.
  8. CONSISTENCIA.
  9. TEOREMAS CLÁSICOS.
  10. TEORIAS AXIOMÁTICAS.
  11. ÁLGEBRAS BOOLEANAS.
  12. TÓPICOS.

EVALUACIÓN.

Cada capítulo tendrá sus notas.

Cada dos capítulos habrá un examen (hablamos de 6 exámenes).

El promedio de las calificaciones será la calificación final.

COMUNICACIÓN.

Nos conectaremos por medio de:

Classroom…………. ewkpshc

Zoom…………………. ID 5141529525 código Iems21

(NOTA: en caso de no poder accesar a Classroom intenten con un correo que NO sea de ciencias)

BIBLIOGRAFÍA BÁSICA.

[1] ENDERTON, H. INTRODUCCIÓN MATEMÁTICA A LA LÓGICA.

[2] HUNTER, G. METALÓGICA.

[3] MENDELSON, E. INTRODUCTION TO MATHEMATICAL LOGIC.

Ciudad de México, a 31 de enero de 2022.

 


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.