Logica e teoria degli insiemi
Complementi di matematica
Luigi Ambrosio, Carlo Mantegazzae altri
editore: Scuola Normale Superiore
pagine: 356
Questo testo presenta gli argomenti che vengono trattati nel "corso interno" di matematica della Scuola Normale Superiore, riv
Corso di logica. Introduzione elementare al calcolo dei predicati
Dario Palladino
editore: Carocci
pagine: 428
Lo studio della logica a livello universitario è sempre più diffuso, ma viene spesso affidato a testi di difficile lettura e d
È grande questo numero? Per capire quando un numero ci deve spaventare o entusiasmare
Andrew C. A. Elliott
editore: Cortina Raffaello
pagine: 432
"Le antenne di Sky puntano a un satellite a 35
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
