Cover Image

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

Saved in:

Bibliographic Details
Main Author:	Ledesma, Luis de
Format:	Book
Language:	Spanish
Published:	México, D. F. : Alfaomega Grupo Editor, c2010. Ra-Ma,
Subjects:	Lenguajes de programación (Computadores electrónicos) Lógica simbólica y matemática Lógica de primer orden
Notas Contenido:	Teorías de primer orden Resolución Elementos de programación lógica y prolog Definiciones y demostraciones inductivas Adecuación de las tablas analíticas Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden

Table of Contents:

Teorías de primer orden
Resolución
Elementos de programación lógica y prolog
Definiciones y demostraciones inductivas
Adecuación de las tablas analíticas
Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden