Lÿgica computacional

No disponible

Descripció

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.

Detalls del producte

Preu
9,01 €
Editorial
Servei de Publicacions de la Universitat Autònoma
Idioma
Català
Tipus
Sense especificar
EAN/UPC
9788449013843
Matèries IBIC:

Obtingues ingressos recomanant llibres

Genera ingressos compartint enllaços dels teus llibres favorits a través del programa d’afiliats.

Uneix-te al programa d’afiliats