Hortalá González, Teresa <br/><br/>
Lógica matemática para informaticos:   Ejercicios resueltos 

 - Pearson 
 - [ x ]:   390 páginas. ;   27 cm 
<br/><br/>Lógica proposicional. Sintaxis matemática. 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/>LOGICA MATEMATICA
<br/><br/><label>Dewey Class. No.: </label>164/Ho789l/2.4.001(a)