Libri UniversitariApri il catalogo

Logica per L'Informatica – prof. Alberto Giulio Marcone

Informatica – sede di Udine, Sede di UDINE · Università degli Studi di Udine · 1º anno · annuale · 6 CFU · canale unico

Libri del canale

Logica per L'Informatica 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: Informatica – sede di Udine, Sede di UDINE, 1º anno, tutte le materie e i canali ›

Testi d'esame di Logica per L'Informatica del prof. Alberto Giulio Marcone, canale unico, corso di laurea in Informatica – sede di Udine, Sede di UDINE (Laurea magistrale (LM-18)), Università degli Studi di Udine, 1º anno · annuale · 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 · Logica per L'Informatica a Udine (tutti i canali)