Logica e teoria degli insiemi
Alle origini della nuova logica. Epistolario scientifico con Hilbert Husserl Peano Russell Vailati e altri
Gottlob Frege
editore: Bollati Boringhieri
pagine: 352
«Alle origini della logica moderna non si trova un singolo germoglio destinato a crescere in un grande albero, sia pure ramifi
La formazione della teoria degli insiemi (scritti 1872-1899)
Georg Cantor
editore: Mimesis
pagine: 188
"Nella storia delle scienze", scriveva Ernst Zermelo, "è un caso veramente raro che un'intera disciplina d'importanza fondamen
Femmina sapiens. Le origini della conta a base sessanta e della scrittura
Ennio Falabella
editore: Pellegrini
Perché accanto al sistema numerico decimale esiste anche un sistema sessagesimale? Come mai per i pesi e le distanze usiamo la
La matematica come resistenza
Albert Lautman
editore: Castelvecchi
pagine: 88
Albert Lautman traccia in questi tre testi minori, scritti in occasione dei due Congrès de philosophie scientifique (1935 e 19
Logica e algebra. Esercizi svolti e richiami di teoria
editore: Maggioli Editore
pagine: 304
Il volume ha l'obiettivo di fornire agli studenti dei primi anni di un corso di laurea in Informatica, Ingegneria informatica
QED. Fenomenologia della dimostrazione
Gabriele Lolli
editore: Bollati Boringhieri
pagine: 192
Tutti sappiamo che due più due fa quattro, ma pochi di noi sono in grado di dire perché
Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine
Paolo Maffezioli
editore: CLUEB
Il teorema di interpolazione occupa una posizione centrale nel panorama delle ricerche logiche contemporanee, sia per gli aspe
Giocare con la matematica e il problem solving. Gare a squadre di PhiQuadro
Sandro Campigotto, Paolo Dall'Aglio
editore: Scienza Express
pagine: 168
"Giocare con la matematica e il problem solving" invita studenti e insegnanti ad avvicinarsi alla risoluzione dei problemi dal
Il dio della logica. Vita geniale di Kurt Gödel, matematico della filosofia
Piergiorgio Odifreddi
editore: TEA
pagine: 304
Gigante della logica del Novecento e tra i massimi pensatori di ogni epoca, definito dalla rivista Time «il matematico del sec
Breve storia delle meraviglie matematiche
Johnny Ball
editore: Editori Riuniti Univ. Press
pagine: 477
In questo libro, Johnny Ball racconta uno dei percorsi storici più importanti dell'umanità: la storia della matematica
L'equazione degli alef
Carlo Toffalori
editore: Il Mulino
pagine: 134
Lo spread potrà mai superare alef con zero? E quando questo accadrà, la Borsa saprà resistere? Il crollo si annuncia disastros
Symmetry breaking in the standard model. A non-perturbative outlook
Franco Strocchi
editore: Scuola Normale Superiore
pagine: 115
L'arte della logica. Lo strumento più potente per pensare, scegliere e agire
Eugenia Cheng
editore: Ponte alle Grazie
pagine: 376
Oggi, in un mondo dominato da meme, fake news, tweet di 140 caratteri, dibattiti televisivi in cui si impone chi grida più for
Intelligenza matematica. Scopri il matematico che è in te
Eduardo Saenz de Cabezon
editore: Centauria
pagine: 234
Smettere di temere la matematica? Si può
Anche tu matematico. La più chiara e facile introduzione alla scienza dei numeri
Roberto Vacca
editore: Garzanti Libri
pagine: 256
La matematica ci permette di comprendere e interpretare in profondità il mondo che ci circonda, dalle esperienze quotidiane ai
Logica. Lezioni di primo livello
Vito Michele Abrusci
editore: CEDAM
Il volume presenta un corso iniziale di logica che è rivolto agli studenti universitari e a tutti coloro che desiderano legger
Le direzioni della ricerca logica in Italia
a cura di H. Hosni, G. Lolli
editore: ETS
pagine: 436
Un nuovo panorama della ricerca sulla logica in Italia
Matematica
Lucia Maddalena
editore: Giappichelli
pagine: 416
Il testo contiene gli argomenti di matematica di base che si svolgono nei corsi universitari del primo anno
Strutture, logica, linguaggi. Ediz. Mylab
Luigia Carlucci Aiello, Fiora Pirri
editore: Pearson
pagine: 318
Il libro nasce dall'esperienza pluriennale di insegnamento da parte delle autrici nei corsi di Linguaggi e sistemi formali
Logica
Lorenzo Tortora De Falco, Vito Michele Abrusci
editore: Springer Verlag
pagine: 439
Questo secondo volume, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, g
