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
El objetivo general de esta publicación es ofrecer una visión amplia de las fuentes, las transformaciones y las aplicaciones tecnológicas de la energÃa. En cuanto al medio...
(Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2006) · 266 pàg. · 27,2 €
Este libro aborda de forma estructurada tanto los aspectos de diseño como los de realización de receptores de radio para la banda de FM. Tras unos primeros capÃtulos dedica...
(Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2005) · 145 pàg. · 4,99 €
La present col·lecció de problemes ofereix una mostra d'exercicis de cà lcul bà sic en mecà nica de materials que vol ser representativa. S'hi analitzen els diferents esforÃ...
(Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2008) · 124 pàg. · 19,9 €
Text de carà cter docent, amb una exposició conceptual i exercicis prà ctics, que s?orienta vers el disseny (o la sÃntesi) dels sistemes de transmissió d?engranatges més f...
(Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2002) · 198 pàg. · 19,9 €
Xarxa Vives d'Universitats
e-buc@vives.org
+34 964 72 89 93
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
