PORTADA
Introducción
Unidad I. Lógica de Proposiciones
1.1 El lenguaje formal de la lógica de proposiciones
1.1.1 Definición
1.1.2 Antecedentes históricos
1.2 Sintaxis
1.2.1 El alfabeto de las proposiciones
1.2.2 La sintaxis de las proposiciones
1.2.3 Construcción de enunciados en la lógica proposicional
1.3 Semántica
1.3.1 Valores de verdad de fórmulas atómicas
1.3.2 Semántica de las conectivas lógicas
1.3.3 Valores de verdad de fórmulas complejas
1.3.3.1 Tautologías
1.3.3.2 Contradicciones
1.3.3.3 Contingencias
1.3.4 Equivalencias y leyes
1.4 Formas estándares de las expresiones lógicas
1.4.1 Disyunción de conjunciones y conjunción de disyunciones
1.4.2 Forma normal disyuntiva y conjuntiva
1.4.3 Determinación de las formas normales completas a partir de la tabla de verdad
1.5 Sistemas deductivos
1.5.1 Deducción natural
1.5.2 Resolución
1.5.3 Tablas semánticas
1.6 Aplicaciones de la lógica de proposiciones
1.6.1 Búsquedas booleanas
1.6.2 Verificación de programas
1.6.2.1 Instrucciones condicionales
1.6.2.2 Bucles
Actividades
Autoevaluación
Unidad II. Lógica de Predicados
2.1 El lenguaje formal de la lógica de predicados
2.1.1 Definición
2.2 Sintaxis
2.2.1 El alfabeto de los predicados
2.2.1.1 Términos
2.2.1.2 Predicados
2.2.1.3 Literal
2.2.1.4 Cláusula
2.2.2 La sintaxis de los predicados
2.3 Semántica
2.3.1 Interpretaciones
2.3.2 Asignaciones
2.3.3 Satisfacción
2.4 Sistemas deductivos
2.4.1 Cuantificador universal
2.4.2 Cuantificador existencial
2.5 Formas estándares (Normales)
2.5.1 Forma normal de Skolem
2.5.2 Forma normal Prenex
2.6 Aplicaciones de la lógica de predicados
2.6.1 Programación lógica
2.6.2 Representación del conocimiento en la inteligencia artficial
Autoevaluación
Unidad III. Programación Lógica
3.1 Fundamentos de la programación lógica
3.1.1 El paradigma de la programación lógica
3.1.2 Programación declarativa vs programación algorítmica
3.1.3 Lenguajes de programación lógica
3.2 Sintaxis
3.2.1 Notación de cláusulas
3.2.2 Cláusulas de Horn
3.3 Semántica operacional
3.3.1 Resolución
3.3.2 Árboles de búsqueda
3.4 Ejemplos de aplicación
Autoevaluación
Unidad IV. Álgebra de Boole y Circuitos Lógicos
4.1 Definición del álgebra booleana
4.1.1 Elementos
4.1.2 Operadores (complemento, suma y producto booleano)
4.1.3 Leyes y/o propiedades del álgebra booleana (conmutativas, asociativas, distibutivas, de DeMorgan, etc.)
4.2 Compuertas y circuitos lógicos
4.2.1 Compuertas lógicas
4.2.1.1 Compuertas AND, OR y NOT
4.2.1.2 Compuertas NAND y NOR
4.2.1.3 Compuertas OR-Exclusivo y NOR-Exclusivo
4.2.2 Redes de compuertas
4.2.3 Elaboración de una tabla de verdad
4.3 Formas estándares de las expresiones booleanas
4.3.1 Suma de productos y producto de sumas
4.3.2 Forma estándar de la suma de productos y del producto de sumas
4.3.3 Determinación de las formas canónicas a partir de una tabla de verdad (Minitérminos y maxitérminos)
4.4 Simplificación de funciones mediante álgebra booleana
Autoevaluación
Evaluación General
Glosario
Referencias bibliográficas
Créditos
Autoevaluación
Haz click sobre la imagen para ir a la autoevaluación.