e-BUC

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.

Servei de Publicacions de la Universitat Autònoma de Barcelona, 1998 · Materials, 54 · 123 p. · 19 x 28 cm · enquadernació convencional · ISBN 978-84-490-1384-3 · 9 €

Comprar a Libelista

digital: La divulgación científica
de Semir i Zivojnovic, Vladimir
(Editorial UOC, S.L., 2016) · 108 p. · 6 €

Lo que duele es el olvido. El que dol és l'oblit. (VI Encuentro-Debate América Latina ayer y hoy)
García Jordán, Pilar
(Publicacions i Edicions de la Universitat de Barcelona, 1998) · 23 €

digital: Dels elements de construcció i el projecte
González Barroso, José María
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2018) · 136 p. · 8 €

MÉS CONSULTATS

	Estadística aplicada a les Ciències Socials Molina Vila, María Dolores;Mulero González, Julio;Nueda Roldan, María José;Pascual Romero, María Aurora (Publicacions Universitat Alacant, 2015) · 264 p. · 15 €
	digital: Superhéroes y superescenarios Contreras Espinosa, Ruth S. (Editorial UOC, S.L., 2015) · 94 p. · 13 €
	Nuevos horizontes en la literatura latina de Estados Unidos: Transnacionalismos, resistencias queer y sus manifestaciones en la web García-Avello Fernández-Cueto, Macarena (Edicions UIB, 2018) · 196 p. · 20 €
	Sol cap a la fosca Cabrera Villalonga, Carles (Edicions UIB, 2018) · 184 p. · 14 €
	Contribuciones antropológicas al estudio del desarrollo Larrea Killinger, Cristina;Martínez Mauri, Mònica (Editorial UOC, S.L., 2012) · 170 p. · 19 €
	Manual de prácticas de laboratorio. Evaluación de la calidad ambienta Pachés Giner, María Aguas Vivas;Martínez Guijarro, María Remedios;Aguado García, Daniel (Universitat Politècnica de València, 2017) · 120 p. · 8 €

E-BUC