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

Digital: Handbook on public participation in the institutions of the European Union (3rd edition)
Blasi Casagran, Cristina

Since 2015, Dr. Blasi holds a postdoctoral fellowship at the Department of Public Law and Historical-legal Sciences of the Autonomous University of Barcelona. This book entit...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2021) · 120 pàg. · 6,99 €

Els estats liberals
Serrallonga i Urquidi, Joan

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

Introducción a la historia de los medios
Sala Noguer, Ramon

Introducción a la historia de la comunicación es un texto en el que se hace una exposición, análisis y crítica de algunos de los problemas teóricos, y sobre todo histór...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2007) · 92 pàg. · 11 €

Costes para la dirección de empresas
Nicolàs, Pere

Pere Nicolàs es Doctor en Ciencias Económicas y Empresariales (UAB) y MBA por la University of Pittsburgh (USA). Es profesor titular en la Universitat Autònoma de Barcelona...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2009) · 210 pàg. · 18 €