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

  1. Introduccion a la Lógica Computacional
  2. Fundamentos de la Lógica Computacional (deducción, razonamiento, decidibilidad y complejidad, etc…)
  3. Lógicas para Aplicaciones Software:
  4. Sistemas lógicos interactivos. Aplicaciones: