Obiettivi formativi
L'obiettivo principale del corso è quello di dare alla studentessa e allo studente il linguaggio matematico e gli strumenti teorici tipici della disciplina informatica, con cui poter affrontare in modo proficuo i corsi successivi.
Con riferimento ai Descrittori di Dublino, alla fine del corso la studentessa e lo studente arrivano a:
1. Conoscere e comprendere le nozioni teoriche alla base della logica da un punto di vista informatico; conoscere la notazione e il linguaggio usato in logica e in matematica discreta
2. Utilizzare le conoscenze teoriche per risolvere semplici esercizi di induzione naturale e strutturale su strutture discrete; saper applicare le regole logiche per compiere semplici deduzioni
3. Riconoscere e definire le principali strutture discrete; riconoscere un ragionamento formale corretto
4. Padroneggiare il linguaggio matematico utilizzato nell'informatica (riconoscerlo, comprenderlo, usarlo)
5. Essere in grado di apprendere argomenti avanzati presentati in corsi successivi.