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

Ledesma, Luis de

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 - Primera edición - México, D.F., México : Ra-Ma, 2010 - 177 páginas ; ilustraciones ; 23 cm.

Incluye índice.

Incluye bibliografía.

Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndices.

9786077854333


Programación (Matemáticas).
Programación lógica (Computadores electrónicos).
Lógica simbólica y matemática.
Estructura de datos (Computadores).

004.015 1 / L4736l