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

Petrologia sedimentària de roques detrítiques
Gómez Gras, David

Aquest manual de pràctiques de laboratori no només és adreçat als alumnes que cursen l'assignatura de Petrologia Sedimentària del segon cicle de la llicenciatura . de Geo...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2000) · 74 pàg. · 6 €

Programació en C per a matemàtics
Ribas Xirgo, Lluís

Aquest llibre és destinat principalment als alumnes d'Algorismes i Programes II de la Llicenciatura de Matemàtiques, ja que conté el guió de les corresponents pràctiques ...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 1999) · 120 pàg. · 9 €

Digital obert: Lengua china para traductores. Volumen II (7ª ed.)
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, 2024) · 416 pàg. · Gratuït