- PORTADA
- Introducción
- Unidad I. Lógica de Proposiciones
- Unidad II. Lógica de Predicados
- Unidad III. Programación Lógica
- Unidad IV. Álgebra de Boole y Circuitos Lógicos
- Evaluación General
- Glosario
- Referencias bibliográficas
- Créditos
3.3 Semántica operacional
|
La semántica operacional de los lenguajes lógicos se basa en la estrategia de resolución denominada SLD.[4] SLD refiere a las iniciales inglesas de "resolución Lineal con función de Selección para programas Definidos".
|