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 x 28 cm · · ISBN 978-84-490-1384-3 · 9 €

Comprar a Libelista

Relacionats

L'orientació psicopedagògica en el marc escolar, familiar i social
Comellas, Maria Jesús

(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2005) · 133 pàg. · 11 €

Lexicología y terminología aplicadas a la traducción
Aguilar, Lourdes

Este libro pone a disposición de los estudiantes de la Facultad de Traducción e Interpretación de la Universitat Autònoma de Barcelona los contenidos teóricos y práctico...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2001) · 86 pàg. · 7 €

Digital: Lengua china para traductores
Casas Tost, Helena; Rovira Esteva, Sara; Suárez Girard, Anne-Hélène

Las tres autoras de este manual han cursado estudios superiores y han desarrollado proyectos de investigación en universidades chinas y taiwanesas a lo largo de las últimas ...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2020) · 326 pàg. · 8 €

Mòdul transversal en infermeria geriàtrica i comunitària
Aradilla Herrero, Amor

El llibre, Mòdul transversal en infermeria geriàtrica i comunitària. L'aprenentatge basat en problemes com a oportunitat per a un aprenentatge compartit, és fruit d'una ex...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2006) · 76 pàg. · 10 €