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

Una iniciació a la psicofísica
Estaún Ferrer, Santiago

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) · 60 pàg. · 12 €

Els estats liberals
Serrallonga i Urquidi, Joan

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

Digital: Una iniciació a la psicofísica
Estaún Ferrer, Santiago

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,99 €

Gènere i ensenyament de les ciències: representacions i propostes
Izquierdo Aymerich, Mercè

Aquest llibre ha estat pensat i escrit amb la intenció de ser útil a totes les persones i al professorat universitari que vulgui introduir continguts específics de coeducac...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2009) · 132 pàg. · 15 €