Lógica matemática para informaticos:
Hortalá González, Teresa
Lógica matemática para informaticos: Ejercicios resueltos - Pearson - [ x ]: 390 páginas. ; 27 cm
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
9788483224540
LOGICA MATEMATICA
164/Ho789l/2.4.001(a)
Lógica matemática para informaticos: Ejercicios resueltos - Pearson - [ x ]: 390 páginas. ; 27 cm
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
9788483224540
LOGICA MATEMATICA
164/Ho789l/2.4.001(a)