Trovati 110 documenti.
Trovati 110 documenti.
Fondamenti della matematica / William S. Hatcher
Torino : Boringhieri, 1973
Testi e manuali della scienza contemporanea ; Serie di logica matematica
Introduzione alla logica matematica / Elliott Mendelson
Torino : Boringhieri, 1972
Testi e manuali della scienza contemporanea
Mondi della logica / Ettore Carruccio
Bologna : Zanichelli, 1980
Matematica moderna ; 9
Logica e ragionamento / di Donovan A. Johnson, William H. Glenn e M. Scott Norton
Bologna : Zanichelli, 1980
Matematica ; 18
Che cos'è la logica matematica? / John N. Crossley ... [et al.]
Torino : Boringhieri, 1979
Universale scientifica ; 140
Temi fondamentali della logica moderna / David C. Makinson ; [traduzione di Paolo Pagli]
Torino : Boringhieri, 1979
Universale scientifica ; 178
Firenze : La nuova Italia, 1981
Classici della filosofia ; 13
Milano : Feltrinelli, 1978
SC/10. Manuali ; 2
Teoria della dimostrazione / G. Gentzen ... [et al.] ; a cura di Donatella Cagnoni
Milano : Feltrinelli, 1981
SC/10. Readings ; 22
Opere, 1929-1936 / Kurt Gödel
Torino : Bollati Boringhieri, 1999
2. ed.
Roma : Laterza, 1991
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.
Torino : Bollati Boringhieri, 1998
Comunicazione e linguaggio
Abstract: Questo anti-manuale vuole aiutare i giovani a riscoprire quelle naturali predisposizioni che l'abitudine e spesso un cattivo insegnamento hanno completamente respinto e relegato tra i ricordi meno felici, e si propone di collocare invece la matematica e la logica nell'ambito delle scienze cognitive e del ragionamento.
Fondamenti di logica per insegnanti / Tamas Varga
2. ed
Torino : Bollati Boringhieri, 2005
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.
Milano : Adelphi, 1984
Biblioteca scientifica ; 6
Sherlock Holmes e le trappole della logica / Colin Bruce
Milano : R. Cortina, 2001
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.
Seregno : Ciranna & Ferrara, 1998
Concorsi ; 76
Torino : Bollati Boringhieri, 2001
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.
Lezioni di logica matematica / Gabriele Lolli
Torino : Bollati Boringhieri, 1978
Lezioni e seminari