Contenidos Mínimos:
Elementos de lógica proposicional y de primer orden: Enfoque sintáctico y semántico. Teorías Formales. Lenguaje, Axiomas y Reglas de Inferencia. Deducción. Teoremas. Verdad. Consecuencia. Completitud. Sensatez. Decidibilidad. Pruebas por inducción. Cálculo proposicional: Lenguaje. Verdad. Deducción Computación. Cálculo de predicados: Lenguaje. Noción de verdad. Pruebas Estructurales de Estructuras Discretas. Interpretaciones y modelos. Deducción. Unificación. Dominio y Base de Herbrad. Teorema de Herbrand. Relación entre. Verdad, Deducción y Computación. Programación en Lógica. Cláusulas de Horn. Prolog. Semánticas para un programa lógico. Resolución SLD.
No hay comentarios:
Publicar un comentario