LÒGICA COMPUTACIONAL

LÒGICA COMPUTACIONAL (Libro en papel)

Editorial:
UNIVERSITAT AUTÒNOMA DE BARCELONA
Año de edición:
Materia
Informática
ISBN:
978-84-490-1384-3
Páginas:
123
Encuadernación:
Otros
-5%
9,01 €
8,56 €
IVA incluido
Disponible en 10 días
Comprar

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.