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.

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 €

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 €

Bases Biol˜giques del Llenguatge
Balari, Sergio

Aquest volum comprиn la matиria de Bases Biolтgiques del Llenguatge, una assignatura de campus impartida a la Universitat Autтnoma de Barcelona (UAB). Tracta, fonamentalme...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2007) · 121 pàg. · 14 €

Digital: Desenvolupament del microprocessador LittleProc: des de la primera porta l˜gica fins a una plataforma reconfigurable
Saiz, Joaquim

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? Qu...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2015) · 7 €

Procesos y tŽcnicas creativas publicitarias
Ricarte Besc—s, JosŽ M.

El texto que ofrecemos es una extensión -a modo de resumen- de la docencia que se imparte en la asignatura Procesos y Técnicas Creativas Publicitarias, dentro de la Licencia...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2000) · 101 pàg. · 6 €