AUTOMI CALCOLABILITA' E COMPLESSITA'
Codice
1041727
Lingua
ITA
Corso di laurea
Informatica - erogato in modalità prevalentemente a distanza
Programmazione per l'A.A.
2020/2021
Anno
Terzo anno
Unità temporale
Primo semestre
Tipo di attestato
Attestato di profitto
Crediti
6
Settore scientifico disciplinare
INF/01
Ore Aula
36
Ore Studio
-
Attività formativa
Attività formative caratterizzanti
Canale Unico
Docente
GALESI NICOLA
(
programma
)
Linguaggi Regolari Linguaggi Context-Free Tesi di Turing-Church Decidibilità Riducibilità Complessità Tempo Complessità Spazio
Introduzione alla Teoria della COmputazione M. Sipser Mc Graw Hill
Date di inizio e termine delle attività didattiche
-- - --
Date degli appelli
Date degli appelli d'esame
Modalità di erogazione
Tradizionale
A distanza
Modalità di frequenza
Non obbligatoria
Metodi di valutazione
Prova scritta
Obiettivi formativi