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 €
Quines són les idees clau de la física que cal que l’alumnat aprengui durant la seva educació secundària obligatòria? Per què és important aprendre aquestes ide...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2024) · 146 pàg. · Gratuït
El càlcul en una variable real és una eina fonamental que té aplicacions pràcticament a totes les àrees científiques, molt particularment a la física i a l’engi...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2024) · 266 pàg. · Gratuït
Presentamos una selección de textos, no de autores; por ese motivo no se incluyen anotaciones ni noticias sobre los autores de los mismos, ya que son datos que se hallan aseq...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2006) · 136 pàg. · 14 €
Medicina Interna es una asignatura optativa que se imparte en el segundo semestre del último curso. Los estudiantes han cursado ya Patología Médica y otras asignaturas clí...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2003) · 68 pàg. · 8 €
Universitat Abat Oliba CEU • Universitat d'Alacant • Universitat d'Andorra • Universitat Autònoma de Barcelona • Universitat de Barcelona • Universitat CEU Cardenal Herrera • Universitat de Girona • Universitat de les Illes Balears • Universitat Internacional de Catalunya • Universitat Jaume I • Universitat de Lleida • Universitat Miguel Hernández d'Elx • Universitat Oberta de Catalunya • Universitat de Perpinyà Via Domitia • Universitat Politècnica de Catalunya • Universitat Politècnica de València • Universitat Pompeu Fabra • Universitat Ramon Llull • Universitat Rovira i Virgili • Universitat de Sàsser • Universitat de València • Universitat de Vic - Universitat Central de Catalunya