Portada del llibre






Barrire Figueroa, Lali;Claverol Aguas, Merc
Introducci a la l?gica

Aquest llibre ha estat escrit amb el propsit de facilitar l'aprenentatge de la lgica als estudiants d'Enginyeria Informtica. Est orientat a l'adquisici dels coneixements bsics 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 clcul, que d'alguna manera corresponguin a la manera com nosaltres fem els raonaments, per clarament i sense vaguetats. A ms d'aquest aspecte sintctic del raonament, treballarem tamb l'aspecte semntic de la interpretaci, en dos nivells: el clcul d'enunciats i el clcul de predicats, que corresponen als dos primers captols d'aquest llibre. El llenguatge i les regles de deducci que donarem, tant per al clcul d'enunciats com per al clcul de predicats, ens permetran introduir, en el tercer captol, la idea de raonament automtic. Aquests tres primers captols inclouen nombrosos exemples, per tal d'aclarir i fer ms intutius els conceptes presentats. A ms, es proposen exercicis, alguns dels quals sn part de la llista de problemes resolts que constitueix el quart i darrer captol del llibre.

Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2006 Aula politcnica, 128 170 p. 0 x 0 cm Libro electrnico ((2,407MB)(PDF)) ISBN 978-84-9880-161-3 6

Descarregar


Portada del llibre






digital: La historia antigua a travs del cine
Antela-Bernrdez, Borja;Sierra Martn, Csar
(Editorial UOC, S.L., 2014) 220 p. 7

Portada del llibre






Arte, Arquitectura y Sociedad_Digital (Llibre + CD-ROM)
Bux Rey, Maria Jess;Estvez de la Escalera, Alberto-Toms;Casanovas Bohigas, Anna;Cirlot, Lourdes
(Publicacions i Edicions de la Universitat de Barcelona, 2007) 21

Portada del llibre






digital: Cultura, salud, cine y televisin
Varios autores
(Publicacions URV, 2017) 316 p. 10

MS CONSULTATS

Portada del llibre






El da a da en espaol 1: Nivel principiante
Miano Lpez, Julia;Lpez Ripoll, Slvia;Espaol Giralt, Mireia;Giner Guix, Susana;lvarez Ramos, Dmaris;Moreno Tarrs, Mnica
(Publicacions i Edicions de la Universitat de Barcelona, 2009) 0 p. 25

Portada del llibre






Cuina i cultura del gust al Pas Valenci
Fbrega i Colom, Jaume
(Publicacions Universitat Alacant, 2019) 532 p. 20

Portada del llibre






La predicaci de Sant Vicent Ferrer per les comarques de Castell
Martnez Romero, Toms
(Publicacions de la Universitat Jaume I, 2021) 267 p. 16

Portada del llibre






Llengua i literatura a Andorra i als Pirineus
Bastida, Carolina; Bertrana, Univers; Sistac, Ramon; Villar, Albert
(Universitat d'Andorra, 2016) 374 p. 22

Portada del llibre






Amb el cor al paper
Jimnez Sureda, Montserrat
(Servei de Publicacions de la Universitat Autnoma de Barcelona, 2020) 0 p. 9

Portada del llibre






Els colors de la neu
Comellas Casanova, Pere;Junyent Figueras, M. Carme
(Eumo Editorial SAU, 2021) 160 p. 20