Lógica formal para informáticos / Lourdes Arenas Alegría.
Tipo de material:
TextoDetalles de publicación: Madrid : Díaz de Santos, c1996.Descripción: xii, 331 p. : gráf., tab. ; 24 cmTipo de contenido: - texto
- sin mediación
- volumen
- 8479782404
| Tipo de ítem | Biblioteca actual | Colección | Ubicación en estantería | Signatura | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Facultad Regional Concepción del Uruguay | Materias básicas | MATERIAS BASICAS/LOGICA MATEMATICA | 510.64/.66 ; A 73 ; 7933 (Navegar estantería(Abre debajo)) | Disponible (Sin Restricciones) | 7933 | |
|
Libros
|
Facultad Regional Concepción del Uruguay | Materias básicas | MATERIAS BASICAS/LOGICA MATEMATICA | 510.64/.66 ; A 73 ; 7934 (Navegar estantería(Abre debajo)) | Disponible (Sin Restricciones) | 7934 | |
|
Libros
|
Facultad Regional Concepción del Uruguay | Materias básicas | MATERIAS BASICAS/LOGICA MATEMATICA | 510.64/.66 ; A 73 ; 7285 (Navegar estantería(Abre debajo)) | Disponible (Sin Restricciones) | 7285 |
Navegando Facultad Regional Concepción del Uruguay Estantes, Ubicación: MATERIAS BASICAS/LOGICA MATEMATICA, Código de colección: Materias básicas Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 510.6 ; N 39 ; 7242 Logic programming and prolog / | 510.64/.66 ; A 73 ; 7285 Lógica formal para informáticos / | 510.64/.66 ; A 73 ; 7933 Lógica formal para informáticos / | 510.64/.66 ; A 73 ; 7934 Lógica formal para informáticos / | 514.17:164 ; B 63 ; 1817 Introducción al simbolismo lógico / | 514.17:164 ; B 63 ; 2187 Introducción al simbolismo lógico / | 514.17:164 ; B 63 ; 3510 Introducción al simbolismo lógico / |
Diseño de cubierta: Estuart, S.A.
Fotocomposición: MonoComp, S.A.
Contenido: p. xi a xii.
Apéndice soluciones a los ejercicios: p. 239 a 329.
Bibliografía: p. 331.
Primera parte: cálculo de proposiciones
1. Introducción 2. Método semántico. Teoría interpretativa 3. Teoría de la demostración 4. Coherencia entre la teoría interpretativa y la teoría de la demostración.
Parte segunda : cálculo de predicados de primer orden
5. Introducción 6. Método semántico. Teoría interpretativa 7. Teoría de la demostración 8. Coherencia entre la teoría semántica y la teoría de demostración.
Parte tercera : demostración automática de teoremas
9. Introducción a la demostración automática de teoremas 10. Principio de resolución.
La presente obra trata en profundidad el estudio de la lógica formal en dos niveles, según sea el grado de complejidad en la simbolización del lenguaje. En la primera parte se estudia el nivel básico o lógica proposicional, desde la simplicidad en la formalización del lenguaje y en los métodos de demostración, hasta la teoría de los sistemas formales axiomáticos y las propiedades de los mismos. En la segunda parte se desarrolla el nivel de la lógica de predicados de primer orden, con el consiguientes aumento de complejidad tanto en la construcción dellenguaje, como en los mmétodos de demostración, Tambièn se rpesenta un sistema formal predicativo y se analizan sus propiedades. Para finalizar, la obra dispone de una tercera parte introductoria a la demostración automática, cuyo objetivo es preparar al alumno para abordar el estudio posterior de otros temas del área de inteligencia artificial.
Para estudiantes del primer curso de ingeniería en informática, además puede ser utilizado por personas no universitarias debido a la cantidad de ejemplos y detalles explicativos.
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.