Lógicas para Aplicaciones Software
Este curso resume
las características básicas de
diferentes sistemas lógicos
que soportan de manera natural algunas áreas
de especialización en computación
(bases de datos, ingeniería del conocimiento,
ingeniería de la programación, ingeniería
de requerimientos, inteligencia artificial, comprensión
del lenguaje natural, procesamiento de lenguajes, desarrollo
de programas, etc.)
La presentación
tiene un carácter general,
abordándose el estudio de
(algunas de) estas lógicas y
presentándose sus aplicaciones
más relevantes.
|
INDICE |
- Introduccion a la Lógica Computacional
- Fundamentos de la Lógica Computacional
(deducción, razonamiento, decidibilidad y complejidad, etc…)
- Lógicas para Aplicaciones Software:
- Lógicas para el conocimiento y las bases de datos
- Lógicas para el razonamiento aproximado y probabilístico
- Lógicas para el desarrollo de especificaciones y programas
- Lógicas para el procesamiento de lenguajes
- Lógicas para la concurrencia
- Lógicas para el control y las comunicaciones
- Sistemas lógicos interactivos. Aplicaciones:
|