Binefa Valls, Xavier

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.

Bellaterra (cerdanyola del Vallès): Servei de Publicacions de la Universitat Autònoma de Barcelona, 1998 · Materials, 54
123 p. · 19,5 x 28 cm · · ISBN 978-84-490-1384-3 · 9,01 €

Comprar a Libelista

Relacionats

Edición y presentación multimedia
Ribes Guàrdia, Francesc Xavier

(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2002) · 68 pàg. · 8 €

Els estats liberals
Serrallonga i Urquidi, Joan

(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2004) · 120 pàg. · 9,5 €

Dudas razonables: una etnografía en el ámbito del derecho penal
Cubells Serra, Jenny

El texto presenta el diario de campo resultado de la etnografía jurídica desarrollada a lo largo de un año (1995-1996) en el ámbito del derecho penal en la ciudad de Barce...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2008) · 166 pàg. · 24 €

Programació en C per a matemàtics
Ribas Xirgo, Lluís

Aquest llibre és destinat principalment als alumnes d'Algorismes i Programes II de la Llicenciatura de Matemàtiques, ja que conté el guió de les corresponents pràctiques ...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 1999) · 120 pàg. · 9,01 €