Portada del llibre






Barrière Figueroa, Lali;Claverol Aguas, Mercè
Introducció a la l?gica

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 Politecnica de Catalunya. Iniciativa Digital Politecnica, 2006 · Aula politècnica, 128 · 170 p. · 0 x 0 cm · Libro electrónico ((2,407MB)(PDF)) · ISBN 978-84-9880-161-3 · 6 €


Descarregar


Portada del llibre






digital: Nuevas finanzas para nuevos negocios
Blasco Pérez, María Jesús
(Editorial UOC, S.L., 2015) · 322 p. · 28 €

Portada del llibre






Pràctiques d'hematologia (Ensenyament de Farmàcia)
Planas Rosselló, Joana M;Martínez Brotons, Fernando;Gomis Castellví, Magdalena
(Publicacions i Edicions de la Universitat de Barcelona, 2006) · 5 €

Portada del llibre






digital: El cemento de aluminato de calcio y sus prefabricados
Chinchón Yepes, Servando;Sanjuan Barbudo, Miguel Ángel
(Publicacions Universitat Alacant, 2014) · 5 €

MÉS CONSULTATS


Portada del llibre






Trilogy about Several Urban View and Landscape Prints
Vives Piqué, M. Rosa
(Publicacions i Edicions de la Universitat de Barcelona, 2021) · 132 p. · 21 €

Portada del llibre






Som dones, som lingüistes, som moltes i diem prou
Junyent Figueras, M. Carme
(Eumo Editorial SAU, 2021) · 264 p. · 20 €

Portada del llibre






Gaetà Huguet Breva (1848-1926), patriarca del valencianisme
Pitarch, Vicens
(Publicacions de la Universitat Jaume I, 2021) · 538 p. · 22 €

Portada del llibre






Under construction:
Borràs Castanyer, Laura
(Edicions UIB, 2012) · 416 p. · 28 €

Portada del llibre






Transformar la Universidad
(Editorial UOC, S.L., 2021) · 228 p. · 24 €

Portada del llibre






Cien hijos canónigos
Contreras Hernández, Jesús
(Publicacions i Edicions de la Universitat de Barcelona, 2021) · 358 p. · 30 €