Name: Logica Computacional (in Spanish)
Price: 18.87 GBP
Availability: InStock
Author: Martin Amis
ISBN: 9788497321822

portada Logica Computacional (in Spanish)

Type

Physical Book

Author

Enrique Paniagua Arís

Martin Amis

Publisher

Paraninfo

Topic

informatica

Year

2003

Language

Spanish

Pages

224

Format

Paperback

ISBN

8497321820

ISBN13

9788497321822

Edition No.

Synopsis "Logica Computacional (in Spanish)"

LOGICA COMPUTACIONAL

ISBN 8497321820
Autor PANIAGUA ARIS ENRIQUE
MARTIN RUBIO FERNANDO , SANCHEZ GONZALEZ JUAN LUIS
Editorial PARANINFO
Peso 0,36 Kg.Edición 2003,en Rústica
224 páginas
Idioma Español

Comentario
Los orígenes de la Lógica Teórica con Aristóteles, y sus avances con Boole, Russell, Kleene y Gentzen, junto a los de la Lógica Computacional con Herbrand, Gilmore, Davis y Putman y Robinson, hicieron que en la segunda mitad del S.
XX naciera en Dormouth, en su enfoque simbólico, la Inteligencia Artificial (IA), el ámbito de la ciencia que se encarga de estudiar, diseñar y crear Sistemas Inteligentes.

El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas. Es a causa de esta relación entre la lógica y el desarrollo de los Sistemas Inteligentes por la que es necesaria la utilización de mecanismos de razonamiento automático, y por este mismo motivo no hemos querido realizar una separación entre la Lógica Proposicional y la lógica de Predicados como sistemas lógicos, sino como niveles de enriquecimiento distintos en la representación del conocimiento.

En este texto, la aprehensión de la lógica por parte del lector se basa en un recorrido por los trés componentes de un Sistema Lógico: el sintáctico, que nos permite construir los enunciados; el interpretativo, que nos permite establecer el significado de verdad de los enunciados construidos; y el axiomático, que nos permite crear nuevos enunciados a partir de los existentes y demostrar la validez de un razonamiento. Basándonos en estos tres componentes en el libro se describen y analizan los principales métodos axiomáticos e interpretativos, para, seguidamente, desarrollar los métodos de razonamiento automático, el componente esencial de los Sistemas Inteligentes.

Martin Amis

(Author)

View Author's Page

Martin Amis (Swansea, 1949 - Florida, 2023) estudió en Oxford y debutó brillantemente como novelista con El libro de Rachel, galardonada en 1973 con el Premio Somerset Maugham, publicada en España (en 1985) por Anagrama. A lo largo de su trayectoria trabajó como guionista y varias de sus novelas fueron adaptadas para televisión. Es autor de relatos cortos, ensayos y novelas. Tiene dos libros de carácter autobiográfico: Experiencia y Koba el Temible. Su última obra fue Desde dentro.

See less