Prof. Monica Nesi

Università degli Studi dell'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Monica Nesi

Barbuti – Elementi di Sintassi dei Linguaggi di Programmazione – Fondamenti di Programmazione con Laboratorio (Informatica – sede di L'Aquila, 1º anno · 1º semestre · 12 CFU)
Barbuti – Semantica Operazionale – Fondamenti di Programmazione con Laboratorio (Informatica – sede di L'Aquila, 1º anno · 1º semestre · 12 CFU)
M. Autili – Fondamenti di Programmazione con Laboratorio (Informatica – sede di L'Aquila, 1º anno · 1º semestre · 12 CFU)
Bertacca – Programmare in Java – Fondamenti di Programmazione con Laboratorio (Informatica – sede di L'Aquila, 1º anno · 1º semestre · 12 CFU)
Cay Horstmann – Concetti di informatica e fondamenti di JAVA – Fondamenti di Programmazione con Laboratorio (Informatica – sede di L'Aquila, 1º anno · 1º semestre · 12 CFU)
Nesi – Sistemi di riduzione astratti – Formal Methods (Informatica – sede di L'Aquila, esame facoltativo · 6 CFU)
Inverardi – Sistemi di Riscrittura per Termini del Prim'Ordine – Formal Methods (Informatica – sede di L'Aquila, esame facoltativo · 6 CFU)

Materie del prof. Monica Nesi

Fondamenti di Programmazione con Laboratorio – con Prof. Antinisca Di Marco Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea triennale (L-31) · 1º anno · 1º semestre · 12 CFU

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

Il docente indica 5 testi · da studiare tutti

Barbuti – Elementi di Sintassi dei Linguaggi di Programmazione Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: Cioè da pagina 19; Cioè fino a pagina 40Verificato sulla scheda ufficiale il 03/10/2026

Barbuti – Semantica Operazionale Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: Cioè fino a pagina 48Verificato sulla scheda ufficiale il 03/10/2026

M. Autili Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: P. Inverardi, Semantica Operazionale di +/- Java - 03 Dicembre 2010. http://informatica.di.univaq.it/getres.php?resid=1053 Questa versione (3 dicembre 2010) rivisita la versione del 10 gennaio 2010. Questa versione deve essere considerata come la versione ufficiale da adottare e tutti i suoi contenuti fanno parte del programma del corsoVerificato sulla scheda ufficiale il 03/10/2026

Bertacca – Programmare in Java Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Cay Horstmann – Concetti di informatica e fondamenti di JAVA Cerca 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

Argomenti del programma: ------------------------------------------------------------ Modulo: F0053 - FONDAMENTI DI PROGRAMMAZIONE ------------------------------------------------------------ - Sintassi dei Linguaggi di Programmazione: Grammatiche Libere dal Contesto, Alberi di Derivazione, Ambiguità. - Semantica dei Linguaggi di Programmazione: Sistemi di Transizione. Rappresentazione e semantica dei numeri.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Formal Methods 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 ›

Il docente indica 2 testi · da studiare tutti

Nesi – Sistemi di riduzione astratti Cerca 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'Ordine Cerca 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.

Domande frequenti

Quali libri consiglia il prof. Monica Nesi per Fondamenti di Programmazione con Laboratorio?

Barbuti – Elementi di Sintassi dei Linguaggi di Programmazione; Barbuti – Semantica Operazionale; M. Autili; Bertacca – Programmare in Java; Cay Horstmann – Concetti di informatica e fondamenti di JAVA

Quali libri consiglia il prof. Monica Nesi per Formal Methods?

Nesi – Sistemi di riduzione astratti; Inverardi – Sistemi di Riscrittura per Termini del Prim'Ordine