Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y Prolog. / Luis de Ledesma

By: Material type: TextLanguage: esp Publication details: Alfaomega 2010 México, mxEdition: 1°Description: 177 P. , tablasISBN:
  • 9786077854333
Subject(s): DDC classification:
  • 005.131 L424l
Summary: 177TEORÍAS DE PRIMER ORDEN. LENGUAJES DE PRIMER ORDEN. EL SISTEMA FORMAL TEORÍAS DE PRIMER ORDEN. META TEOREMAS. REGLAS Y TEOREMAS DERIVADOS. EL CÁLCULO DE TABLAS ANALÍTICAS. DEFINICIONES Y UTILIZACIÓN. APLICACIÓN. SEMÁNTICA. ESTRUCTURAS. SIGNIFICADO DE EXPRESIONES. VALIDEZ. COMPLETUD, CONSISTENCIA Y DECIDIBILIDAD. LA LÓGICA DE PROPOSICIONES. SINTAXIS. SEMÁNTICA. CLÁUSULAS DE HORN. RESOLUCIÓN. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. FORMAS PRENEX. FORMAS DE SKOLEM. SUPRESIÓN DE CUANTIFICADORES UNIVERSALES. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. UNIFICACIÓN. RESOLUCIÓN Y TEORÍA DE HERBRAND. PRINCIPIO DE RESOLUCIÓN. CORRECCIÓN. TEORÍA DE HERBRAND. COMPLETUD. ALGUNOS PROCEDIMIENTOS BASADOS EN EL TEOREMA DE HERBRAND. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. REFINAMIENTO Y ESTRATEGIAS DE LA RESOLUCIÓN. LA RESOLUCIÓN SLD. UTILIZACIÓN DE LA RESOLUCIÓN SLD Y OTROS REFINAMIENTOS. PROLOG. LA RESOLUCIÓN PROLOG. BÚSQUEDA EN PROFUNDIDAD. BÚSQUEDA EN ANCHURA. LAS RAMAS INFINITAS. LA VUELTA ATRÁS. PREDICADOS Y FUNCIONES DE LA IMPLEMENTACIÓN. 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. 
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Barcode
Libros Recursos Impresos Colección General 005.131 L424l 1° (Browse shelf(Opens below)) Available 10011294
Libros Recursos Impresos Colección General 005.131 L424l 1° (Browse shelf(Opens below)) Available 10011295
Libros Recursos Impresos Colección General 005.131 L424l 1° (Browse shelf(Opens below)) Available 10011296

177TEORÍAS DE PRIMER ORDEN. LENGUAJES DE PRIMER ORDEN. EL SISTEMA FORMAL TEORÍAS DE PRIMER ORDEN. META TEOREMAS. REGLAS Y TEOREMAS DERIVADOS. EL CÁLCULO DE TABLAS ANALÍTICAS. DEFINICIONES Y UTILIZACIÓN. APLICACIÓN. SEMÁNTICA. ESTRUCTURAS. SIGNIFICADO DE EXPRESIONES. VALIDEZ. COMPLETUD, CONSISTENCIA Y DECIDIBILIDAD. LA LÓGICA DE PROPOSICIONES. SINTAXIS. SEMÁNTICA. CLÁUSULAS DE HORN. RESOLUCIÓN. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. FORMAS PRENEX. FORMAS DE SKOLEM. SUPRESIÓN DE CUANTIFICADORES UNIVERSALES. REDUCCIÓN A UN CONJUNTO DE CLÁUSULAS. UNIFICACIÓN. RESOLUCIÓN Y TEORÍA DE HERBRAND. PRINCIPIO DE RESOLUCIÓN. CORRECCIÓN. TEORÍA DE HERBRAND. COMPLETUD. ALGUNOS PROCEDIMIENTOS BASADOS EN EL TEOREMA DE HERBRAND. ELEMENTOS DE PROGRAMACIÓN LÓGICA Y PROLOG. REFINAMIENTO Y ESTRATEGIAS DE LA RESOLUCIÓN. LA RESOLUCIÓN SLD. UTILIZACIÓN DE LA RESOLUCIÓN SLD Y OTROS REFINAMIENTOS. PROLOG. LA RESOLUCIÓN PROLOG. BÚSQUEDA EN PROFUNDIDAD. BÚSQUEDA EN ANCHURA. LAS RAMAS INFINITAS. LA VUELTA ATRÁS. PREDICADOS Y FUNCIONES DE LA IMPLEMENTACIÓN. 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.