Lógica matemática para informáticos :   ejercicios resueltos /  
Teresa Hortalá González ...[et al.] 
 - Madrid, España :   Pearson Educación,  2008 
 - x, 390 páginas ;  ilustraciones ;  27 cm. 
 - ( Prentice práctica )  .
<br/><br/> Contiene índice.  
<br/><br/>Incluye bibliografía.  
<br/><br/>	Lógica proposicional - 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.  
<br/><br/><label>ISBN: </label>9788483224540 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica matemática - Problemas.<br/>Informática.<br/>Sintáxis y semántica.<br/>Leyes Booleanas.<br/>Cálculo lógico.
<br/><br/><label>Dewey Class. No.: </label>004.015 1   / T687l