2009
2009
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Fondamenti dell'informatica 1
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Percorso base per le lauree specialistiche |
|---|---|---|---|
| CFU | 6 | Università | UDINE |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | |||
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
- *
CAL - Calcolabilita'
Modelli di calcolo: la Macchina di Turing. - *
CAL - Calcolabilita'
Funzioni calcolabili e problemi decidibili. - *
CAL - Calcolabilita'
Enumerazione delle funzioni calcolabili, funzione universale. Tesi di Church. - *
CAL - Calcolabilita'
Esistenza di problemi non decidibili. Problemi semidecidibili. - *
ALF - Automi e Linguaggi Formali
Grammatiche a struttura di frase. Linguaggi regolari, espressioni regolari, automi finiti. - *
ALF - Automi e Linguaggi Formali
Linguaggi liberi dal contesto, alberi di derivazione; automi a pila.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
