Libri UniversitariApri il catalogo

Istituzioni di Logica Matematica – prof. Alberto Giulio Marcone

Matematica – sede di Udine, Sede di UDINE · Università degli Studi di Udine · esame facoltativo · 6 CFU · canale unico

Libri del canale

Istituzioni di Logica Matematica 6 CFU

AMProf. Alberto Giulio Marcone Canale unico
Marcja – A guide to classical and modern model…Verificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Soare – Recursively enumerable sets and degreesVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Teoria dei Modelli e Teoria della Computabilità. In dettaglio: -Teoremi di Löwenheim-Skolem. Ultraprodotti e loro applicazioni. Il teorema di compattezza e le sue applicazioni. Categoricità. Insiemi definibili e teorie o-minimali. Eliminazione dei quantificatori. -Insiemi computabilmente enumerabili e loro caratterizzazioni. I teoremi di ricorsione, enumerazione e s-m-n. Relativizzazioni. La gerarchia aritmetica.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Matematica – sede di Udine, Sede di UDINE, 2º anno, tutte le materie e i canali ›

Testi d'esame di Istituzioni di Logica Matematica del prof. Alberto Giulio Marcone, canale unico, corso di laurea in Matematica – sede di Udine, Sede di UDINE (Laurea magistrale (LM-40)), Università degli Studi di Udine, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Marcja – A guide to classical and modern model…; Soare – Recursively enumerable sets and degrees.

Altre materie del prof. Marcone

Vedi anche: Prof. Alberto Giulio Marcone · Istituzioni di Logica Matematica a Udine (tutti i canali)