Rete Bibliotecaria della Provincia di Como

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.