Vista normal Vista MARC

Lógico Computacional Enrique Paniagua Arís

Por: Colaborador(es): Tipo de material: TextoTextoIdioma: 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
Tema(s): Clasificación CDD:
  • QA9.3  P23
Contenidos:
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.
Resumen: 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura topográfica Estado Fecha de vencimiento Código de barras
Libros 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

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.

para colocar un comentario.