Logica e teoria degli insiemi
Tutti i libri di Logica e teoria degli insiemi - Pagina 3
L'arte della logica. Lo strumento più potente per pensare, scegliere e agire
Eugenia Cheng
editore: Ponte alle Grazie
pagine: 384
Oggi, in un mondo dominato da meme, fake news, tweet di 140 caratteri, dibattiti televisivi in cui si impone chi grida più for
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
pagine: 320
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
C. Toffaroli
e altri
editore: Edizioni ETS
pagine: 440
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: 336
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
Storie che contano. Problemi immaginari per matematici reali
Rudi Mathematici
editore: Codice
pagine: 200
Meglio i giochi matematici o le intriganti biografie dei grandi geni della storia? Meglio le due cose insieme, ben mescolate!
La matematica come resistenza
Albert Lautman
editore: Castelvecchi
pagine: 93
Albert Lautman traccia in questi tre testi minori, scritti in occasione dei due Congrès de philosophie scientifique (1935 e 19
Calcolo scientifico. Esercizi e problemi risolti con MATLAB e Octave
Alfio Quarteroni
,
Fausto Saleri
e altri
editore: Springer Verlag
Questo testo è concepito per i corsi delle Facoltà di Ingegneria e di Scienze e affronta tutti gli argomenti tipici della mate
Logica a processo. Da Aristotele a Perry Mason
Stefano Leonesi , Carlo Toffalori
editore: Franco Angeli
pagine: 198
Non sempre logica e giustizia vanno di pari passo
Logica e conoscenza scientifica
Jean Piaget
editore: Studium
pagine: 480
Si tratta del più completo lavoro che concerne l'Epistemologia Genetica e che insieme a "Biologie et Connaissance" rappresenta
La cultura dell'incertezza. Fuzzy-logica-realtà-sanità-arte
a cura di
F. Franci
,
V. Pagliaro
G. Ricci
e altri
editore: Eurilink University Press
pagine: 258
Nella misura in cui le leggi della matematica si riferiscono alla realtà non sono certe
Le direzioni della ricerca logica in Italia
a cura di
G. Lolli
,
H. Hosni
C. Toffaroli
e altri
editore: Scuola Normale Superiore
pagine: 314
Caccia allo zero. L'odissea di un matematico per svelare l'origine dei numeri
Amir D. Aczel
editore: Raffaello Cortina Editore
pagine: 236
Le origini dei numeri che usiamo, e dai quali dipende la nostra esistenza, sono state per secoli avvolte dal mistero
Il computer di Kant. Struttura della matematica e della logica moderne
Luigi Borzacchini
editore: edizioni Dedalo
pagine: 592
La verità sulla matematica non si può dire, però si può raccontare
Kurt Gödel, un profilo
Riccardo Bruni
editore: Carocci
pagine: 170
Kurt Gödel è stato certamente il logico più influente del Novecento. I suoi lavori, visti come delle pietre miliari e come tali richiamati ancora oggi nella letteratura specialistica, investono aspetti fondamentali per la ricerca in campo matematico, quali la relazione tra verità e dimostrabilità o questioni relative alla natura e ai limiti della conoscenza matematica. Questo profilo nasce dal tentativo di correggere l'impressione che la grandezza del personaggio possa essere ricondotta a uno dei suoi molteplici contributi in particolare, come ad esempio il teorema di incompletezza per le teorie assiomatiche al quale egli deve gran parte della sua fama. Al contrario, il volume cerca di offrire una panoramica per quanto possibile esaustiva dell'opera logica e matematica di Gödel, così da valutarne meglio la portata.
Second Pisa colloquium in logic, language and epistemology
a cura di E. Moriconi , L. Tesconi
editore: Edizioni ETS
pagine: 368
Logica
Lorenzo Tortora De Falco , Vito Michele Abrusci
editore: Springer Verlag
pagine: 192
Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una sol
La prova di Gödel
Ernest Nagel , James R. Newman
editore: Bollati Boringhieri
pagine: 144
Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei
