Capacità relative alle discipline

1.1  Conoscenza e capacità di comprensione: lo studente acquisisce conoscenze logico-formali fondanti la disciplina “informatica”. In particolare, le nozioni di linguaggio formale e la classificazione degli stessi secondo Chomsky, la nozione di funzione calcolabile e le sue principali caratterizzazioni e limiti, la nozione di complessità di un problema e le principali tecniche per studiarla.

 1.2 Conoscenza e capacità di comprensione applicate: lo studente sarà in grado di comprendere la complessità di un linguaggio formale e dunque quale sia lo strumento software più adatto per generarlo o riconoscerlo, di comprendere se un problema sia o meno risolubile con un calcolatore e, nel primo caso, di comprendere se sia possibile risolverlo efficientemente.

Capacità trasversali/soft skills

2.1 Autonomia di giudizio: lo studente acquisisce una capacità di valutazione critica sulle specifiche di un problema che permettono di comprenderne il suo grado di calcolabilità e, nel caso, sia calcolabile, il suo grado di complessità.

2.2 Abilità comunicative: lo studente impara ad utilizzare la terminologia precisa nell’area dei linguaggi formali (automi, grammatiche), della calcolabilità (problema decidibile, semidecidibile etc) e della complessità (problema polinomiale, classe NP, etc).

2.3 Capacità di apprendimento: lo studente impara a familiarizzare con il metodo scientifico applicato in modo rigoroso alla disciplina informatica. Gran parte dei testi utilizzati sono in lingua inglese e pertanto lo studente migliora la sua capacità di comprendere informazioni ricevute in tale lingua.