INFORMATICA TEORICA
(obiettivi)
Il corso ha come scopo principale quello di determinare che cosa puo’ essere calcolato e che cosa non puo’ esserlo, con quale modello di calcolo e quanto velocemente. A tale scopo, il corso fornira’ principi teorici, rilevanti anche nella pratica, per la progettazione, lo sviluppo e la gestione di sistemi informatici. Verranno presentate le idee fondamentali dell’informatica teorica relative ai linguaggi formali, alla teoria della calcolabilita’ e a quella della complessita’.
|