Alonso Jiménez, José A.  <br/><br/>
Ejercicios de "lógica informática" (2012-13)  [recurso electrónico] 

 - Sevilla:  Universidad de Sevilla,   2012. 
 - 100 p.:  gráfs. 
<br/><br/> 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.  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matemática 
<br/><br/><label>Subjects--Index Terms: </label>Ejercicios matemáticos  Tableros semánticos  Ejercicios resueltos