Posterior: Estructuras algebraicas básicas Arriba: Lógica Matemática (Un enfoque Anterior: Temario (tentativo)

Contenido

• • Presentación del curso
    • Objetivos
    • Motivación
    • Temario (tentativo)
  
  
• Estructuras algebraicas básicas
  • Conjuntos ordenados
  • Retículos
  • Algebras booleanas
    • Presentación reticular
    • Presentación algebraica
    • Conjuntos completos de operadores
  • Filtros y homomorfismos
    • Filtros y ultrafiltros
    • Homomorfismos
  • Ultraproductos
  • Lecturas recomendadas
  • Ejercicios
  • Programas
  
  
• Cálculo proposicional
  • Semántica
    • Valores de verdad
    • Asignaciones
    • Reglas de propagación de valores de verdad
    • Formas conjuntivas y formas disyuntivas
    • Cláusulas y frases signadas
    • Cálculo de consecuencias lógicas
    • Formalización de problemas de lógica
    • Optimización de formas conjuntivas y disyuntivas
    • Algoritmo de Quine-McCluskey
  • Ejercicios
  • Sintaxis
    • Cálculo proposicional formal
    • Cálculo proposicional formal en enfijo
    • Cálculo proposicional booleano
    • Deducción natural
  • Ejercicios
  • Coherencia y completitud
    • Teorema de coherencia
    • Teorema de completitud
  • Procedimientos de demostración automática
    • Pruebas por refutación
    • Tablas de verdad
    • Encadenamiento hacia atrás
    • Decisión de refutabilidad y satisfactibilidad
    • Transformación a forma normal conjuntiva
    • Transformación a forma normal disyuntiva
    • Algoritmo de Wang
    • Representación matricial
    • Algoritmo de Davis y Putnam
    • Resolución lineal
  • Programas
  
  
• About this document ...