Alonso Jiménez, José A.
Ejercicios de "lógica informática" (2012-13) [recurso electrónico] - Sevilla: Universidad de Sevilla, 2012. - 100 p.: gráfs.
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.
Matemática
Ejercicios matemáticos Tableros semánticos Ejercicios resueltos
Ejercicios de "lógica informática" (2012-13) [recurso electrónico] - Sevilla: Universidad de Sevilla, 2012. - 100 p.: gráfs.
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.
Matemática
Ejercicios matemáticos Tableros semánticos Ejercicios resueltos
