Logica: Metodo Breve

ยท UNITEXT ืกืคืจ 50 ยท Springer Science & Business Media
ืกืคืจ ื“ื™ื’ื™ื˜ืœื™
126
ื“ืคื™ื
ื”ื‘ื™ืงื•ืจื•ืช ื•ื”ื“ื™ืจื•ื’ื™ื ืœื ืžืื•ืžืชื™ืย ืžื™ื“ืข ื ื•ืกืฃ

ืžื™ื“ืข ืขืœ ื”ืกืคืจ ื”ื“ื™ื’ื™ื˜ืœื™ ื”ื–ื”

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gรถdel, Lรถwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

ืจื•ืฆื” ืœื“ืจื’ ืืช ื”ืกืคืจ ื”ื“ื™ื’ื™ื˜ืœื™ ื”ื–ื”?

ื ืฉืžื— ืœืฉืžื•ืข ืžื” ื“ืขืชืš.

ืื™ืš ืงื•ืจืื™ื ืืช ื”ืกืคืจ

ืกืžืืจื˜ืคื•ื ื™ื ื•ื˜ืื‘ืœื˜ื™ื
ื›ืœ ืžื” ืฉืฆืจื™ืš ืœืขืฉื•ืช ื”ื•ื ืœื”ืชืงื™ืŸ ืืช ื”ืืคืœื™ืงืฆื™ื” ืฉืœ Google Play Books ืœ-Android ืื• ืœ-iPad/iPhoneโ€. ื”ื™ื ืžืกืชื ื›ืจื ืช ื‘ืื•ืคืŸ ืื•ื˜ื•ืžื˜ื™ ืขื ื”ื—ืฉื‘ื•ืŸ ืฉืœืš ื•ืžืืคืฉืจืช ืœืš ืœืงืจื•ื ืžื›ืœ ืžืงื•ื, ื’ื ืœืœื ื—ื™ื‘ื•ืจ ืœืื™ื ื˜ืจื ื˜.
ืžื—ืฉื‘ื™ื ื ื™ื™ื“ื™ื ื•ืฉื•ืœื—ื ื™ื™ื
ื ื™ืชืŸ ืœื”ืื–ื™ืŸ ืœืกืคืจื™ ืื•ื“ื™ื• ืฉื ืจื›ืฉื• ื‘-Google Play ื‘ืืžืฆืขื•ืช ื“ืคื“ืคืŸ ื”ืื™ื ื˜ืจื ื˜ ืฉืœ ื”ืžื—ืฉื‘.
eReaders ื•ืžื›ืฉื™ืจื™ื ืื—ืจื™ื
ื›ื“ื™ ืœืงืจื•ื ื‘ืžื›ืฉื™ืจื™ื ืขื ืชืฆื•ื’ืช ื“ื™ื• ืืœืงื˜ืจื•ื ื™ (e-ink) ื›ืžื• ื”ืงื•ืจืื™ื ื”ืืœืงื˜ืจื•ื ื™ื™ื ืฉืœ Kobo, ืฆืจื™ืš ืœื”ื•ืจื™ื“ ืงื•ื‘ืฅ ื•ืœื”ืขื‘ื™ืจ ืื•ืชื• ืœืžื›ืฉื™ืจ. ื™ืฉ ืœืคืขื•ืœ ืœืคื™ ื”ื”ื•ืจืื•ืช ื”ืžืคื•ืจื˜ื•ืช ื‘ืžืจื›ื– ื”ืขื–ืจื” ื›ื“ื™ ืœื”ืขื‘ื™ืจ ืืช ื”ืงื‘ืฆื™ื ืœืงื•ืจืื™ื ืืœืงื˜ืจื•ื ื™ื™ื ื ืชืžื›ื™ื.
ื“ื™ื•ื•ื— ืขืœ ืชื•ื›ืŸ ืœื ื—ื•ืงื™

ืœื”ืžืฉืš ืงืจื™ืื” ืฉืœ ื”ืกื“ืจื”

Real Algebraic Geometry
Vladimir I. Arnold
ืกืคืจ 66
โ€59.94ย โ€โ‚ฌโ€41.96ย โ€โ‚ฌ
Probabilitร : Un'introduzione attraverso modelli e applicazioni
Francesco Caravenna
ืกืคืจ 67
โ€27.49ย โ€โ‚ฌโ€19.24ย โ€โ‚ฌ
Teoria degli Automi Finiti
Aldo de Luca
ืกืคืจ 68โ€ขืžื—ืฉื‘ื™ื ื•ื˜ื›ื ื•ืœื•ื’ื™ื”
โ€25.46ย โ€โ‚ฌโ€17.82ย โ€โ‚ฌ
Meccanica razionale
Paolo Biscari
ืกืคืจ 69
โ€27.49ย โ€โ‚ฌโ€19.24ย โ€โ‚ฌ

ืกืคืจื™ื ื“ื™ื’ื™ื˜ืœื™ื™ื ื“ื•ืžื™ื

Probabilitร : Un'introduzione attraverso modelli e applicazioni
Francesco Caravenna
ืกืคืจ 67
โ€27.49ย โ€โ‚ฌโ€19.24ย โ€โ‚ฌ
L'arte di comunicare
Marco Tullio Cicerone
โ€2.99ย โ€โ‚ฌ
Lโ€™italiano e i giovani. Come scusa? Non ti followo
Annalisa Nesi
โ€16.35ย โ€โ‚ฌ
Lโ€™italiano tra parola e immagine: graffiti, illustrazioni, fumetti
Claudio Ciociola
โ€15.00ย โ€โ‚ฌ