Libreria Vip

Laura Nassi - Non per caso ma per curiosità (2026)

Nettie Jones - L'esca (2026)

Luna Wilder - Midnight Haven Vol. 6. Protetta Dal Mio Compagno (2026)

Nicolas Nova - La persistenza del meraviglioso. Troll, daemon e altre creature che abitano il mondo digitale (2026)

A.E. Via - Bounty Hunters Vol. 3. Promises 3 (2026)

Elizabeth ORoark - The Summer you found me (2026)

Danzy Senna - Bianco nero colore (2026)

Anna Zarlenga - Un bacio di troppo (2026)

Togawa Masako - Un bacio di fuoco (2026)

Carmen Pellegrino - Le verità provvisorie (2026)

Elizabeth O’Roark - The Summer I Destroyed You (2026)

Graziella Monni - La ragazza della Solitudine (2026)

Charlie English - Il Book Club della CIA (2026)

Amata Gioviale - Astrologia. Il libro del sapere (2025)

Categorie

Novità Cinema

Disclosure Day (2026).avi [ADS+HARD-SUB] TS XviD MD MP3 iTA [WRS]

1 980 0

Il Diavolo Veste Prada 2 (2026).avi DCP XviD MD MP3 iTA [WRS]

458 0

The Long Walk (2025).avi BDRip XviD MD MP3 iTA [WRS]

786 0

Masters of the Universe (2026).avi [ADS-HARDSUB] TS XviD MD MP3 iTA [WRS]

630 0

Scary Movie (2026).avi [ADS] TS XviD MD MP3 iTA [WRS]

244 0

Obsession (2026).avi TS XviD MD MP3 iTA [WRS]

215 0

Spongebob: Un'Avventura Da Pirati (2025).avi WEBDL XviD MD MP3 iTA [WRS]

48 0

Fino Alla Fine (2024) .avi TS XviD MD MP3 iTA [iND]

805 3

Troppo Cattivi 2 (2025).avi WEBDL XviD MD MP3 iTA [iND]

181 0

Together (2025).avi WEBDL XviD MD MP3 iTA [WRS]

146 0

Offerta Premium

VOUCHER FILESTORE

Staff only

Vincenzo Manca - Logica matematica. Strutture Rappresentazioni Deduzioni (2001)

Mi piace 7

Categoria: Libreria / Saggistica e Manuali

Autore:

data: – 02.06.2018, 17:25

Viste: 637

Commenti: 0

Gruppo:

Descrizione articolo

Vincenzo Manca - Logica matematica
Strutture Rappresentazioni Deduzioni

PDF

Il libro è un manuale sintetico per un corso introduttivo di logica matematica. Il sottotitolo "Strutture Rappresentazioni Deduzioni" vuole mettere in rilievo un principio ispiratore del testo. Le strutture sono entità di riferimento del linguaggio logico; le deduzioni sono gli strumenti con cui si elaborano le formule per "calcolarne" i rapporti di conseguenza; le rappresentazioni giocano un ruolo fondamentale, spesso dato per scontato o solo accennato nei manuali di logica, che è preliminare all'attività deduttiva. Qui il lettore è guidato con esempi ed esercizi a capire il senso e il funzionamento dei meccanismi di base della logica dei predicati.