Cerca nel Forum
Mostra risultati per tag 'assiomatica'.
Trovato 3 risultati
-
Vito Michele Abrusci, Lorenzo Tortora de Falco - Logica. Incompletezza, teoria assiomatica degli insiemi. Vol.2 (2018) PDF L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva. Download Links https://filecrypt.cc/Container/9287C1FE5E.html https://www.keeplinks.org/p45/5f4784ff47031
-
Gabriele Lolli - Teoria assiomatica degli insiemi. insiemi costruibili e modelli booleani (1974) PDF Con questo volume di Lolli dedicato alla teoria assiomatica degli insiemi, la collana di logica dell'editore Boringhieri giunge al suo sesto titolo ; e a giudicare dalla lusinghiera accoglienza riservatale, si può ritenere che essa sia venuta incontro a una esigenza seriamente avvertita nel contesto culturale italiano . La collana venne concepita, sin dall'inizio, come articolantesi su due livelli . Un primo livello manualistico , destinato a presentare dei volumi introduttivi alle varie branche della logica moderna, con l'intento di offrirne una panoramica completa. Obiettivo questo che riteniamo possa essere raggiunto in breve tempo, con alcuni altri adeguati volumi che si affianchino a quelli del Mendelson, del Monk, dell'Hatcher, del Robinson e a quello dell'H ermes di prossi ma pubblicazione. A un secondo livello invece dovevano porsi volumi pi ù avanzati , che affrontassero temi e problemi particola ri con un grado di pprofondimento che preludesse alla vera e propria ricerca fi no a confondersi sostanzialmente con essa. Download Links https://filecrypt.cc/Container/BB8CE9C7DD.html https://www.keeplinks.co/p45/5d1c42cb7c9f8
-
Vito M. Abrusci, Lorenzo Tortora De Falco - Logica. Incompletezza, teoria assiomatica degli insiemi. Vol.2 (2018) True PDF L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva. Download Links https://filecrypt.cc/Container/7BC47867A9.html https://www.keeplinks.co/p45/5c20c41a2c0d6