Ledesma, Luis De
Lógica para la computación : teorias de primer orden, resolución y elementos de programación lógica y prolog / Luis De Ledesma - 1a. ed. - México Alfaomega grupo editor 2009 - 180. p.
TEORIAS DE PRIMER ORDEN. Teorías de primer orden; El cálculo de tablas analíticas; Semántica; Completud, consistencia y decibilidad; Lógica de proposiciones. RESOLUCÍON. Reducción a un conjunto de cláusulas; Unificación; Resolución y teoría de Herbrand; Algunos procedimientos basados en el teorema de Herbrand. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. Refinamiento y estrategias de la resolución; Prolog; DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS; Definiciones inductivas; Demostraciones inductivas. ADECUACIÓN DE LAS TABLAS ANALÍTICAS; CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN. Preparación; Representación.
9786077854333
LÓGICA SIMBÓLICA--LÓGICA MATEMÁTICAS
511.3 / L434
Lógica para la computación : teorias de primer orden, resolución y elementos de programación lógica y prolog / Luis De Ledesma - 1a. ed. - México Alfaomega grupo editor 2009 - 180. p.
TEORIAS DE PRIMER ORDEN. Teorías de primer orden; El cálculo de tablas analíticas; Semántica; Completud, consistencia y decibilidad; Lógica de proposiciones. RESOLUCÍON. Reducción a un conjunto de cláusulas; Unificación; Resolución y teoría de Herbrand; Algunos procedimientos basados en el teorema de Herbrand. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. Refinamiento y estrategias de la resolución; Prolog; DEFINICIONES Y DEMOSTRACIONES INDUCTIVAS; Definiciones inductivas; Demostraciones inductivas. ADECUACIÓN DE LAS TABLAS ANALÍTICAS; CONSIDERACIONES ELEMENTALES SOBRE LA REPRESENTACIÓN DEL CONOCIMIENTO CON LENGUAJES DE PRIMER ORDEN. Preparación; Representación.
9786077854333
LÓGICA SIMBÓLICA--LÓGICA MATEMÁTICAS
511.3 / L434