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 |
Navegando Biblioteca Juan Nepomuceno Mojica Angarita estanterías, Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
005.13 G98p PHP4 a traves de ejemplos | 005.13 L69i Introduction to Java programming / | 005.13 O67 Optimización : | 005.131 P19l Lógica computacional / | 005.133 B38h C++ una herramienta para la programación orientada a objetos | 005.133 B38l Lenguaje C | 005.133 B38p Los 600 principales métodos del JAVA / |
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.