Rete Bibliotecaria della Provincia di Como

Abstract: Se la logica regola le forme e le leggi del pensiero, come può integrarsi con il ragionamento matematico? Tratteggiare i confini di questa congiunzione significa affrontare un viaggio tra le correnti della filosofia e della matematica, giungendo infine a un elemento altro, integrato: la logica matematica. Abraham Robinson ricostruisce il quadro storico di questo complesso percorso, tratteggiandone i rapporti con i diversi àmbiti della filosofia e del linguaggio, in un testo che, malgrado la complessità dell'argomento, riesce a mantenere salda una straordinaria forza divulgativa. Arricchiscono il volume la prefazione di Gabriele Lolli e il saggio di Beppo Levi del 1934 sulla logica matematica.

Abstract: L'indagine, condotta sul materiale raccolto nei primi cinque volumi dei Collected Papers di Bertrand Russell, pur trascurando gli aspetti più tecnici (in matematica e logica) a vantaggio di quelli generali, cerca di documentare l'enorme sforzo compiuto da Russell intorno al tema della fondazione logica della matematica, cui si collega la riflessione sulla natura dell'oggetto del pensiero, del significato, della verità, del giudizio. Entro tale quadro, l'indagine cerca altresì di gettare luce sulle relazioni di Russell con l'ambiente culturale inglese a cavallo tra XIX e XX secolo, sul contributo di figure interessanti come Bradley, Moore, Whitehead, e sulle connessioni europee di Russell, che intrattenne importanti carteggi personali con Couturat, Meinong e Frege.

Abstract: Un modo per presentare materie complesse è spiegarle mediante esempi tratti dalla quotidianità. Poche cose oggi ci sono più familiari dei social network: molti di noi sanno che cosa sono un profilo utente, una bacheca, un like, un post virale. Così il libro ci propone un esperimento per avvicinarci alla logica attraverso il mondo di RS, la Rete Sociale: un social network dove i post sono composti interamente di emoticon e dove, con un po' di astuzia, è possibile garantire che diventino virali. Che cosa succede quando le reazioni consentite agli utenti vanno oltre il classico mi piace/non mi piace? Che ruolo hanno le relazioni di amicizia e le "bolle" autoreferenziali? Giocando con le dinamiche del social network, siamo introdotti ai concetti fondamentali della logica proposizionale, modale e non-classica.

Abstract: Il volume presenta le diverse tipologie di quesiti di logica matematica utilizzate nei concorsi pubblici nazionali e dell'Unione europea, nelle selezioni aziendali, nelle prove di accesso ai master e alle università. Ne illustra le caratteristiche e le strategie di risoluzione. Contiene centinaia di esercizi risolti e commentati, per guidare la preparazione del candidato. Per un ulteriore esercizio, il lettore può infine svolgere in autonomia altre batterie di quesiti, di cui è indicata la soluzione senza commento. In particolare, il testo propone teoria ed esercizi relativi a: serie numeriche; serie di lettere; problemi di calcolo; esercizi con percentuali e frazioni; ragionamento logico matematico; esercizi sulle probabilità; problemi di lavoro. Il volume è completato da un capitolo di esercizi di logica matematica in lingua inglese.

Abstract: Il libro è una completa e variegata introduzione alle principali tecniche dimostrative. Gli argomenti incrociano trasversalmente quelli trattati nei classici testi che si focalizzano su una specifica disciplina. Ogni sezione presenta esempi che illustrano levarietecnichedimostrative ed esercizi con cui il lettore può prendere dimestichezza con la materia. Tecniche dimostrative è dedicato a chiunque, studente, docente o semplice appassionato, voglia avvicinarsi e prendere confidenza con il principale strumento del matematico: la dimostrazione.

Abstract: II volume contiene centinaia di esercizi risolti e commentati, presentati secondo le diverse tipologie di logica matematica utilizzate nei concorsi pubblici nazionali e dell’Unione europea, nelle selezioni aziendali, nelle prove di accesso ai master e alle università. Per un ulteriore esercizio, il lettore può svolgere in autonomia altri esercizi proposti, di cui è indicata la soluzione senza commento. In particolare il volume propone teoria ed esercizi relativi a: serie numeriche, serie di lettere, problemi di calcolo, esercizi con percentuali e frazioni, ragionamento logico matematico, esercizi sulle probabilità, problemi di lavoro. Il volume è completato da un capitolo di esercizi di logica matematica in lingua inglese.

