Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti
Autore principale: Shoenfield, Joseph R.
Pubblicazione: Torino : Boringhieri, 1980
Tipo di risorsa: testo, Livello bibliografico: monografia, Lingua: ita, Paese:
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.
L'aritmetica (dal greco ἀριθμός = numero) è la più antica branca della matematica, quella che studia le proprietà elementari delle operazioni aritmetiche sui numeri, specialmente i numeri interi. È praticata quotidianamente da tutti per scopi molto semplici, come contare oggetti, valutare costi, stabilire distanze; viene utilizzata anche per scopi avanzati, ad esempio in complessi calcoli finanziari o nella tecnologia delle comunicazioni (crittografia). I matematici talvolta usano il termine aritmetica per indicare la teoria dei numeri; questa disciplina però tratta problemi più avanzati e specifici rispetto all'aritmetica elementare e non viene presa in considerazione nel presente articolo.
Alcune catalogazioni sono state accorpate perché sembrano descrivere la stessa edizione. Per visualizzare i dettagli di ciascuna, clicca sul numero di record
Record aggiornato il: 2024-09-15T02:48:51.331Z