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

A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010

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/2026

Il 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.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
6
B
MAT/08
6
B
MAT/07
6
B
MAT/03
12
B
MAT/05
6
B
MAT/05
6
C
MAT/06

2° Anno   Attivato nell'A.A. 2017/2018

InsegnamentiCreditiTAFSSD
6
B
MAT/05
32
E
-
Attivato nell'A.A. 2017/2018
InsegnamentiCreditiTAFSSD
6
B
MAT/05
32
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
Tre insegnamenti a scelta
6
C
MAT/03
6
C
MAT/08
6
C
MAT/02
6
C
MAT/02
6
C
MAT/06
6
C
MAT/05
6
C
INF/01
6
C
MAT/09
6
C
MAT/08
6
C
MAT/07
6
C
MAT/08
Tra gli anni: 1°- 2°
Un insegnamento a scelta
6
B
MAT/02
6
B
MAT/02
Tra gli anni: 1°- 2°
12
D
-
Tra gli anni: 1°- 2°
Altre attività formative
4
F
-

Legenda | 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.

A Attività di base
B Attività caratterizzanti
C Attività formative affini o integrative
D Attività a scelta dello studente
E Prova finale
F Altre attività formative
S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Mathematical methods for computer science  (2016/2017)

Codice insegnamento

4S001438

Docente

Ugo Solitro

Coordinatore

Ugo Solitro

Crediti

6

Lingua di erogazione

Inglese en

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

I sem. dal 3 ott 2016 al 31 gen 2017.

MoodleMoodle Seminari 0

Obiettivi formativi

> (bozza finale)

Scopo del corso è lo studio dei fondamenti matematici degli algoritmi, dei linguaggi di programmazione e del ruolo dei paradigmi di programmazione nelle tecniche computazionali per la risoluzione dei problemi.

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 formativo che applicativo.

Programma

(bozza finale)

CONTENUTI

Durante lo svolgimento del corso saranno considerati 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 e tipi.
- Logiche costruttive proposizionali, del I e del II ordine. Sistemi di deduzione naturale.
- Sistemi di Tipo per linguaggi funzionali: tipi semplici, I e II ordine. Inferenza di Tipo.
- Isomorfismo Curry-Howard.
- Paradigmi di programmazione: imperativo, funzionale, funzionale, ad oggetti e (cenni) logico.
- Fondamenti della programmazione orientata agli oggetti.
- Classi e oggetti.
- Linguaggi basati sulle classi e sugli oggetti.
- Tipi e Classi.
- Sotto-classi e sotto-tipi; ereditarietà, polimorfismo, risoluzione statica e dinamica.
- Classi parametriche.
- ...
- Introduzione ad alcuni linguaggi di programmazione paradigmatici
- con approfondimento di almeno un linguaggio di programmazione orientato agli oggetti.
- Sviluppo di progetti di interesse matematico, formativo e/o applicativo.

MODALITÀ DIDATTICHE

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.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Timothy Budd An Introduction to Object-Oriented Programming (Edizione 3) Addison-Wesley 2002 0201760312
Martín Abadi, Luca Cardelli A Theory of Objects Springer Verlag 1996 0387947752

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 di un progetto concordato con il docente.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI