Imagen de cubierta local
Imagen de cubierta local

Lógica computacional / Enrique Paniagua Arís; Juan Luis Sánchez González; Fernando Martín Rubio.

Por: Colaborador(es): Idioma: Español Series lógica computacionalDetalles de publicación: Madrid : Thomson, 2003.Descripción: 205 p 24 cmISBN:
  • 8497321820
Tema(s): Clasificación CDD:
  • 005.131 P19l 2003
Contenidos:
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
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.
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 Copia número Estado Notas Fecha de vencimiento Código de barras
Libro - Material General 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.

para colocar un comentario.

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local
Compartir