Lógica computacional / Enrique Paniagua Arís; Juan Luis Sánchez González; Fernando Martín Rubio.
Idioma: Español Series lógica computacionalDetalles de publicación: Madrid : Thomson, 2003.Descripción: 205 p 24 cmISBN:- 8497321820
- 005.131 P19l 2003
Contenidos:
Resumen: El primer paso hacia la inteligencia artificial,desde el desarrollo de la lógica fue dado por aristoteles(384-322a.C) cuando comenzó a explicar y a codificar ciertos estilos de razonamiento deductivo que él llamo silogismos.
La sintaxis de la lógica.-- La semántica de la lógica.-- Método axiomático.-- Método interpretativo.-- La demostración automática de teoremas.-- Los agentes
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Libro - Material General | Biblioteca Juan Nepomuceno Mojica Angarita | Colección General | 005.131 P19l (Navegar estantería(Abre debajo)) | 1 | Disponible | Informatica-sistemas | 007333 |
Incluye bibliografía, glosario e índice analítico.
La sintaxis de la lógica.-- La semántica de la lógica.-- Método axiomático.-- Método interpretativo.-- La demostración automática de teoremas.-- Los agentes
El primer paso hacia la inteligencia artificial,desde el desarrollo de la lógica fue dado por aristoteles(384-322a.C) cuando comenzó a explicar y a codificar ciertos estilos de razonamiento deductivo que él llamo silogismos.
No hay comentarios en este titulo.