Cover Image

Lógica para informáticos /

Saved in:

Bibliographic Details
Other Authors:	Ferré Cirera, Rafael, Nieuwenhuis, Robert, Nivela Alós, Pilar, Oliveras Llunell, Albert, Rodríguez Carbonell, Enric, Sierra Santibáñez, Josefina
Format:	Book
Language:	Spanish
Published:	México, D. F. : Alfaomega Grupo Editor : ©2012. Marcombo Ediciones Técnicas,
Subjects:	Lógica de primer orden Teoría de conjuntos Programación (Computadores electrónicos)
Notas Contenido:	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 de la lógica de primer orden Fundamentos de la programación lógica Ejercicios resueltos

Table of Contents:

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 de la lógica de primer orden
Fundamentos de la programación lógica
Ejercicios resueltos