Libri UniversitariApri il catalogo

Marcja – A guide to classical and modern model…

Libro adottato a Udine, a.a. 2026/2027 · 2 canali

«Marcja – A guide to classical and modern model…» è adottato per Logica per L'Informatica dal prof. Alberto Giulio Marcone (Informatica – sede di Udine, Sede di UDINE – Udine); per Istituzioni di Logica Matematica dal prof. Alberto Giulio Marcone (Matematica – sede di Udine, Sede di UDINE – Udine).

Marcja – A guide to classical and modern model…Cerca su Amazon ›

Come lo indica il docente: A. Marcja, C. Toffalori, A guide to classical and modern model theory, Kluwer

Chi lo adotta

Programma e testi di ogni canale

Logica per L'Informatica – Prof. Alberto Giulio Marcone Canale unico

Corso di laurea: Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 6 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo · Informatica – sede di Udine, Sede di UDINE · 1º anno ›

Marcja – A guide to classical and modern model…questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Soare – Recursively enumerable sets and degreesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
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.

Istituzioni di Logica Matematica – Prof. Alberto Giulio Marcone Canale unico

Corso di laurea: Matematica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-40) · esame facoltativo · 6 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo · Matematica – sede di Udine, Sede di UDINE · 2º anno ›

Marcja – A guide to classical and modern model…questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Soare – Recursively enumerable sets and degreesCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
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.

Si studia insieme a