Trovati 110 documenti.
Trovati 110 documenti.
Lezioni di logica matematica / Gabriele Lolli
Torino : Boringhieri, 1978
Lezioni e seminari
L' algebra di Boole e i circuiti logici / Franco Cianflone
5. ed.
Milano : Etas libri, 1985
Informatica
Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski
2. ed.
Milano : Bompiani, 1978
Idee nuove ; 51
[Milano] : B. Mondadori, copyr. 2007
Abstract: Che cos’è la Matematica? E che cosa significa “fare Matematica”? Come mai la Matematica è così potente da spiegare i miracoli – e giustificare razionalmente la moltiplicazione dei pani – e tuttavia così gracile da non evitare ridicoli paradossi, come quello di un numero di 30 sillabe che non si può scrivere con meno di 31 sillabe? Come può pretendere la Matematica di misurare e catalogare anche l’Infinito? E ancora: che cosa significa calcolare? E chi è il “calcolatore”?Domande astratte, forse, eppure questioni che hanno appassionato la ricerca dell’Ottocento e del Novecento e hanno originato e maturato la moderna Informatica.Il libro è una passeggiata tra questi argomenti, volta non solo a comunicare qualche risposta, ma anche a seminare ulteriori dubbi; a ritrarre in definitiva una Matematica quale essa effettivamente è: non glaciale e perfetta come molti la immaginano, ma libera, fallibile e soprattutto “viva”.
Logica / Marcello D'Agostino, Marco Mondadori
Milano : B. Mondadori, copyr. 1997
Cos'è la logica matematica : filosofia della logica / Gabriele Lolli
Padova : Muzzio, 1992
Leggi fondamentali dell'aritmetica / Gottlob Frege ; a cura di Carlo Cellucci.
Roma : Teknos, stampa 1995
I fondamenti della scienza ; 9
Introduzione al pensiero matematico. La formazione dei concetti nella matematica moderna
Torino : Boringhieri, 1976
Torino : Boringhieri, 1976
Universale scientifica ; 140
Elementi di logica / E. J. Lemmon ; [traduzione di Massimo Prampolini].
Roma ; Bari : Laterza, 1975
Biblioteca di cultura moderna ; 778
Questioni di filosofia della matematica / Ettore Casari
Milano : Feltrinelli, 1964
Milano : Longanesi, 2004
Abstract: Una delle più celebri opere del filosofo inglese, scritta nel 1918 durante i sei mesi di carcere scontati per aver pubblicato un articolo pacifista. Si tratta di un grande classico del pensiero epistemologico in cui vengono sinteticamente esposti gli argomenti fondamentali della sua ricerca matematica.
Firenze : La nuova Italia, 1975
Dimensioni ; 26
Le ragioni fisiche e le dimostrazioni matematiche / Gabriele Lolli
Bologna : Il mulino, copyr. 1985
The big typerscript / Ludwig Wittgenstein ; a cura di Armando De Palma
Torino : Einaudi, 2002
Biblioteca Einaudi ; 133
Abstract: Nel gennaio 1929 Wittgenstein tornava a Cambridge dopo più di quindici anni di assenza e iniziava una serie di riflessioni sulla filosofia del linguaggio e sui fondamenti della matematica che nelle sue intenzioni avrebbero dovuto trovare forma di libro. Ne risultò un dattiloscritto - noto agli studiosi con il titolo convenzionale di The Big Typescript - su cui Wittgenstein cominciò una parziale opera di revisione, apportando correzioni e inserendo aggiunte. Di questi rifacimenti tiene conto l'edizione Einaudi che offre al lettore la possibilità di entrare nel laboratorio Wittgenstein.
La logica del tempo / a cura di Claudio Pizzi
Torino : Boringhieri, 1974
Testi e manuali della scienza contemporanea ; Serie di logica matematica
Garfield [Risorsa elettronica] : scopri con me la logica matematica : terzo ciclo, età 7-8 anni
Gazzada Schianno : Leader S.p.A., [200-?]
3
Milano : Adelphi, 1985
Biblioteca scientifica ; 6