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

Table of Contents:

Similar Items