Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea magistrale in Mathematics - Immatricolazione dal 2025/2026Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
| Insegnamenti | Crediti | TAF | SSD |
|---|
1 module between the following1 module between the following3 modules among the followingLegenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Mathematical methods for computer science (2021/2022)
Codice insegnamento
4S001438
Docente
Coordinatore
Crediti
6
Lingua di erogazione
Inglese
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
Primo semestre dal 4 ott 2021 al 28 gen 2022.
Obiettivi formativi
Obiettivo del corso è lo studio dei fondamenti degli algoritmi, dei linguaggi di programmazione e dei paradigmi in una prospettiva didattica e applicativa. Si analizzeranno, progetteranno e svilupperanno metodologie per l’insegnamento e l’apprendimento dell’informatica come disciplina scientifica in generale e l’utilizzo dei linguaggi di programmazione. Si esamineranno tecniche di risoluzione costruttiva dei problemi e le metodologie cooperative di sviluppo. A conclusione del corso lo studente avrà acquisito - dimestichezza con i principi fondamentali dei diversi linguaggi; - confidenza con i diversi stili di programmazione; - conoscenza di almeno due linguaggi di programmazione; - capacità di affrontare un qualunque linguaggio di programmazione o ambiente per lo sviluppo di soluzioni; - abilità a utilizzare le conoscenze e le abilità conseguite sia in ambito didattico che applicativo.
Programma
CONTENUTI
Il corso sviluppa alcuni temi fondamentali dell’informatica, lo sviluppo e la codifica delle soluzioni, i linguaggi e i paradigmi, specie in rapporto con la matematica.
Durante lo svolgimento del corso saranno trattati i temi e le attività descritti qui di seguito.
- Sistemi di computazione effettiva e algoritmi: macchine astratte, funzioni computabili e ricorsive, sistemi di riscrittura, modelli funzionali e orientati agli oggetti.
- Logica, tipi e linguaggi.
- Paradigmi di programmazione: imperativo, funzionale, funzionale, ad oggetti e (cenni) logico.
- Fondamenti della programmazione orientata agli oggetti.
- Introduzione ad alcuni linguaggi di programmazione paradigmatici
- Sviluppo di progetti e attività di interesse matematico, formativo e/o applicativo.
MODALITÀ DIDATTICA
L'attività didattica si svolgerà secondo due distinte modalità.
- Presentazione e studio degli argomenti sopra elencati.
- Sviluppo di attività e progetti in relazione con gli argomenti trattati.
Le attività di approfondimento e di progetto (anche pratico) potranno enfatizzare gli aspetti educativi, teorici o applicativi secondo l'orientamento degli studi dei singoli studenti.
Bibliografia
Modalità d'esame
L'esame finale consiste di norma di una prova scritto e un colloquio orale.
La prova scritta comprende domande generali ed esercizi.
Il colloquio orale riguarda l'elaborato scritto, l'attività svolta e gli argomenti del corso.
L'ammissione al colloquio orale è condizionata dal superamento della prova scritta.
La prova scritta può essere parzialmente sostituita da prove parziali o lo sviluppo progetti e attività concordati con il docente.
Il candidato dovrà mostrare di aver conseguito le seguenti conoscenze e abilità.
- Comprendere i principi fondamentali dei linguaggi di programmazione e dei paradigmi, e i fondamenti matematici dei linguaggi di programmazione;
- Essere in grado di utilizzare efficacemente un linguaggio di programmazione, discuterne i principi e i problemi con particolare riferimento ai contenuti del corso;
- Saper utilizzare le conoscenze acquisite nelle applicazioni e/o in un ambito educativo.
