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