Linguaggi formali e automi
A.A. 2018/2019
Obiettivi formativi
Nel corso si espongono in modo concettuale problematiche classiche (analisi e sintesi) relative a Sistemi e Modelli, abituando lo studente all'uso di metodi formali.
Risultati apprendimento attesi
Non definiti
Periodo: Secondo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Edizione unica
Edizione non attiva
INF/01 - INFORMATICA - CFU: 6
Lezioni: 48 ore