Conceptos elementales de lógica informática /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Bogotá :
Universidad Francisco José de Caldas
2012.
Ecoe Ediciones, |
| Series: | Libro universitario
|
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- Conceptos generales de lógica
- Lógica proposicional
- Lógica predicados
- Procedimiento de prueba de lógica predicados
- Deducción natural
- Técnicas resolución SAT