TY  - DATA
AU  - Alonso Jiménez, José A. 
AU  - Cordón Franco, Andrés;
AU  - Hidalgo Doblado, María J. 
TI  - Ejercicios de "lógica informática" (2012-13)
PY  - 2012///
CY  - Sevilla
PB  - Universidad de Sevilla, 
KW  - Matemática
KW  - Ejercicios matemáticos
KW  - Tableros semánticos
KW  - Ejercicios resueltos
N2  - El presente libro contiene la siguiente información: 1. Sintaxis y semántica de la lógica proporcional. 2. Deducción natural proporcional. 3. Tableros semánticos. 4. Formales normales. 5.  Resolución proposicional. 6. Algoritmos para SAT. aplicaciones. 7. Sintaxis y semántica de la lógica de primer orden. 8. Deducción natural de primer orden. 9. Tableros semánticos. 10. Formas normales. cláusulas. 11. Modelos de Herbrand. 12. Cláusulas. Modelos de Herbrand. Resolución.
UR  - http://biblioteca.usfa.edu.bo/cgi-bin/koha/opac-retrieve-file.pl/?id=58ebbd032228ae269bcff035ab3b891d
ER  -