×



Lògica computacional

Lògica computacional

Lògica computacional


El text recull les classes de l'assignatura de lògica computacional impartides per l'autor a Enginyeria Informàtica. Després d'un estudi aprofundit del ProLog i la programació lògica, s'estudien les bases lògiques (càlculs formals, semàntica i especialment càlcul per resolució) en què es fonamenta. El text conté nombrosos exercicis tipus tant de ProLog com de lògica.

Sin stock 9.01 €

El text recull les classes de l'assignatura de lògica computacional impartides per l'autor a Enginyeria Informàtica. Després d'un estudi aprofundit del ProLog i la programació lògica, s'estudien les bases lògiques (càlculs formals, semàntica i especialment càlcul per resolució) en què es fonamenta. El text conté nombrosos exercicis tipus tant de ProLog com de lògica.

Datos del producto

ISBN: 9788449013843
Publicación: 01/1998
Formato: Libro papel
Idioma: Catalán
Número de páginas: 123

Comentarios

Apodo

Título

Comentario





Aviso de cookies

Esta web utiliza cookies propias y de terceros para mejorar tu experiencia de navegación y realizar tareas de analítica.