Saltar al contenido
Topos Uranos
Español

Nivel 1 · 28 clases

Lógica Matemática I: Lógica Proposicional

Sintaxis, deducción y semántica del cálculo proposicional clásico.

Contenido del curso

Unidad 0Presentación del curso

  1. 01Plan de estudios de Lógica Matemática I

Unidad 1Lenguaje

  1. 02Lenguaje: introducción
  2. 03Qué es la lógica matemática
  3. 04El lenguaje de la lógica proposicionalCon cuenta
  4. 05Inducción sobre los naturales y sobre las fórmulasCon cuenta
  5. 06Formalización del lenguaje naturalCon cuenta
  6. 07Lenguaje: síntesis y desafíosCon cuenta

Unidad 2Deducción

  1. 08Deducción: introducciónCon cuenta
  2. 09Sistemas deductivos formalesCon cuenta
  3. 10Cuatro técnicas de deducciónSuscripciónCon cuenta
  4. 11Las simetrías de los conectoresSuscripciónCon cuenta
  5. 12Las técnicas de la lógica clásicaSuscripciónCon cuenta
  6. 13Leyes de De Morgan y de distribuciónSuscripciónCon cuenta
  7. 14Deducción: síntesis y desafíosSuscripciónCon cuenta

Unidad 3Semántica

  1. 15Semántica: introducciónSuscripciónCon cuenta
  2. 16Semántica de la lógica proposicionalSuscripciónCon cuenta
  3. 17Consecuencia y equivalencia semánticaSuscripciónCon cuenta
  4. 18Leyes generalizadas de De Morgan y de distribuciónSuscripciónCon cuenta
  5. 19Completitud funcionalSuscripciónCon cuenta
  6. 20Formas normalesSuscripciónCon cuenta
  7. 21El algoritmo de las formas normales y sus aplicacionesSuscripciónCon cuenta
  8. 22Semántica: síntesis y desafíosSuscripciónCon cuenta

Unidad 4Metateoría

  1. 23Metateoría: introducciónSuscripciónCon cuenta
  2. 24Corrección y completitudSuscripciónCon cuenta
  3. 25El teorema de compacidadSuscripciónCon cuenta
  4. 26El método de resoluciónSuscripciónCon cuenta
  5. 27Metateoría: síntesis y desafíosSuscripciónCon cuenta

Unidad 5Cierre del curso

  1. 28Balance final de Lógica Matemática ISuscripciónCon cuenta