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.
Prerequisiti
Nessuno.
Contenuti dell'insegnamento
Il corso si propone di introdurre quelle basi di logica matematica e matematica discreta utili alla formazione di un informatico. In particolare, saranno presentati argomenti riguardanti la teoria degli insiemi, le principali strutture algebriche, il principio di induzione naturale e strutturale, la logica proposizionale e quella predicativa.
Programma esteso
- - -
Bibliografia
Testi consigliati per il modulo di Strutture Discrete:
- A. Facchini, Algebra e Matematica Discreta, Decibel-Zanichelli
- C. Delizia, P. Longobardi, M. Maj, C. Nicotera, Matematica Discreta, McGraw-Hill
- G. M. Piacentini Cattaneo, Matematica Discreta e Applicazioni, Zanichelli
Testi consigliati per il modulo di Logica:
- D. Van Dalen, Logic and Structure, Springer
- A. Asperti, A. Ciabattoni, Logica a Informatica, McGraw-Hill
Appunti redatti a lezione, a cura della docente.
Metodi didattici
Lezioni frontali. Gli appunti redatti durante le lezioni sono caricati settimanalmente sulla piattaforma Elly e vengono considerati parte integrante del materiale didattico
Modalità verifica apprendimento
L'esame consiste di una prova scritta, con domande ed esercizi su tutto il programma del corso, e di una breve discussione orale.
La discussione orale è subordinata al superamento, da parte della studentessa o dello studente, della prova scritta.
Altre informazioni
- - -
Obiettivi agenda 2030 per lo sviluppo sostenibile
- - -