Abstract: Questo eserciziario vuole essere un ausilio per gli studenti universitari alle prese con un corso base di logica. Consiste in una collezione di esercizi risolti su insiemi (notazione insiemistica e operazioni su insiemi, prodotto cartesiano e insieme potenza, relazioni e funzioni, cardinalità e numerali), metodi dimostrativi (dimostrazione contronominale, dimostrazione per assurdo, dimostrazione per casi, induzione matematica), logica e calcolo proposizionali (sintassi, semantica, tableaux, derivazioni di sequenze, teoremi, formule interderivabili e teorie proposizionali). Gli esercizi sono raccolti per argomenti introdotti da brevi rimandi alla teoria (pillole di teoria).

Abstract: I bambini cominciano a sviluppare il pensiero logico già da neonati e il miglior modo per favorirlo è l’allenamento. In questo volume, progettato da insegnanti competenti, si trovano attività che si propongono di aiutare la coordinazione oculo-manuale, sviluppare la velocità di pensiero, stimolare il ragionamento, favorire e allenare la concentrazione. Tra le pagine ci sono giochi che chiedono di fare delle scelte, ricercare collegamenti tra le possibilità e individuare analogie. Il libro si contraddistingue per la chiarezza grafica e il rispetto dei tempi di concentrazione dei bambini dai 5 anni in su.

Abstract: L'autore ha raccolto 99 problemi intriganti, che a prima vista possono sembrare difficili, ma che hanno una soluzione inaspettatamente facile. In un certo senso la vera difficoltà consiste nel trovare l'idea giusta per risolverli non servono infatti conoscenze avanzate di matematica né risme di carta. Qualche volta si chiede semplicemente di fare molta attenzione al testo e di vedere le cose in un modo un po' diverso dal solito. Con questo libro anche i più scettici scopriranno che è possibile divertirsi risolvendo un problema logico o matematico.

Abstract: Non sempre logica e giustizia vanno di pari passo. Talora una medesima parola, come teorema, assume significati opposti, di verità dimostrata o di ipotesi strampalata. Esistono tuttavia tra logica e giustizia innocenti e sorprendenti analogie. Analogie che Carlo Toffalori e Stefano Leonesi, matematici con la passione per la letteratura, ci invitano a scoprire, ricavandole da vari casi criminali, spesso solo immaginari, in cui la logica si rivela uno strumento utile, una presenza paradossale o un'assenza imbarazzante. Si affidano per questa indagine alle testimonianze di personaggi illustri, da Protagora a Cervantes, da Diderot a Dostoevskij, da Kafka a Lewis Carroll, raccontando varie singolari vicende di giudizi senza logica e di logica senza giudizio e istruendo infine una sorta di processo alla logica stessa, per valutarne i presunti benefici e gli svantaggi non solo per la giurisprudenza e il diritto, ma anche per la matematica, l'informatica e la scienza in generale. Utili allo scopo si riveleranno essere alcune varianti giuridiche di quei celebri teoremi di incompletezza di Gödel che hanno dimostrato come pure in matematica la verità non sia sempre dimostrabile. Una conclusione, tuttavia, che non dovrebbe indurre alla rassegnazione, perché, se non altro, nella buona matematica tutto ciò che è dimostrabile è vero. E bisogna augurarsi che lo stesso capiti nella buona giustizia.

Abstract: Hao Wang ha raccolto in questo volume le sue riflessioni su alcuni dei temi al centro del dibattito che riguarda la conoscenza e la logica. Egli considera criticamente il nodo di questo discorso, in particolare il rapporto tra logica e matematica da un lato, e tra logica e filosofia dall'altro, giungendo a conclusioni che divergono in modo notevole da quelle usualmente accettate da posizioni accademiche quali la filosofia analitica o il neopositivismo. Il punto di vista dell'autore si fa strada attraverso una penetrante discussione di concetti matematici generali e attraverso la considerazione di problemi di ampio interesse come il rapporto tra mente e macchine, tra specializzazione e unità della conoscenza, tra scienza e filosofia. Quello che Hao Wang propone è un nuovo metodo di approccio a questi problemi, da lui denominato "fattualismo sostanziale", particolarmente adeguato a sviluppare una posizione filosofica più comprensiva, tale da non banalizzare o distorcere i fatti di vasta portata della conoscenza umana.