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

Description
Physical Description:	206 páginas ; 23 cm.
ISBN:	9786077071655

Similar Items