Libri UniversitariApri il catalogo

Libri di Formal Methods – prof. Monica Nesi

Informatica – sede di L'Aquila · Università degli Studi dell'Aquila · esame facoltativo · 6 CFU · canale unico

Libri del canale

Formal Methods 6 CFU

MNProf. Monica Nesi Canale unico
Nesi – Sistemi di riduzione astrattiIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Inverardi – Sistemi di Riscrittura per Termini del Prim'OrdineIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare
  • L. Théry, Lectures notes. In (In italiano, solo la parte relativa alla Logica) e (versione in inglese).

Argomenti del programma: - Sistemi di riduzione astratti, forma normale, convertibilità, grafi di riduzione. Proprietà di confluenza e Church-Rosser e loro equivalenza (dimostrazione). Locale confluenza, terminazione, canonicità. Principio di induzione noetheriana e lemma di Newman (dimostrazioni). - Termini del prim’ordine, sostituzioni, sostituzioni istanziatrici ed unificatrici, mgu. Algoritmo di unificazione sintattica.

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

Apri nel catalogo: Informatica – sede di L'Aquila, 2º anno, tutte le materie e i canali ›

Testi d'esame di Formal Methods del prof. Monica Nesi, canale unico, corso di laurea in Informatica – sede di L'Aquila (Laurea magistrale (LM-18)), Università degli Studi dell'Aquila, esame facoltativo · 6 CFU, a.a. 2026/2027. Libri adottati: Nesi – Sistemi di riduzione astratti; Inverardi – Sistemi di Riscrittura per Termini del Prim'Ordine.

Altre materie del prof. Nesi

Vedi anche: Prof. Monica Nesi · Formal Methods a L'Aquila (tutti i canali)