| Título: | Lógica para ciencia de la computación |
| Autores: | Leopoldo Bertossi Durán |
| Tipo de documento: | texto impreso |
| Editorial: | Chile : Ediciones Universidad Católica de Chile, 1995 |
| Colección: | Colección Textos Universitarios |
| Dimensiones: | 302 p. / 26 cm. |
| Idiomas : | Español |
| Clasificación: | 164 (Logística. Lógica simbólica. Lógica matemática. Cálculo lógico ) |
| Materias: | Algoritmo | Informática | Lógica matemática | Lógica simbólica | Procesamiento de datos |
| Nota de contenido: | Introducción ; Lógica proposicional ; problemas y algoritmos de decisión ; Complejidad de algoritmos de decisión ; Lógica de predicados de primer orden ; Demostraciones formales ; Teorías ; Lenguajes con varias especies ; Programación en lógica ; Razonamiento con sentido comúnb ; Otros temas y bibliografía. |
| Contenido : : |
Ejemplares (1)
| Pedir por | Ubicación | Estado |
|---|---|---|
| 164 B536 | Biblioteca Central | Disponible |
