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 €
Materials de Dret Constitucional. Principis constitucionals bàsics i òrgans constitucionals és el primer volum d'una sèrie de publicacions que serveixen per preparar el pr...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2007) · 139 pàg. · 14 €
Presentamos una selección de textos, no de autores; por ese motivo no se incluyen anotaciones ni noticias sobre los autores de los mismos, ya que son datos que se hallan aseq...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2006) · 136 pàg. · 14 €
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 1998) · 142 pàg. · 10,82 €
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2002) · 68 pàg. · 8 €
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
