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

Relacionats

Digital obert: Key concepts for educating in and for plurilingualism
Masats, Dolors; Moore, Emilee; Llompart Esbert, Júlia

This book provides theoretical tools for language teachers to help them address the educational needs of all students in inclusive multilingual classrooms. On one hand, the au...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2025) · 52 pàg. · Gratuït

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 €

Notas sobre teoría de mejora genética
Piedrafita Arilla, Jesús

(Servei de Publicacions de la Universitat Autònoma de Barcelona, 1998) · 150 pàg. · 10,82 €

Configuració lingual de vocals, consonants i grups de consonants del català. Dades d'ultrasons
Daniel Recasens i Vives

El llibre presenta i analitza contorns linguals pertanyents a vocals, consonants i grups de consonants del català obtinguts amb la tècnica d'ultrasons al Laboratori de Fonè...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2019) · 140 pàg. · 13 €