Vista normal Vista MARC Vista ISBD

Lógica para informáticos / Rafael Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós y otros. - 1a ed. - México : Alfaomega, 2012. - xii, 206 p. : il. ; 23 cm.

Incluye índice.

CONTENIDO: Preliminares - Definición de la lógica proposicional - Deducción en la lógica proposicional - Definición de la lógica de primer orden - Deducción en la lógica de primer orden - Fundamentos de la programación lógica - Ejercicios resueltos.

ISBN: 978-607-707-165-5

Subjects--Topical Terms:
Lógica simbólica
Lógico matemática
Informática-Enseñanza

Dewey Class. No.: 005.131/ / L