Name: Logica Computacional
Price: 489.84 MXN
Availability: InStock
Author: Martin Amis
ISBN: 9788497321822

Envío gratis

Formato

Libro Físico

Autor

Enrique Paniagua Arís

Martin Amis

Editorial

Paraninfo

Tema

informatica

Año

2003

Idioma

Español

N° páginas

224

Encuadernación

Tapa Blanda

ISBN

8497321820

ISBN13

9788497321822

N° edición

Categorías

Análisis numérico

Logica Computacional

Enrique Paniagua Arís (Autor) · Martin Amis (Autor) · Paraninfo · Tapa Blanda

Libro Nuevo

$ 489.84

$ 816.40

Ahorras: $ 326.56

40% descuento

Envío normal

Origen: España (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 02 de Mayo y el Viernes 10 de Mayo.

Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Logica Computacional"

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

(Autor)

Ver Página del Autor

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.

Ver menos