Hortala Gonzalez, Teresa <br/><br/>
Lógica matemática para informáticos / 
Teresa Hortalá, Narciso Martí; Miguel Palomino Tarjuelo; Mario Rodríguez Artalejo. 
 - 1ª Ed. 
 - 390 páginas  ;  27 cm. 
<br/><br/> Factura Educativa 
<br/><br/>I LOGICA PROPOSICIONAL: 1 Sintaxis y semantica 2 Formalizacion. Tecnicas de razonamiento 3 Equivalencia logica. Leyes Booleanas 4 Calculo logico con tableaux Parte II LOGICA DE PRIMER ORDEN: 5 Sintaxis y semantica 6 Formalizacion. Tecnicas de razonamiento 7 Equivalencia logica. Leyes de los cuantificadores 8 Calculo logico con Tableaux 9 Calculo logico con resolucion 10 Ejercicios propuestos 
<br/><br/>
<br/><br/><label>ISBN: </label>9788483224540 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGICA MATEMATICA (LOGICA SIMBOLICA)
<br/><br/><label>Dewey Class. No.: </label>511  / H788 2008