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 propòsit d'aquest llibre és introduir els alumnes a conceptes fonamentals per l'anàlisi de l'oració anglesa. El llibre comença amb una introducció al marc teòric que...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2008) · 64 pàg. · 9 €
Com es pot dissenyar un petit microprocessador a partir de mòduls molt bàsics? Com és el funcionament intern d'un microprocessador? Què és una màquina algorísmica? Quin...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2015) · 182 pàg. · 16 €
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2001) · 116 pàg. · 9 €
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2004) · 113 pàg. · 10 €
Xarxa Vives d'Universitats
e-buc@vives.org
+34 964 72 89 93
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
