Lógico Computacional Enrique Paniagua Arís
Tipo de material:
TextoIdioma: Es Detalles de publicación: Madrid - España Paraninfo S.A. 2003Edición: a ediciónDescripción: 205 páginas. Tablas y Figuras. 17 x 24 cmISBN: - 8497321620
- QA9.3 P23
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Abancay UTEA Área de Ciencias Puras y Aplicada (primer piso) | E.P. Ingeniería de Sistemas e Informática | QA9.3 P23 2003 (Navegar estantería(Abre debajo)) | Disponible | BABA18040322 |
Browsing Biblioteca Abancay UTEA shelves, Shelving location: Área de Ciencias Puras y Aplicada (primer piso), Collection: E.P. Ingeniería de Sistemas e Informática Close shelf browser (Hides shelf browser)
| No cover image available |
|
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| QA76.9.D2 A15 2001 Bases de Datos con SQL Server 2000 | QA76.9 P45 1997 Ingeniería del Software: | QA 79.9 R21 2002 Aplicando Herramientas UML | QA9.3 P23 2003 Lógico Computacional | QA10.3 C532 1999 Matematica Basica | QA11 C95 1994 Matemática Básica I | QA11 E88 2001 Matemática Básica : para estudiantes de ciencias e ingeniería / |
La sintaxis de la lógica. -- La lógica de los conceptos. -- La lógica formal. -- El lenguaje de las proposiciones. -- Los objetivos, atributos y relaciones. -- El lenguaje de los predicados. -- Objetivos y conjuntos. -- La semántica de la lógica. -- Los niveles de representación de un sistema lógico. -- Los compromisos epistemológicos de la lógica clásica. -- El método axiomático. -- Introducción. -- Demostración axiomática. -- El método interpretativo. -- Introducción. -- Estrategia de reducción al absurdo. -- La demostración automática de teoremas. -- Los agentes inteligentes y la lógica. -- Bibliografía.
Este libro trata de lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
No hay comentarios en este titulo.