La lógica como lenguaje de programación : aspectos declarativos y procedurales
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | español |
| Datos de publicación: |
La Plata :
Edulp,
2023
|
| Series: | Libros de Cátedra
|
| Temas: | |
| Acceso en línea: | http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2666 Consultar en el Cátalogo |
| Notas: | Copia impresa de libro digital |
| Descripción Física: | 89 p. : il. |
| ISBN: | 9789503423400 |
Tabla de Contenidos:
- Introducción
- Capítulo 1
- Determinación de satisfactibilidad en la lógica de enunciados
- Capítulo 2
- Determinación de satisfactibilidad en la lógica de primer orden
- Capítulo 3
- El enfoque orientado a modelos
- Capítulo 4
- El enfoque orientado a pruebas
- Epílogo
- La autora