Lógica para ciencia de la computación /
La ciencia de la computación ha dado un impulso a la lógica matemática, al imponerle nuevos desafíos que se originan con el uso de los computadores. Así, la elección de temas y formas de presentación de la obra ha sido enfocada tomando en cuenta esta tendencia. Si bien el tratamiento del tema es m...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | español |
| Publicado: |
Santiago :
Ediciones Universidad Católica de Chile,
1995.
|
| Materias: | |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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 por Raymond Reiter
- Razonamiento con sentido común.