|
|
 | Progetti Internazionali |  |
Teoria della calcolabilitā
|
Responsabile locale
|
Andrea Sorbi
|
| Tema del Progetto
|
Teoria della calcolabilitā, con particolare riferimento a riducibilitā positive e loro strutture di gradi, tra cui il reticolo di Medvedev, i gradi di enumerazione e la loro struttura locale e globale. Questo settore di ricerca č stato uno dei filoni principali di ricerca del network europeo Complexity,...
(continua)
|
Generalizzazioni della teoria della calcolabilitā
|
Responsabile locale
|
Andrea Sorbi
|
| Tema del Progetto
|
Generalizzazioni della teoria della calcolabilitā, con particolare riferimento a generalizzazioni ed estensioni della nozione di numerazione, ed alle applicazioni della teoria delle numerazioni all'algebra ricorsiva ed all'informatica. Le ricerche inserite in questo filone costituiscono uno degli obiettivi...
(continua)
|
Applicazioni della teoria della calcolabilitā
|
Responsabile locale
|
Andrea Sorbi
|
| Tema del Progetto
|
Applicazioni della teoria della calcolabilitā, tra cui: inferenza induttiva; algebra ricorsiva.
|
Teoria della complessitā
|
Responsabile locale
|
Andrea Sorbi
|
| Tema del Progetto
|
Teoria della complessitā, con particolare riferimento a: complessitā parametrizzata; algorithmic information theory.
|
|
