Libri di Mun

Novepernove. Sudoku: segreti e strategie di gioco Munari Daniele   -  Springer Verlag, 2008  -  I Blu. Pagine Di Scienza

Il gioco del sudoku è esploso nel mondo occidentale a partire dal 2005 e da allora ha continuato a espandersi, a raccogliere nuovi proseliti. Accanto alla moltitudine crescente di dilettanti che con varia frequenza si cimentano nel gioco, di solito lavorando con carta e penna e in solitario, è nata una comunità mondiale di esperti che, attraverso forum dedicati su internet, cercano di scovare tecniche di soluzione sempre più sofisticate, oppure si accaniscono a individuare e sviscerare i segreti logico-matematici del gioco. Questo libro si rivolge a tutti gli appassionati e in particolare proprio ai dilettanti che vogliono continuare a giocare con carta e penna e che eventualmente vogliono diventare un po' più esperti, e si propone di spiegare come riuscire a risolvere in modo divertente qualsiasi schema, per quanto difficile, proposto dalle riviste specializzate, a partire da un numero limitato ma sufficiente di tecniche di base e avanzate.

DETTAGLI

Logica. Metodo breve Mundici Daniele   -  Springer Verlag, 2011  -  Unitext

In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale.

Logic. A brief course Mundici Daniele   -  Springer Verlag, 2012  -  Unitext

In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale.