«Lògica computacional» - Fitxa del llibre 978-84-490-1384-3
 

Lògica computacional

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!
Comprar a Libelista



Relacionats


Càlcul en variable complexa
Càlcul en variable complexa
Bagan, Emili; Méndez, Antoni; Pujolàs, Oriol

El càlcul en variable complexa és una part de les matemàtiques fascinant, que combina conceptes analítics i geomètrics per arribar, de manera senzilla, a resultats molt i...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2024) · 236 pàg. · 18 €


Introduction to English Descriptive Grammar
Introduction to English Descriptive Grammar
Capdevila, Montserrat

El propòsit d'aquest llibre és introduir els alumnes a la gramàtica de la llengua anglesa des d'una vessant descriptiva. El llibre està estructurat de manera que cada capÃ...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2007) · 68 pàg. · 10 €


Traducción del inglés al castellano
Traducción del inglés al castellano
Orozco, Mariana

Este manual pretende servir de guía para la iniciación a la práctica de la traducción del inglés al español. Contiene diecisiete unidades didácticas donde se combinan m...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2007) · 123 pàg. · 12 €


Programació en C per a matemàtics
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,01 €

Suscriu-te


La Xarxa Vives d’Universitats, com a responsable, tractarà les vostres dades amb la finalitat de gestionar la vostra subscripció i informar-vos dels actes i activitats que organitza la Xarxa Vives. Podeu exercir els drets d’accés, rectificació, supressió, portabilitat, limitació o oposició al tractament per mitjans físics o electrònics. Podeu consultar la informació addicional i detallada sobre protecció de dades.
Si marqueu aquesta casella, consentiu que utilitzem les vostres dades per a enviar-vos informació sobre els actes i activitats que organitza la Xarxa Vives.

Enllaços

Programa de publicacions
Editorials universitàries a Twitter
 
 

Contacte

Xarxa Vives d'Universitats
Edifici Àgora
Universitat Jaume I, local 10
Av. de Vicent Sos Baynat, s/n
12071 Castelló de la Plana
e-buc@vives.org
+34 964 72 89 93

Amb el suport de

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

Copyright © 2025 - Xarxa Vives d'Universitats