Libri UniversitariInverardi – Sistemi di Riscrittura per Termini del Prim'Ordine
Libro adottato a L'Aquila, a.a. 2026/2027 · 1 canale
«Inverardi – Sistemi di Riscrittura per Termini del Prim'Ordine» è adottato per Formal Methods dal prof. Monica Nesi (Informatica – sede di L'Aquila – L'Aquila).
Come lo indica il docente: P. Inverardi, M. Nesi e M. Venturini Zilli, Sistemi di Riscrittura per Termini del Prim'Ordine. Dipartimento di Matematica Pura e Applicata, Università degli Studi di L'Aquila. 1999. Disponibile in http://people.disim.univaq.it/monica/MFI/NoteSRT.pdf (versione in italiano) e http://people.disim.univaq.it/monica/MFI/notesTRS.pdf (versione ridotta in inglese)
Chi lo adotta
- Formal Methods – Prof. Monica Nesi (canale unico)Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU / 1º anno · 2º semestre · 6 CFU
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
Il docente indica 2 testi · da studiare tutti
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).