Trovati 110 documenti.
Trovati 110 documenti.
Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci
Torino : Boringhieri, 1978
Testi e manuali della scienza contemporanea ; Serie di logica matematica
Dalla matematica alla filosofia / Hao Wang
Torino : Boringhieri, 1984
Testi e manuali della scienza contemporanea ; Serie di logica matematica
Lezioni sull'intuizionismo : Cambridge 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk Van Dalen
Torino : Bollati Boringhieri, 1983
Lectio
Fondamenti di logica per insegnanti / Tamás Varga
Torino : Bollati Boringhieri, 1988
Didattica ; Proposte ed esperienze
Teoria delle reti logiche : reti combinatorie / Fabrizio Luccio, Antonio Grasselli
Torino : Boringhieri, 1977
Lezioni e seminari. Quaderni di elettronica ; 3
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