Lógica para la computación
Ledesma, Luís de
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / Luís de Ledesma. . -- 1a ed. . -- México : : Alfaomega, , 2010. . -- 177 p. : : il. ; ; 23 cm. . -- (Computación. Programación).
Nota de bibliografía : Incluye referencias bibliográficas e índice.
Nota de contenido : 1. Teorías de primer orden ; 2. Resolución ; 3. Elementos de programación lógica y prolog ; Apéndice A. Definiciones y demostraciones inductivas ; Apéndice B. Adecuación de las tablas analíticas ; Apéndice C. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden
.
Reseña : Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización: alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo, se ha procurado que el material elegido sea homogéneo y riguroso. El lector comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el conocimiento necesario, tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica. Aprenderemos a verificar con precisión y rigor por que son realmente válidos los teoremas, estamos así en pleno centro de las teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes por su papel en el desarrollo de la ciencia moderna. El autor ha hecho de estas primeras nociones una base para el desarrollo del texto a partir de su propio trabajo científico y experiencia docente en Lógica.
9786077854333
Informática
Programación lógica
Estructura de datos (Computadores)
Lógica simbólica y matemática
Funciones calculables
004.0151 / L33l
Libro Colección General / Ej.1 / 0000000115443 / Central Bogotá / 004.0151 L33l
Libro Colección General / Ej.2 / 0000000115444 / Central Bogotá / 004.0151 L33l
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / Luís de Ledesma. . -- 1a ed. . -- México : : Alfaomega, , 2010. . -- 177 p. : : il. ; ; 23 cm. . -- (Computación. Programación).
Nota de bibliografía : Incluye referencias bibliográficas e índice.
Nota de contenido : 1. Teorías de primer orden ; 2. Resolución ; 3. Elementos de programación lógica y prolog ; Apéndice A. Definiciones y demostraciones inductivas ; Apéndice B. Adecuación de las tablas analíticas ; Apéndice C. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden
.
Reseña : Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización: alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo, se ha procurado que el material elegido sea homogéneo y riguroso. El lector comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el conocimiento necesario, tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica. Aprenderemos a verificar con precisión y rigor por que son realmente válidos los teoremas, estamos así en pleno centro de las teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes por su papel en el desarrollo de la ciencia moderna. El autor ha hecho de estas primeras nociones una base para el desarrollo del texto a partir de su propio trabajo científico y experiencia docente en Lógica.
9786077854333
Informática
Programación lógica
Estructura de datos (Computadores)
Lógica simbólica y matemática
Funciones calculables
004.0151 / L33l
Libro Colección General / Ej.1 / 0000000115443 / Central Bogotá / 004.0151 L33l
Libro Colección General / Ej.2 / 0000000115444 / Central Bogotá / 004.0151 L33l