2013
2013
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Computability
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | ICT Innovation |
|---|---|---|---|
| CFU | 6 | Università | TRENTO |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/01 |
| Commento | Introduce students to computability theory | ||
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
- MAT - Crediti di MATEMATICA
-
MAT/01 - Logica Matematica
Problem classes: decidable, undecidable, semi-decidable; Church's Thesis -
MAT/01 - Logica Matematica
Logical characterization of recursive functions: primitive and general recursion. -
MAT/01 - Logica Matematica
m-reductions -
MAT/01 - Logica Matematica
Enumeration of programs, Universal programs -
MAT/01 - Logica Matematica
Classical results: padding lemma, s-m-n theorem, Kleene's normal form, fixed point theorem, Rice's theorem, Rice-Shapiro theorem -
MAT/01 - Logica Matematica
Programming languages and their computational power: Lambda calculus, "for" and "while" languages.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
