Ejercicios de "lógica informática" (2012-13) [recurso electrónico]
Tipo de material:
Archivo de ordenadorIdioma: Español Editor: Sevilla: Universidad de Sevilla, 2012Descripción: 100 p.: gráfsTema(s): Matemática | Ejercicios matemáticos | Tableros semánticos | Ejercicios resueltosRecursos en línea: Haga clic para acceso en línea Resumen: 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.
No hay ítems correspondientes a este registro
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.
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.