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

Práctica de seguridad social y políticas socio-laborales
Gala, Carolina

(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2003) · 96 pàg. · 16 €

Visió i aprenentatge
Moreno Oliver, Francesc Xavier

(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2002) · 109 pàg. · 8 €

Portugués básico para tradutores
Regina Saraiva, M.

Nos últimos anos, temos observado um crescente aumento do interesse pelo aprendizado da língua portuguesa dentro da comunidade universitária da UAB, especialmente por parte...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2010) · 146 pàg. · 11 €

Iniciación a la producción y manejo del ganado porcino
Gasa, Josep; López-Vergé, Sergi

Josep Gasa: Doctor en Veterinaria (1984) por la Universidad de Zaragoza y catedrático de producción animal del departamento de Ciència Animal i dels Aliments de la UAB desd...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2015) · 176 pàg. · 17 €