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. |
Langues: | 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 |