Aquest llibre ha estat escrit amb el propòsit de facilitar l'aprenentatge de la lògica als estudiants d'Enginyeria Informàtica. Està orientat a l'adquisició dels coneixements bàsics que permetin tractar els raonaments d'una manera formal, fins i tot, la seva automatització. L'objectiu és mostrar que es pot donar un llenguatge formal i unes regles deductives que contenen el formalisme que s'amaga en el llenguatge i la manera de raonar que normalment utilitzem. Així doncs, formalitzarem el llenguatge natural, donant regles de deducció, és a dir, de càlcul, que d'alguna manera corresponguin a la manera com nosaltres fem els raonaments, però clarament i sense vaguetats. A més d'aquest aspecte sintàctic del raonament, treballarem també l'aspecte semàntic de la interpretació, en dos nivells: el càlcul d'enunciats i el càlcul de predicats, que corresponen als dos primers capítols d'aquest llibre. El llenguatge i les regles de deducció que donarem, tant per al càlcul d'enunciats com per al càlcul de predicats, ens permetran introduir, en el tercer capítol, la idea de raonament automàtic. Aquests tres primers capítols inclouen nombrosos exemples, per tal d'aclarir i fer més intuïtius els conceptes presentats. A més, es proposen exercicis, alguns dels quals són part de la llista de problemes resolts que constitueix el quart i darrer capítol del llibre.
Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2006 · Aula politècnica, 128
170 p. · · ((2,407MB)(PDF)) · ISBN 978-84-9880-161-3 · 6,49 €
Matèria: Matemàtiques i ciències : Lògica matemàtica
Este libro de prácticas ha sido elaborado con la intención de reflejar los procedimientos e instrumentos de medida eléctricos que permiten aplicar los conocimientos teóric...
(Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2005) · 95 pàg. · 3,99 €
Mecánica newtoniana es un texto de carácter docente, que contiene una exposición conceptual básica y ejercicios prácticos. Se ha procurado enfocar los conceptos fundament...
(Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2000) · 226 pàg. · 25,1 €
Aquesta obra està basada en el contingut de l'assignatura Xarxes de Computadors, de la Facultat d'Informàtica de Barcelona (FIB) de la Universidat Politècnica de Catalunya,...
(Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2007) · 154 pàg. · 15 €
En aquest llibre s'ofereix una introducció a la probabilitat i a l'estadística adaptada a l'alumnat de primer curs d'una enginyeria tècnica, especialment les enginyeries re...
(Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2005) · 122 pàg. · 15,3 €
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