Lógica matemática para informáticos ejercicios resueltos /
Lógica matemática para informáticos ejercicios resueltos /
Teresa Hortalá González [y otros cinco].
- Madrid : Pearson. Prentice Hall, 2007.
- x, 390 páginas : ilustraciones ; 27 cm.
Incluye prólogo en la página ix.
Incluye referencia bibliográficas en la página 389.
Parte I. Lógica proposicional: 1. Sintaxis y semántica -- 2. Formalización. Técnicas de razonamiento -- 3. Equivalencia lógica. Leyes Booleanas -- 4. Cálculo Lógico con Tableaux -- Parte II. Lógica de primer orden: 5. Sintaxis y semántica -- 6. Formalización técnicas de razonamiento -- 7. Equivalencia lógica. Leyes de los cuantificadores -- 8. Cálculo lógico Tableaux -- 9. Cálculo lógico con resolución -- 10. Ejercicios propuestos.
9788483224540
Aritmética computacional
Teoría de los números
Funciones de conjuntos
Teoría combinatoria de los conjuntos
Matemáticas para ingenieros
Análisis numérico
Matemáticas--Procesamiento de datos
Informática
511.3 / L687 2008
Incluye prólogo en la página ix.
Incluye referencia bibliográficas en la página 389.
Parte I. Lógica proposicional: 1. Sintaxis y semántica -- 2. Formalización. Técnicas de razonamiento -- 3. Equivalencia lógica. Leyes Booleanas -- 4. Cálculo Lógico con Tableaux -- Parte II. Lógica de primer orden: 5. Sintaxis y semántica -- 6. Formalización técnicas de razonamiento -- 7. Equivalencia lógica. Leyes de los cuantificadores -- 8. Cálculo lógico Tableaux -- 9. Cálculo lógico con resolución -- 10. Ejercicios propuestos.
9788483224540
Aritmética computacional
Teoría de los números
Funciones de conjuntos
Teoría combinatoria de los conjuntos
Matemáticas para ingenieros
Análisis numérico
Matemáticas--Procesamiento de datos
Informática
511.3 / L687 2008