Rete Bibliotecaria della Provincia di Como

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: 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: 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: 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.

Abstract: Un divertente excursus tra numeri curiosi, trucchi magici e paradossi logici, dall’autore che più di ogni altro ha reso popolare in tutto il mondo la matematica.E anche il Gardner più profondo ed eclettico, che esplora i confini tra arte, scienza e filosofia, demolisce le credenze pseudo-scientifiche e professa senza alterigia le proprie fedi.

Abstract: Da qualche anno l'ammissione a molti corsi di laurea è legata al superamento di una prova di idoneità basata su test che hanno anche un interessante effetto secondario: segnalare allo studente le sue eventuali lacune. Questo libro si rivolge proprio a coloro che si cimentano nelle discipline scientifiche e intendono rinforzare la conoscenza di alcune tematiche e offre a chi deve affrontare test di logica, matematica elementare, calcolo combinatorio e delle probabilità, l'occasione di accertare eventuali carenze e un aiuto concreto per una preparazione autonoma, accurata, veloce. Gli autori, grazie alla loro grande esperienza didattica, presentano in maniera efficace e sintetica le basi del ragionamento e del calcolo in modo che il lettore possa acquisire una adeguata capacità di comprensione e riflessione e possa capire e risolvere le prove con tranquillità e sicurezza. I primi capitoli trattano logica e insiemi, argomenti che sono richiesti anche nei test aziendali.

Abstract: Questo manuale è il risultato di un corso di lezioni tenute all'Università di Oxford durante gli anni 1958-62 e nella primavera del 1961 all'Università del Texas. Scritto per gli studenti del primo anno di Logica, non richiede alcuna conoscenza preliminare dell'argomento. La chiarezza dell'esposizione e la ricchezza degli esercizi tutti risolti in questa edizione italiana permettono con opportuna gradualità di impadronirsi prima, e di servirsi poi, dei simboli e delle regole della moderna logica formale.

Abstract: Ormai da molti anni si riconosce, all'estero, una funzione primaria all'insegnamento della logica matematica come discorso di base per l'apprendimento delle scienze. Anche in Italia tale insegnamento ha avuto un notevole sviluppo a livello universitario e ha portato alla consapevolezza della necessità di far conoscere la logica nelle scuole medie ed elementari, per il suo carattere formativo che fa leva sui nessi logici ampiamente posseduti anche dai bambini. Si fa quindi sempre più pressante l'esigenza di fornire agli insegnanti strumenti di carattere teorico e applicativo che permettano loro di impadronirsi dei fondamenti di questa materia.

Abstract: Colin Bruce ricrea l'atmosfera della Londra di Sherlock Holmes e del dottor Watson per far luce su una verità incontestabile: la fede nel buon senso - e l'ignoranza della matematica - sono fonte di guai. E così nei casi del nobile giocatore, dell'erede a sorpresa, del perfettto contabile, Sherlock Holmes usa le sue profonde conoscenze in tema di teoria dei giochi, statistica, teoria della decisione per risolvere intricati enigmi e salvare l'innocente. Un tema comune unisce questi dodici racconti dedicati alla logica e alla probabilità: la facilità di sbagliarsi, se sono in gioco probabilità e statistiche, anche quando si tratti di una scelta apparentemente semplice.

Abstract: 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.