01563nam a22003737a 4500 BGEN1977 20230524090320.0 a||||gr|||| 00| 0 ta 161204t ec ||||gr|||| 00| 0 spa d 9788483224540 UEB spa UEB spa 004.015 1 T687l 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. texto sin mediación volumen ( Prentice práctica ) Contiene índice. Incluye bibliografía. 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. Lógica matemática - Problemas. 44931 Informática. 335 Sintáxis y semántica. 44932 Leyes Booleanas. 44933 Cálculo lógico. 44934 Hortalá González, Teresa. 44930 Martí Oliet, Narciso. 44936 Palomino Tarjuelo, Miguel. 44937 BK ddc 2945 2945 0 0 ddc 0 0 BGEN BGEN 2011-04-13 6213 18763 0 004.015 1 L687l 18763 2016-12-04 00:00:00 Ej.1 2016-12-04 BK NO DISPONIBLE