Libri UniversitariApri il catalogo

Nesi – Sistemi di riduzione astratti

Libro adottato a L'Aquila, a.a. 2026/2027 · 1 canale

«Nesi – Sistemi di riduzione astratti» è adottato per Formal Methods dal prof. Monica Nesi (Informatica – sede di L'Aquila – L'Aquila).

Nesi – Sistemi di riduzione astrattiCerca su Amazon ›

Come lo indica il docente: M. Nesi e M. Venturini Zilli, Sistemi di riduzione astratti. Research Report SI-98/06. Facoltà di Scienze MM.FF.NN., Università degli Studi di Roma La Sapienza. 1998. Disponibile in http://people.disim.univaq.it/monica/MFI/NoteARS.pdf (versione in italiano) e http://people.disim.univaq.it/monica/MFI/ars.pdf (versione ridotta in inglese)

Chi lo adotta

Programma e testi di ogni canale

Formal Methods – Prof. Monica Nesi Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU / 1º anno · 2º semestre · 6 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 6 CFU · apri nel catalogo · Informatica – sede di L'Aquila · 2º anno · 2º semestre ›

Nesi – Sistemi di riduzione astrattiquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Inverardi – Sistemi di Riscrittura per Termini del Prim'OrdineCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
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.

Si studia insieme a