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 x 28 cm · · ISBN 978-84-490-1384-3 · 9 €
El llibre, Mòdul transversal en infermeria geriàtrica i comunitària. L'aprenentatge basat en problemes com a oportunitat per a un aprenentatge compartit, és fruit d'una ex...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2006) · 76 pàg. · 10 €
El propòsit d'aquest llibre és introduir els alumnes en la gramàtica de la llengua anglesa des d'una vessant descriptiva. El llibre se centra en l'estudi de l'oració simpl...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2007) · 68 pàg. · 7 €
En aquesta obra es fa una presentació clara i directa de les tècniques més bàsiques d'àlgebra lineal. Amb un llenguatge especialment adreçat als estudiants, s'introdueix...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2016) · 5 €
Aquesta Iniciació a la psicofísica ha estat pensada per facilitar la comprensió dels conceptes cabdals de la psicofísica i el seu interès en la vida quotidiana, atès que...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2016) · 5 €
Universitat Abat Oliba CEU • Universitat d'Alacant • Universitat d'Andorra • Universitat Autònoma de Barcelona • Universitat de Barcelona • Universitat CEU Cardenal Herrera • Universitat de Girona • Universitat de les Illes Balears • Universitat Internacional de Catalunya • Universitat Jaume I • Universitat de Lleida • Universitat Miguel Hernández d'Elx • Universitat Oberta de Catalunya • Universitat de Perpinyà Via Domitia • Universitat Politècnica de Catalunya • Universitat Politècnica de València • Universitat Pompeu Fabra • Universitat Ramon Llull • Universitat Rovira i Virgili • Universitat de Sàsser • Universitat de València • Universitat de Vic - Universitat Central de Catalunya