Lógica matemática para informáticos : ejercicios resueltos /

Saved in:

Bibliographic Details
Other Authors:	Hortalá, González, Teresa, Martí Oliet, Narciso, Palomino Tarjuelo, Miguel, Rodríguez Artalejo, Mario, Vado Vírseda, Rafael del
Format:	Book
Language:	Spanish
Published:	Madrid : Pearson Educación, c2007.
Subjects:	Lógica simbólica y matemática Lógica de primer orden Cálculo proposicional
Notas Contenido:	Lógica proporcional Sintaxis y semántica Formalización, técnicas de razonamiento Equivalencia lógica. Leyes booleanas Cálculo lógico con tableaux Lógica de primer orden Sintaxis y semántica Formalización. Técnicas de razonamiento Equivalencia lógica. Leyes de los cuantificadores Cálculo lógico con tableaux Cálculo lógico con resolución Ejercicios propuestos

Antioquia/Complejo Norte: Unknown

Holdings details from Antioquia/Complejo Norte: Unknown
Call Number:	005.101 L687l
Copy Ej. 1	Available Place a Hold