15 de Agosto al 9 de Diciembre 2011. León Guanajuato

Curso de Lógica Matemática

Esta materia tiene como objetivo la introducción al estudio formal del método deductivo de la matemática moderna. Una vez desarrolladas las herramientas de deducción lógicas se definen conceptos de teoría de conjuntos y basados en esas definiciones se construye axiomáticamente el campo de los números reales.



Competencias del curso de Lógica Matemática


      1. Conocer, comprender y analizar los conceptos y reglas utilizados en la lógica matemática.

      2. Comprender las distintas técnicas de demostración matemática incluida la demostración por inducción.

      3. Sintetizar los conceptos de la lógica matemática para seguir una demostración matemática formal.

      4. Integrar el conocimiento de la lógica matemática para proponer demostraciones matemáticas a teoremas relativamente sencillos.

      5. Plantear problemas cotidianos en términos de proposiciones lógicas y llegar a conclusiones basadas en las reglas de la lógica matemática.

      6. Determinar si un razonamiento es o no válido en base a las reglas y técnicas que proporciona la lógica matemática.

      7. Identificar, entender, interpretar y emitir juicios sobre algunos conceptos de teoría de conjuntos.

      8. Identificar, entender, interpretar y emitir juicios la construcción axiomática del campo de los números reales.

      9. Ser capaz de comprender, analizar, sintetizar y emitir juicios demostraciones formales de teoremas matemáticos relacionados con el campo de los números reales.

Programa

Contenido
TEMA
1.- Simbolización de Propocisiones
2.- Inferencia Lógica.
3.- Certeza y Validez.
4.- Cuantificadores Universales.
5.- Teoría de Conjuntos.
6.- Conjunto de los Reales.

Avisos