Ateneo - UPO

Il corso introduce i principi fondamentali della formalizzazione algoritmica e delle strutture dati alla base dei sistemi digitali.
L’approccio è concettuale e applicato al contesto giuridico, senza ricorso a formalismi matematici avanzati.

Materiale fornito dal docente durante le lezioni e pubblicato su DIR

Il corso mira a fornire:
- Capacità di formalizzare processi decisionali;
- Comprensione delle principali strutture dati;
- Capacità di collegare struttura algoritmica e sistema reale;
- Consapevolezza qualitativa dei problemi di scalabilità.

Competenze acquisite nel corso di Informatica I

- Lezioni frontali con esempi strutturali;
- Esercizi di formalizzazione in Python (uso strumentale);
- Analisi di casi già studiati in Informatica II;
- Attività di modellazione guidata.

Il corso è coordinato con Informatica II ma mantiene autonomia nei contenuti e nelle modalità di verifica.
Le studentesse e gli studenti con disabilità o con Disturbi Specifici dell’Apprendimento (DSA) o con Bisogni Educativi Speciali (BES) possono richiedere servizi e strumenti specifici a loro dedicati rivolgendosi all’ufficio di riferimento consultando la pagina dedicata del sito di Ateneo: https://uniupo.it/it/servizi/servizi-studentesse-e-studenti-condizione-di-disabilità-e-dsa. Le studentesse e gli studenti con disabilità, DSA, BES, una volta preso contatto con lo Staff di Ateneo, possono contattare la/il docente titolare dell'insegnamento in relazione alla declinazione delle modalità di esame, in merito agli aspetti didattici

La verifica si articola in:
1. Prova scritta o pratica, consistente nella formalizzazione di algoritmi e strutture dati.
2. Prova orale, volta a verificare la comprensione concettuale e il collegamento con sistemi reali.

1. Concetto di algoritmo
Sequenza di passi; input/output; correttezza; determinismo.
2. Strutture dati sequenziali
Liste; ricerca; filtraggio; aggregazione.
3. Ordinamento e priorità
Ordinamento concettuale; confronto qualitativo tra procedure; code con priorità.
4. Strutture dati avanzate
Dizionari; hash (concettuale); alberi; grafi.
5. Modellazione di sistemi complessi
Formalizzazione di sistemi decisionali; analisi di sequenze; pattern.

Al termine del corso le studentesse e gli studenti saranno in grado di:
- Formalizzare un processo decisionale in termini algoritmici;
- Comprendere la struttura di database, ranking e sistemi automatizzati;
- Collegare modelli formali a problemi giuridici digitali;
- Valutare qualitativamente l’efficienza di una procedura.