Hortalá González, Teresa <br/><br/>
Lógica matemática para informáticos.  Ejercicios resueltos. 

 - Madrid, España  Pearson Educación  2008 
 - x, 390 páginas;  fig, tablas;  195x270 mm 
<br/><br/>Lógica proposicional.<br/>1. Sintaxis matemática.<br/>2. Formalización. Técnicas de razonamiento.<br/>3. Equivalencia lógica. Leyes booleanas.<br/>4. Cálculo lógico con tableaux.<br/>Lógica de Primer Orden.<br/>5. Sintaxis y semántica.<br/>6. Formalización. Técnicas de razonamiento.<br/>7. Equivalencia lógica. Leyes de los cuantificadores.<br/>8. Cálculo lógico con tableaux.<br/>9. Cálculo lógico con resolución.<br/>10. Ejercicios propuestos. 
<br/><br/><label>ISBN: </label>9788483224540 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica Matemática<br/>Matemáticas<br/>Formalización<br/>Equivalencia Lógica
<br/><br/><label>Dewey Class. No.: </label>511.3  / H821