Riepilogo dell'insegnamento: Fondamenti di informatica
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
-
*
CAL - Calcolabilità
+
AL-BACC - Basic Automata, Computability and Complexity
Il modello delle machine URM
-
*
CAL - Calcolabilità
+
AL-BACC - Basic Automata, Computability and Complexity
Linguaggi calcolabili, URM universale, macchine di Turing
-
*
CAL - Calcolabilità
+
AL-BACC - Basic Automata, Computability and Complexity
Funzioni di misura di tempo e spazio
-
COM - Complessità
+
AL-BACC - Basic Automata, Computability and Complexity
Classi (tempo/spazio) deterministiche e non. P- e NP-completezza
-
*
ALF - Automi e Linguaggi Formali
AL-AATC - Advanced Automata Theory and Computability
Automi a stati finiti e linguaggi regolari
-
*
ALF - Automi e Linguaggi Formali
AL-AATC - Advanced Automata Theory and Computability
Grammatiche Libere e Push down automata, problemi di decisione e automi
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).