Materia:Informatica teorica
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/76/Crystal_Clear_action_view_bottom.png/44px-Crystal_Clear_action_view_bottom.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e8/Crystal_Clear_app_kedit.svg/44px-Crystal_Clear_app_kedit.svg.png)
Tutti i contributi sono ben accetti perché sono state scritte poche lezioni di questa materia (o nessuna). Se vuoi contribuire è consigliato (ma non obbligatorio) prendere visione della pagina del dipartimento che si occupa dello sviluppo delle lezioni di tuo interesse.
Informatica teorica
Aree di riferimento
Per questa materia non è ancora stata specificata un'area. |
Corsi
|
Dipartimenti
Questa materia è curata dagli utenti del |
![]() Prerequisiti
| |
Le conoscenze indispensabili sono due: una conoscenza di base delle tecniche di dimostrazione dei teoremi e i rudimenti della teoria dei linugaggi |
![]() Programma
| |
Introduzione allo studio dell'informatica teorica Modulo 1 - Modelli computazionali Parte 1 - Modelli operazionali nel caso deterministico
Parte 2 - Modelli operazionali nel caso non deterministico
Parte 3 - Modelli denotazionali Modulo 2 - Teoria della computabilità Modulo 3 - Teoria della complessità |
![]() Risorse
| |
La Biblioteca del Dipartimento di Tecnologie dell'informazione contiene risorse utili per approfondire. |