Logica per L'Informatica – Udine

Università degli Studi di Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · tutti i canali con docenti e libri, a.a. 2026/2027

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 ›

Il docente indica 2 testi · da studiare tutti

Marcja – A guide to classical and modern model…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Soare – Recursively enumerable sets and degrees Cerca 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.

Logica per L'Informatica negli altri atenei

Logica per L'Informatica – Bologna