Informatica - erogato in modalità prevalentemente a distanza

Obiettivi formativi

Obiettivi generali
Introduzione alla programmazione tramite il linguaggio Python.

Obiettivi specifici
Introduzione alla programmazione tramite il linguaggio Python.
Tipi di dati, variabili, assegnamenti, strutture di controllo, funzioni, classi, moduli e Input/Output.
Strutture dati: vettori, stringhe, liste, tuple e dizionari.
Progettazione e sviluppo di programmi tramite programmazione procedurale e orientata agli oggetti.
Algoritmi ricorsivi ed iterativi.
Librerie di Python per la grafica, per la gestione dei file, per l'elaborazione di testi/html e per l'accesso ad Internet.
Debugging e testing di programmi.

Conoscenza e comprensione
Comprendere e definire i requisiti di un problema.
Decidere come rappresentare le informazioni in input e quali strutture dati usare per le elaborazioni intermedie e per l'output.
Definire l'algoritmo di soluzione.
Codificare l'algoritmo sotto forma di programma Python.
Modularizzare il programma in piccole funzioni/metodi separate.
Verificare tramite tests che il programma segua i requisiti.

Applicazione di conoscenza e comprensione
Lo studente dovrà realizzare dei compiti di programmazione per casa, scansionati durante il corso, per mettere in pratica e dimostrare le conoscenze apprese.
Alla fine del corso la prova d'esame sarà basata su una prova in laboratorio in cui lo studente dovrà risolvere e programmare alcuni esercizi.

Autonomia di giudizio
Lo studente alla fine del corso deve essere in grado di scegliere autonomamente come risolvere un problema di programmazione (analisi, implementazione e test).

Abilità comunicative
Nella fase di analisi del problema e definizione dei requisiti è importante avere una buona capacità di comprensione del linguaggio.

Capacità di apprendimento successivo
Le basi dell'analisi di un problema per comprendere le specifiche e progettare sia le strutture dati necessarie che l'algoritmo più adatto è applicabile ad altri linguaggi di programmazione e potrà aiutare nei successivi corsi di programmazione.

Obiettivi formativi

OBIETTIVI GENERALI:
Il presente insegnamento mira allo sviluppo della competenza comunicativa di livello B1 nella lingua inglese. Le studentesse e gli studenti saranno in grado di comprendere e produrre in modo autonomo messaggi in forma scritta e orale, in contesti d’uso quotidiani, personali, scolastici e culturali. Il corso si propone inoltre di favorire l’autonomia linguistica, promuovendo un atteggiamento positivo nell’apprendimento di una seconda lingua.

OBIETTIVI SPECIFICI:
Il corso affronterà i principali argomenti grammaticali e lessicali per sviluppare le funzioni comunicative di livello B1. Le lezioni partiranno dal consolidamento dei prerequisiti fondamentali, necessari per progredire efficacemente nel raggiungimento del livello. Queste le principali funzioni comunicative che si intendono sviluppare:

- parlare di sé e della vita quotidiana;

- descrivere persone, cose, luoghi ed eventi;

- esprimere preferenze, opinioni, accordo e disaccordo;

- chiedere e dare consigli, permessi e istruzioni;

- narrare eventi passati e raccontare esperienze;

- Fare ipotesi e proporre soluzioni;

- Fare richieste, offerte e inviti.

CONOSCENZE E COMPRENSIONE:
Al termine del corso le studentesse e gli studenti avranno appreso le conoscenze grammaticali, il lessico e le funzioni linguistiche fondamentali, corrispondenti al livello intermedio B1 del Quadro Comune Europeo di Riferimento per le Lingue (QCER).

APPLICARE CONOSCENZA E COMPRENSIONE:
Al termine del corso le studentesse e gli studenti saranno in grado di comprendere i punti essenziali di messaggi chiari in inglese su argomenti familiari appartenenti a vari ambiti (famiglia, scuola, lavoro, tempo libero); saranno in grado di descrivere in modo semplice e corretto esperienze, avvenimenti, desideri, esprimendo opinioni e dando spiegazioni in inglese.

CAPACITÀ DI GIUDIZIO:
Le studentesse e gli studenti saranno in grado di riconoscere autonomamente possibili errori linguistici, valutando la correttezza e l’efficacia dei propri testi orali e scritti. Attraverso processi di metacognizione e di riflessione sulla lingua, svilupperanno maggiore consapevolezza sulle proprie competenze linguistiche e sulle possibili aree di miglioramento.

CAPACITÀ DI COMUNICAZIONE:
Le studentesse e gli studenti saranno in grado di comunicare in modo chiaro e comprendere l'inglese in situazioni quotidiane, interagendo con altre persone con discreta fluidità; saranno inoltre in grado di comprendere e produrre testi su temi di interesse quotidiano, come comunicazioni informali, descrizioni, e narrazioni.

CAPACITÀ DI APPRENDIMENTO:
L'insegnamento sosterrà gli studenti nello sviluppo di strategie di apprendimento autonomo, attraverso l’uso di varie risorse e strumenti. Gli studenti impareranno a organizzare il proprio studio, identificando le proprie esigenze di apprendimento al fine di utilizzare strategie efficaci per migliorare le proprie competenze linguistiche. Acquisiranno inoltre la capacità di riflettere sulla lingua, confrontando strutture dell'inglese con quelle della propria lingua madre.

Obiettivi formativi

Obiettivi formativi
L'insegnamento è indirizzato all'acquisizione delle conoscenze logiche e insiemistiche di base per affrontare lo studio di altri argomenti in matematica ed informatica.

Conoscenza e capacità di comprensione
Alla fine del corso lo studente avrà piena comprensione degli strumenti matematici proposti:
teoria degli insiemi, ragionamento induttivo, logica matematica elementare.

Capacità di applicare conoscenza e comprensione:
Lo studente acquisirà la capacità di portare avanti un rigoroso, anche se elementare, ragionamento matematico, in particolare per quanto riguarda i principi logici fondamentali e l’uso dell'approccio induttivo in tutte le sue forme.

Autonomia di giudizio
Lo studente sarà capace di affrontare criticamente gli argomenti proposti in altri insegnamenti sia teorici che applicati. A questo proposito vengono forniti molti esempi presi da altri insegnamenti.

Abilità comunicative
La partecipazione attiva in classe e l'esercizio della formalizzazione servono a stimolare lo studente nell’acquisire il linguaggio proprio della matematica e a trasmettere le conoscenze e le capacità acquisite in maniera appropriata.

Capacità di apprendimento
Lo studente sarà in grado di approfondire nello studio personale i temi trattati usando quanto appreso come base.

Obiettivi formativi

Obiettivi formativi
Il corso mira a fornire una conoscenza di base delle tecniche del Calcolo e dell’Analisi matematica, introducendo concetti fondamentali quali funzioni, limiti, derivate, integrali, serie numeriche e di potenze, sviluppi in serie di Taylor ed equazioni differenziali ordinarie. Particolare attenzione è rivolta sia agli strumenti teorici sia alle principali applicazioni, come lo studio del grafico di funzioni, i problemi di massimo e minimo e la risoluzione di equazioni differenziali elementari.
Al termine del corso lo studente sarà in grado di calcolare limiti di funzioni e successioni, applicare le regole di derivazione allo studio locale e globale delle funzioni, utilizzare metodi di integrazione (per parti e per sostituzione) per il calcolo di integrali definiti e indefiniti, discutere la convergenza di serie numeriche, serie di potenze e sviluppi di Taylor di funzioni elementari, nonché risolvere equazioni differenziali ordinarie del primo ordine (a variabili separabili e lineari) e del secondo ordine lineari a coefficienti costanti, sia omogenee sia non omogenee.

Conoscenza e capacità di comprensione
Lo studente acquisirà le nozioni e i risultati fondamentali del Calcolo e dell’Analisi matematica, apprendendo le tecniche di base per il calcolo di derivate, integrali e limiti, per lo studio del grafico di funzioni reali di una variabile, per l’analisi della convergenza di successioni e serie e per la risoluzione di semplici equazioni differenziali ordinarie.

Capacità di applicare conoscenza e comprensione
Le lezioni teoriche e le esercitazioni consentiranno allo studente di affrontare e risolvere esercizi applicativi, consolidando progressivamente le competenze acquisite.

Autonomia di giudizio
Lo studente svilupperà la capacità di interpretare e analizzare situazioni concrete descrivibili matematicamente, di utilizzare i grafici come strumenti di analisi e di applicare autonomamente gli strumenti appresi a nuovi problemi incontrati durante gli studi o in ambito lavorativo.

Abilità comunicative
Lo studente sarà in grado di esprimersi correttamente mediante il linguaggio matematico, comprendere testi scientifici di moderata complessità e riassumerne i concetti principali.

Capacità di apprendimento
Le conoscenze acquisite costituiranno la base per approfondimenti successivi, sia individuali sia nell’ambito di corsi più avanzati, favorendo l’autonomia nello studio di ulteriori aspetti dell’Analisi matematica.

Obiettivi formativi

Obiettivi formativi
Il corso mira a fornire una conoscenza di base delle tecniche del Calcolo e dell’Analisi matematica, introducendo concetti fondamentali quali funzioni, limiti, derivate, integrali, serie numeriche e di potenze, sviluppi in serie di Taylor ed equazioni differenziali ordinarie. Particolare attenzione è rivolta sia agli strumenti teorici sia alle principali applicazioni, come lo studio del grafico di funzioni, i problemi di massimo e minimo e la risoluzione di equazioni differenziali elementari.
Al termine del corso lo studente sarà in grado di calcolare limiti di funzioni e successioni, applicare le regole di derivazione allo studio locale e globale delle funzioni, utilizzare metodi di integrazione (per parti e per sostituzione) per il calcolo di integrali definiti e indefiniti, discutere la convergenza di serie numeriche, serie di potenze e sviluppi di Taylor di funzioni elementari, nonché risolvere equazioni differenziali ordinarie del primo ordine (a variabili separabili e lineari) e del secondo ordine lineari a coefficienti costanti, sia omogenee sia non omogenee.

Conoscenza e capacità di comprensione
Lo studente acquisirà le nozioni e i risultati fondamentali del Calcolo e dell’Analisi matematica, apprendendo le tecniche di base per il calcolo di derivate, integrali e limiti, per lo studio del grafico di funzioni reali di una variabile, per l’analisi della convergenza di successioni e serie e per la risoluzione di semplici equazioni differenziali ordinarie.

Capacità di applicare conoscenza e comprensione
Le lezioni teoriche e le esercitazioni consentiranno allo studente di affrontare e risolvere esercizi applicativi, consolidando progressivamente le competenze acquisite.

Autonomia di giudizio
Lo studente svilupperà la capacità di interpretare e analizzare situazioni concrete descrivibili matematicamente, di utilizzare i grafici come strumenti di analisi e di applicare autonomamente gli strumenti appresi a nuovi problemi incontrati durante gli studi o in ambito lavorativo.

Abilità comunicative
Lo studente sarà in grado di esprimersi correttamente mediante il linguaggio matematico, comprendere testi scientifici di moderata complessità e riassumerne i concetti principali.

Capacità di apprendimento
Le conoscenze acquisite costituiranno la base per approfondimenti successivi, sia individuali sia nell’ambito di corsi più avanzati, favorendo l’autonomia nello studio di ulteriori aspetti dell’Analisi matematica.

Obiettivi formativi

Obiettivi formativi
Il corso mira a fornire una conoscenza di base delle tecniche del Calcolo e dell’Analisi matematica, introducendo concetti fondamentali quali funzioni, limiti, derivate, integrali, serie numeriche e di potenze, sviluppi in serie di Taylor ed equazioni differenziali ordinarie. Particolare attenzione è rivolta sia agli strumenti teorici sia alle principali applicazioni, come lo studio del grafico di funzioni, i problemi di massimo e minimo e la risoluzione di equazioni differenziali elementari.
Al termine del corso lo studente sarà in grado di calcolare limiti di funzioni e successioni, applicare le regole di derivazione allo studio locale e globale delle funzioni, utilizzare metodi di integrazione (per parti e per sostituzione) per il calcolo di integrali definiti e indefiniti, discutere la convergenza di serie numeriche, serie di potenze e sviluppi di Taylor di funzioni elementari, nonché risolvere equazioni differenziali ordinarie del primo ordine (a variabili separabili e lineari) e del secondo ordine lineari a coefficienti costanti, sia omogenee sia non omogenee.

Conoscenza e capacità di comprensione
Lo studente acquisirà le nozioni e i risultati fondamentali del Calcolo e dell’Analisi matematica, apprendendo le tecniche di base per il calcolo di derivate, integrali e limiti, per lo studio del grafico di funzioni reali di una variabile, per l’analisi della convergenza di successioni e serie e per la risoluzione di semplici equazioni differenziali ordinarie.

Capacità di applicare conoscenza e comprensione
Le lezioni teoriche e le esercitazioni consentiranno allo studente di affrontare e risolvere esercizi applicativi, consolidando progressivamente le competenze acquisite.

Autonomia di giudizio
Lo studente svilupperà la capacità di interpretare e analizzare situazioni concrete descrivibili matematicamente, di utilizzare i grafici come strumenti di analisi e di applicare autonomamente gli strumenti appresi a nuovi problemi incontrati durante gli studi o in ambito lavorativo.

Abilità comunicative
Lo studente sarà in grado di esprimersi correttamente mediante il linguaggio matematico, comprendere testi scientifici di moderata complessità e riassumerne i concetti principali.

Capacità di apprendimento
Le conoscenze acquisite costituiranno la base per approfondimenti successivi, sia individuali sia nell’ambito di corsi più avanzati, favorendo l’autonomia nello studio di ulteriori aspetti dell’Analisi matematica.

Obiettivi formativi

Obiettivi formativi
Apprendimento dei concetti della programmazione orientata agli oggetti mediante il linguaggio di programmazione Java.
I concetti fondamentali della programmazione orientata agli oggetti: classi e oggetti, incapsulamento, ereditarietà, polimorfismo, binding statico e dinamico, i design pattern. La programmazione funzionale. Gli strumenti e le metodologie di base della progettazione software tramite un linguaggio orientato agli oggetti. Il linguaggio Java.

Conoscenza e capacità di comprensione
Conoscenza dei costrutti dei linguaggi di programmazione orientata agli oggetti, con particolare riferimento al linguaggio Java. Comprensione di un programma Java. Capacità di scrittura di un programma Java di piccole e medie dimensioni.

Capacità di applicare conoscenza e comprensione
Essere in grado di applicare le metodologie di base per affrontare la progettazione di sistemi software di grandezza medio-piccola. Saper usare i principali strumenti di sviluppo per realizzare tali sistemi in Java.

Autonomia di giudizio
Capacità di identificare istruzioni, costrutti o pattern errati o inefficienti così come corretti o efficienti in Java.

Abilità comunicative
Illustrazione del progetto sviluppato.

Capacità di apprendimento:
Capacità di apprendere e applicare nuove tecniche di programmazione a partire da quelle apprese durante il corso.

Obiettivi formativi

Obiettivi formativi: acquisire conoscenze di base su sistemi di equazioni lineari, spazi vettoriali, applicazioni lineari, spazi affini, spazi euclidei.

Conoscenza e capacità di comprensione: al termine del corso lo studente avrà acquisito le nozioni e i risultati di base relativi alla risoluzione di sistemi lineari, al calcolo matriciale, alla teoria degli spazi vettoriali e delle applicazioni lineari tra essi, agli spazi affini, spazi vettoriali euclidei e spazi affini euclidei.

Capacità di applicare conoscenza e comprensione: al termine del corso lo studente sarà in grado di risolvere sistemi di equazioni lineari, di riconoscere problemi matematici rappresentati da applicazioni lineari tra spazi vettoriali e utilizzare questo fatto per la loro risoluzione; sarà in grado di operare con le matrici e di stabilire la risolubilità di un sistema lineare e l'invertibilità di un'applicazione lineare mediante considerazioni sul rango e il calcolo del determinante delle matrici associate; sarà in grado di calcolare gli autovalori di un endomorfismo lineare e determinare la decomposizione in autospazi ad esso associata; saprà risolvere problemi in cui intervengono prodotti euclidei; saprà risolvere problemi su spazi affini, spazi affini euclidei.

Autonomia di giudizio: lo studente avrà le basi per analizzare le relazioni tra gli argomenti trattati e argomenti di Algebra (teoria dei gruppi, dei semigruppi, matematica discreta), funzioni di più variabili reali (analisi matematica).

Abilità comunicative: capacità di esporre i contenuti nella parte orale della verifica e negli eventuali quesiti teorici presenti nella prova scritta.

Capacità di apprendimento: le conoscenze acquisite permetteranno uno studio, individuale o impartito in un corso di LM, relativo ad aspetti più specialistici della teoria degli operatori lineari non più limitati al caso di dimensione finita, di quella delle famiglie di spazi vettoriali (fibrati vettoriali), di quella delle decomposioni in autospazi relativa ad algebre commutative di endomorfismi, e della geometria riemanniana.

Obiettivi formativi

Obiettivi formativi
Il corso mira a fornire una conoscenza di base delle tecniche del Calcolo e dell’Analisi matematica, introducendo concetti fondamentali quali funzioni, limiti, derivate, integrali, serie numeriche e di potenze, sviluppi in serie di Taylor ed equazioni differenziali ordinarie. Particolare attenzione è rivolta sia agli strumenti teorici sia alle principali applicazioni, come lo studio del grafico di funzioni, i problemi di massimo e minimo e la risoluzione di equazioni differenziali elementari.
Al termine del corso lo studente sarà in grado di calcolare limiti di funzioni e successioni, applicare le regole di derivazione allo studio locale e globale delle funzioni, utilizzare metodi di integrazione (per parti e per sostituzione) per il calcolo di integrali definiti e indefiniti, discutere la convergenza di serie numeriche, serie di potenze e sviluppi di Taylor di funzioni elementari, nonché risolvere equazioni differenziali ordinarie del primo ordine (a variabili separabili e lineari) e del secondo ordine lineari a coefficienti costanti, sia omogenee sia non omogenee.

Conoscenza e capacità di comprensione
Lo studente acquisirà le nozioni e i risultati fondamentali del Calcolo e dell’Analisi matematica, apprendendo le tecniche di base per il calcolo di derivate, integrali e limiti, per lo studio del grafico di funzioni reali di una variabile, per l’analisi della convergenza di successioni e serie e per la risoluzione di semplici equazioni differenziali ordinarie.

Capacità di applicare conoscenza e comprensione
Le lezioni teoriche e le esercitazioni consentiranno allo studente di affrontare e risolvere esercizi applicativi, consolidando progressivamente le competenze acquisite.

Autonomia di giudizio
Lo studente svilupperà la capacità di interpretare e analizzare situazioni concrete descrivibili matematicamente, di utilizzare i grafici come strumenti di analisi e di applicare autonomamente gli strumenti appresi a nuovi problemi incontrati durante gli studi o in ambito lavorativo.

Abilità comunicative
Lo studente sarà in grado di esprimersi correttamente mediante il linguaggio matematico, comprendere testi scientifici di moderata complessità e riassumerne i concetti principali.

Capacità di apprendimento
Le conoscenze acquisite costituiranno la base per approfondimenti successivi, sia individuali sia nell’ambito di corsi più avanzati, favorendo l’autonomia nello studio di ulteriori aspetti dell’Analisi matematica.

Obiettivi formativi

Obiettivi formativi
Il corso mira a fornire una conoscenza di base delle tecniche del Calcolo e dell’Analisi matematica, introducendo concetti fondamentali quali funzioni, limiti, derivate, integrali, serie numeriche e di potenze, sviluppi in serie di Taylor ed equazioni differenziali ordinarie. Particolare attenzione è rivolta sia agli strumenti teorici sia alle principali applicazioni, come lo studio del grafico di funzioni, i problemi di massimo e minimo e la risoluzione di equazioni differenziali elementari.
Al termine del corso lo studente sarà in grado di calcolare limiti di funzioni e successioni, applicare le regole di derivazione allo studio locale e globale delle funzioni, utilizzare metodi di integrazione (per parti e per sostituzione) per il calcolo di integrali definiti e indefiniti, discutere la convergenza di serie numeriche, serie di potenze e sviluppi di Taylor di funzioni elementari, nonché risolvere equazioni differenziali ordinarie del primo ordine (a variabili separabili e lineari) e del secondo ordine lineari a coefficienti costanti, sia omogenee sia non omogenee.

Conoscenza e capacità di comprensione
Lo studente acquisirà le nozioni e i risultati fondamentali del Calcolo e dell’Analisi matematica, apprendendo le tecniche di base per il calcolo di derivate, integrali e limiti, per lo studio del grafico di funzioni reali di una variabile, per l’analisi della convergenza di successioni e serie e per la risoluzione di semplici equazioni differenziali ordinarie.

Capacità di applicare conoscenza e comprensione
Le lezioni teoriche e le esercitazioni consentiranno allo studente di affrontare e risolvere esercizi applicativi, consolidando progressivamente le competenze acquisite.

Autonomia di giudizio
Lo studente svilupperà la capacità di interpretare e analizzare situazioni concrete descrivibili matematicamente, di utilizzare i grafici come strumenti di analisi e di applicare autonomamente gli strumenti appresi a nuovi problemi incontrati durante gli studi o in ambito lavorativo.

Abilità comunicative
Lo studente sarà in grado di esprimersi correttamente mediante il linguaggio matematico, comprendere testi scientifici di moderata complessità e riassumerne i concetti principali.

Capacità di apprendimento
Le conoscenze acquisite costituiranno la base per approfondimenti successivi, sia individuali sia nell’ambito di corsi più avanzati, favorendo l’autonomia nello studio di ulteriori aspetti dell’Analisi matematica.

Obiettivi formativi

Obiettivi formativi
Il corso mira a fornire una conoscenza di base delle tecniche del Calcolo e dell’Analisi matematica, introducendo concetti fondamentali quali funzioni, limiti, derivate, integrali, serie numeriche e di potenze, sviluppi in serie di Taylor ed equazioni differenziali ordinarie. Particolare attenzione è rivolta sia agli strumenti teorici sia alle principali applicazioni, come lo studio del grafico di funzioni, i problemi di massimo e minimo e la risoluzione di equazioni differenziali elementari.
Al termine del corso lo studente sarà in grado di calcolare limiti di funzioni e successioni, applicare le regole di derivazione allo studio locale e globale delle funzioni, utilizzare metodi di integrazione (per parti e per sostituzione) per il calcolo di integrali definiti e indefiniti, discutere la convergenza di serie numeriche, serie di potenze e sviluppi di Taylor di funzioni elementari, nonché risolvere equazioni differenziali ordinarie del primo ordine (a variabili separabili e lineari) e del secondo ordine lineari a coefficienti costanti, sia omogenee sia non omogenee.

Conoscenza e capacità di comprensione
Lo studente acquisirà le nozioni e i risultati fondamentali del Calcolo e dell’Analisi matematica, apprendendo le tecniche di base per il calcolo di derivate, integrali e limiti, per lo studio del grafico di funzioni reali di una variabile, per l’analisi della convergenza di successioni e serie e per la risoluzione di semplici equazioni differenziali ordinarie.

Capacità di applicare conoscenza e comprensione
Le lezioni teoriche e le esercitazioni consentiranno allo studente di affrontare e risolvere esercizi applicativi, consolidando progressivamente le competenze acquisite.

Autonomia di giudizio
Lo studente svilupperà la capacità di interpretare e analizzare situazioni concrete descrivibili matematicamente, di utilizzare i grafici come strumenti di analisi e di applicare autonomamente gli strumenti appresi a nuovi problemi incontrati durante gli studi o in ambito lavorativo.

Abilità comunicative
Lo studente sarà in grado di esprimersi correttamente mediante il linguaggio matematico, comprendere testi scientifici di moderata complessità e riassumerne i concetti principali.

Capacità di apprendimento
Le conoscenze acquisite costituiranno la base per approfondimenti successivi, sia individuali sia nell’ambito di corsi più avanzati, favorendo l’autonomia nello studio di ulteriori aspetti dell’Analisi matematica.

Obiettivi formativi

Obiettivi formativi:
Questo corso introduce i metodi di base per la progettazione e l’analisi degli algoritmi. Si studieranno vari algoritmi ben noti che risolvono problemi di base come l’ordinamento o la ricerca, insieme con i più semplici strumenti per analizzarli dal punto di vista dell’efficienza.

Conoscenza e capacità di comprensione:
Al termine del corso, le studentesse e gli studenti conosceranno le metodologie di base per la progettazione e l'analisi di algoritmi iterativi e ricorsivi, le strutture dati elementari, i principali algoritmi di ordinamento e le implementazioni più elementari dei dizionari.

Conoscenza e capacità di comprensione applicate:
Al termine del corso, le studentesse e gli studenti avranno acquisito familiarità con le principali strutture dati di base, in particolare quelle che implementano i dizionari. Sapranno spiegarne gli algoritmi e analizzarne la complessità, evidenziando come le prestazioni dipendano dalla struttura dati utilizzata. Saranno in grado di progettare nuove strutture dati e i relativi algoritmi, rielaborando quelli esistenti; sapranno spiegare i principali algoritmi di ordinamento, illustrando le strategie di progetto sottostanti e le relative analisi di complessità; saranno in grado di confrontare i comportamenti asintotici dei tempi di esecuzione degli algoritmi studiati; saranno in grado di progettare soluzioni ricorsive di problemi e di analizzare asintoticamente gli algoritmi risultanti.

Autonomia di giudizio:
Le studentesse e gli studenti avranno le basi per analizzare la qualità di un algoritmo e delle relative strutture dati, sia dal punto di vista dell'effettiva risoluzione del problema che da quello dell'efficienza computazionale con la quale il problema viene risolto.
Gli esercizi svolti a lezione dalla docente e quelli proposti da fare a casa affineranno queste capacità.

Abilità comunicative:
Le studentesse e gli studenti acquisiranno la capacità di esporre in modo chiaro ed organizzato le proprie conoscenze, capacità che verrà verificata sia mediante i quesiti presentati nelle prove scritte che durante la prova orale. Le studentesse e gli studenti saranno in grado di esprimere un’idea algoritmica in modo rigoroso ad alto livello, in pseudocodice.
La prova orale prevista come parte integrante dell'esame ha l'obiettivo di accrescere queste abilità.

Capacità di apprendere:
Le conoscenze acquisite permetteranno allo studente di affrontare lo studio, individuale o previsto nell’ambito di un corso di laurea magistrale, di tecniche algoritmiche e di strutture dati più avanzate.

Obiettivi formativi

Obiettivi formativi

Il corso fornisce le conoscenze fondamentali relative alla rappresentazione dell’informazione, alla progettazione di circuiti digitali combinatori e sequenziali e ai principali modelli di calcolo a livello logico. In particolare, il corso introduce i sistemi di numerazione, le rappresentazioni numeriche, l’algebra di Boole, la sintesi e l’analisi di reti logiche, nonché i principi di progettazione di sistemi sequenziali e unità funzionali elementari.

Conoscenza e capacità di comprensione

Lo studente acquisirà conoscenze di base e avanzate sui sistemi di rappresentazione dell’informazione, sull’aritmetica binaria e sulle principali codifiche numeriche. Comprenderà i fondamenti dell’algebra di Boole, delle funzioni logiche e delle tecniche di progettazione di circuiti combinatori e sequenziali.

Capacità di applicare conoscenza e comprensione

Lo studente sarà in grado di progettare, analizzare e semplificare circuiti logici combinatori e sequenziali. Saprà applicare tecniche di minimizzazione di funzioni booleane, progettare reti logiche mediante mappe di Karnaugh, realizzare circuiti aritmetici e analizzare automi a stati finiti.

Autonomia di giudizio

Lo studente svilupperà la capacità di valutare differenti soluzioni progettuali per circuiti digitali, scegliendo tra alternative equivalenti in base a criteri di efficienza, complessità, costo hardware e prestazioni.

Abilità comunicative

Lo studente sarà in grado di descrivere in modo chiaro e rigoroso problemi e soluzioni nell’ambito della progettazione digitale, utilizzando correttamente la terminologia tecnica e rappresentazioni formali (tabelle di verità, espressioni booleane, diagrammi di stato e schemi circuitali).

Capacità di apprendimento

Lo studente svilupperà autonomia nello studio dei sistemi digitali e delle tecniche di progettazione logica, acquisendo la capacità di approfondire in modo indipendente argomenti avanzati come architetture digitali e sistemi sequenziali complessi.

Obiettivi formativi

Obiettivi formativi
Il corso si propone di introdurre i sistemi operativi come componente essenziale di ogni sistema di calcolo e come esempio paradigmatico del concetto di astrazione, tema trasversale all'intero percorso di studi in Informatica. L'obiettivo principale è fornire allo studente una visione organica di come il processo di virtualizzazione delle risorse fisiche consenta di gestire la complessità dell'hardware, offrendo un ambiente semplificato per lo sviluppo di software applicativo e garantendo un elevato livello di usabilità per l'utente finale.
Al termine del corso, lo studente dovrà possedere le basi metodologiche per comprendere e analizzare le problematiche relative alla progettazione dei software complessi. Nello specifico, acquisirà competenze su:
- Le funzionalità primarie dei sistemi operativi general purpose (gestione CPU, memoria e I/O).
- I modelli di astrazione per dispositivi mobili (tablet/smartphone).
- L'analisi dei concetti in modo indipendente dallo specifico sistema operativo, con esemplificazioni basate su sistemi reali (UNIX/Linux, Windows, Mac, Android, iOS).

Conoscenza e capacità di comprensione
Comprendere i principi teorici e le architetture dei sistemi operativi moderni. Conoscere i meccanismi di virtualizzazione della CPU e della memoria, la gestione dei processi, le gerarchie di memoria, le problematiche della concorrenza e dell'accesso ai dispositivi di I/O. Acquisire una visione d'insieme sulle peculiarità dei sistemi operativi mobili.

Capacità di applicare conoscenza e comprensione
Saper applicare i concetti di astrazione per analizzare come un software interagisce con le risorse fisiche del sistema. Essere in grado di modellare e risolvere problemi di gestione delle risorse (es. scheduling e traduzione degli indirizzi) in scenari d'uso reali, indipendentemente dallo specifico sistema operativo.

Autonomia di giudizio
Capacità di valutare criticamente i trade-off tra diverse politiche di gestione delle risorse (es. efficienza vs. equità nello scheduling, o velocità vs. frammentazione nella memoria) in contesti tecnologici differenti.

Abilità comunicative
Saper esporre in modo chiaro e con rigore terminologico i concetti fondamentali dei sistemi operativi, sapendo descrivere i diversi livelli di astrazione che mediano il rapporto tra hardware e software.

Capacità di apprendimento
Acquisire un solido bagaglio concettuale che permetta di affrontare in autonomia lo studio di tecnologie emergenti o di sistemi più complessi (come sistemi distribuiti e cloud).

Obiettivi formativi

Obiettivi specifici
Conoscenza e comprensione
Al termine del corso gli studenti conosceranno le metodologie per la progettazione e l’analisi di algoritmi, le strutture dati non banali, i principali algoritmi

Applicare conoscenza e comprensione
Al termine del corso gli studenti avranno acquisito familiarità con le principali strutture dati. Sapranno spiegare gli algoritmi e analizzarne la complessità, evidenziando come le prestazioni dipendano dalla struttura dati utilizzata. Mesi di fronte ad un nuovo problema avranno a disposizione diverse tecniche algoritmiche a cui far riferimento alla ricerca di un algoritmo efficiente per risolverlo

Capacità critiche e di giudizio
Lo studente avrà gli strumenti per analizzare la qualità di un algoritmo e delle relative strutture dati, sia dal punto di vista della effettiva risoluzione del problema che da quello dell’efficienza computazionale con la quale il problema viene risolto

Capacità comunicative
Lo studente acquisirà la capacità di esporre in modo chiaro ed organizzato le proprie conoscenze, capacità che verrà verificata sia mediante i quesiti presentati nelle prove scritte che durante la prova orale. Lo studente sarà in grado di esprimere un’idea algoritmica in modo rigoroso ad alto livello, in pseudocodice

Capacità di apprendimento
Le conoscenze acquisite permetteranno allo studente di affrontare problemi combinatorici utilizzando tecniche algoritmiche e strutture dati più avanzate rispetto a quelle viste nel corso di introduzione agli algoritmi

Obiettivi formativi

Obiettivi formativi:
Esporre gli studenti a solide metodologie di progettazione e realizzazione di basi di dati in terza forma normale, e delle relative applicazioni
Esporre gli studenti a metodologie formali e scalabili per l'individuazione dei vincoli, l'analisi concettuale e la traduzione nel modello logico relazionale che portino alla progettazione e realizzazione di di basi di dati in forma normale e a tecnologie standard per la loro interrogazione e per inserire le interrogazioni in applicazioni software.

Conoscenze e capacità di comprensione:
Gli studenti acquisiranno conoscenze metodologiche fondamentali per la progettazione di basi di dati non banali (in particolare per le fasi di: a) raccolta dei requisiti; b) analisi concettuale dei dati e delle funzionalità; c) progettazione della base dati e delle funzionalità; d) verifica della normalità ed eventuale correzione delle anomalie) e per la loro realizzazione (utilizzo di DBMS e di linguaggi standard di definizione, interrogazione e manipolazione dei dati).

Capacità di applicare conoscenza e comprensione:
Gli studenti saranno in grado di applicare in modo efficace le conoscenze indicate al punto precedente in progetti reali di applicazioni per basi di dati non banali.

Autonomia di giudizio:
Gli studenti saranno in grado di prendere autonomamente decisioni razionali in tutte le fasi del processo di progettazione di basi di dati e relative applicazioni, e di valutare la correttezza di uno schema di relazione rispetto alla terza forma normale.

Abilità comunicative:
Gli studenti saranno in grado di interagire in modo proficuo con i committenti (per quanto concerne la raccolta dei requisiti) e con altri analisi e progettisti (per quanto concerne le attività di analisi e progettazione di sistemi software non banali).

Capacità di apprendimento:
Gli studenti saranno in grado di ampliare le loro conoscenze in modo autonomo consultando, secondo necessità, manualistica tecnica nell'ambito della progettazione di applicazioni per basi di dati.

Obiettivi formativi

Fondamenti di Internet

Obiettivi formativi

Il corso ha l’obiettivo di fornire agli studenti le conoscenze fondamentali sul funzionamento di Internet e delle reti di calcolatori, con particolare attenzione allo stack protocollare TCP/IP. Il corso introduce i principali protocolli e meccanismi che permettono la comunicazione tra host, l’instradamento dei pacchetti, il controllo dell’affidabilità e della congestione, la risoluzione dei nomi e l’accesso al mezzo nelle reti locali e wireless. Verranno inoltre presentati protocolli moderni per il trasporto dei dati, tra cui QUIC, evidenziandone il ruolo nell’evoluzione dell’architettura di Internet. Il corso prevede anche attività pratiche finalizzate alla configurazione, osservazione e analisi del comportamento di reti e protocolli.

Conoscenza e capacità di comprensione

Al termine del corso, lo studente avrà acquisito una conoscenza solida dei principi alla base delle reti di calcolatori e dell’architettura di Internet. Sarà in grado di comprendere il ruolo dei diversi livelli dello stack TCP/IP, dai protocolli di livello applicativo fino ai meccanismi di trasporto, rete e accesso al mezzo. Lo studente comprenderà il funzionamento di protocolli fondamentali quali IP, TCP, UDP, DNS e dei principali meccanismi di instradamento, nonché le problematiche relative all’affidabilità, al controllo di congestione, alla frammentazione, all’indirizzamento e alla condivisione del canale. Inoltre, acquisirà conoscenze di base sulle reti wireless e sul protocollo CSMA/CA, oltre a comprendere le motivazioni e le caratteristiche principali di protocolli di trasporto moderni come QUIC.

Capacità di applicare conoscenza e comprensione

Lo studente sarà in grado di analizzare il funzionamento di una rete TCP/IP, identificando il ruolo dei diversi protocolli coinvolti nella comunicazione end-to-end. Saprà interpretare scenari di comunicazione, calcolare grandezze fondamentali quali ritardi, throughput, utilizzo del canale e dimensioni delle finestre di trasmissione, e valutare il comportamento di protocolli di trasporto e di rete in presenza di congestione, perdite o vincoli di banda. Sarà inoltre capace di configurare semplici scenari di rete, osservare lo scambio di pacchetti e interpretare i risultati ottenuti attraverso strumenti di analisi e attività pratiche di laboratorio.

Autonomia di giudizio

Il corso mira a sviluppare la capacità di valutare criticamente il comportamento dei protocolli di rete in diversi contesti applicativi. Lo studente sarà in grado di discutere vantaggi e limiti delle principali soluzioni architetturali adottate in Internet, considerando aspetti quali scalabilità, affidabilità, efficienza, ritardo, sicurezza, mobilità e interoperabilità. Sarà inoltre in grado di confrontare protocolli tradizionali e moderni, come TCP e QUIC, comprendendo le ragioni progettuali alla base della loro evoluzione e valutando l’impatto delle diverse scelte protocollari sulle prestazioni complessive della rete.

Abilità comunicative

Lo studente acquisirà la capacità di descrivere in modo chiaro e rigoroso il funzionamento dei principali protocolli di Internet e dei meccanismi che regolano la comunicazione tra dispositivi. Sarà in grado di utilizzare un linguaggio tecnico appropriato per spiegare concetti quali incapsulamento, indirizzamento, instradamento, controllo di flusso, controllo di congestione, risoluzione dei nomi e accesso al mezzo. Il corso favorisce inoltre la capacità di presentare e discutere risultati derivanti da esercizi, analisi di protocolli e attività pratiche.

Capacità di apprendimento

Al termine del corso, lo studente avrà sviluppato le competenze necessarie per approfondire autonomamente temi avanzati nel campo delle reti di calcolatori e dell’evoluzione di Internet. Sarà in grado di leggere documentazione tecnica, comprendere specifiche protocollari, interpretare risultati sperimentali e aggiornare le proprie conoscenze rispetto allo sviluppo di nuovi protocolli, architetture e tecnologie di rete.

Obiettivi formativi

Obiettivi formativi:

Il corso ha come obiettivi i concetti, la struttura, e i meccanismi dei sistemi operativi e di alcuni linguaggi di programmazione avanzata. Verranno trattate caratteristiche fondamentali, presenti fin dai sistemi più tradizionali, ma anche peculiarità dei sistemi moderni che nascono come conseguenza dell’evoluzione ricorrente della tecnologia. Verranno presentati i due piu’ usati linguaggi per la programmazione di sistema: C e Rust. Infine, verrà trattata l'interfaccia di programmazione fra sviluppatore software e kernel per l’accesso alle risorse del sistema operativo Linux, usando i linguaggi C e Rust.

Conoscenza e capacità di comprensione:

Capire in modo profondo come i sistemi operativi danno supporto all’esecuzione dei programmi degli utenti e gestiscono le periferiche hardware di un computer. Metodi e tecniche fondamentali per la rappresentazione dei processi in memoria e la gestione efficiente di multiprogrammazione (molteplici processi eseguiti contemporaneamente in un sistema con risorse limitate). Conoscenza del funzionamento interno del sistema operativo Linux. Conoscenza del funzionamento della shell Bash. Fondamenti dei linguaggi C e Rust. Conoscenza delle principali system call di Linux.

Capacità di applicare conoscenza e comprensione:

Progettare programmi a livello utente e di sistema in modo efficiente e sicuro. Saper creare script in Bash in grado di risolvere problemi pratici. Saper scrivere programmi in C e Rust che sfruttano le system call di Linux per ottimizzare l'uso delle risorse.

Autonomia di giudizio:

Essere in grado di predire l’uso delle risorse richieste da un programma, di scoprire una possibile situazione di stallo in un sistema multiprogrammato, garantire la mutua esclusione tra processi e l’accesso protetto a zone di memoria o risorse sensibili. Saper valutare la soluzione più appropriata per ottenere un determinato risultato, usando o singoli comandi shell, o uno script Bash, o un programma C o Rust basato su system call di Linux.

Abilità comunicative:

Saper comunicare in modo chiaro e preciso le caratteristiche dei sistemi operativi e i loro meccanismi di supporto software/hardware. Essere in grado di comunicare e documentare script Bash e programmi C e Rust basati su system call di Linux.

Capacità di apprendimento:

Saper sfruttare la conoscenza acquisita nella progettazione di sistemi e di programmi utente. Essere in grado di usare questa conoscenza nell’apprendimento di proprietà di sistemi più complessi come quelli distribuiti e cloud. Essere in grado di usare i concetti appresi in corsi avanzati da sistemista aziendale, o in un eventuale corso avanzato che richieda interazione con Linux, come ad es. programmazione di sistema, cloud computing, sistemi distribuiti, e cibersicurezza.

Obiettivi formativi

Obiettivi generali:
Durante il corso saranno introdotti i più importanti risultati dell’Informatica teorica: a partire dai fondamentali risultati in teoria della calcolabilità degli anni trenta, passando per quelli in teoria degli automi degli anni cinquanta per arrivare al problema aperto P contenuto o uguale a NP, esplicitamente sollevato negli anni settanta.

Obiettivi specifici:
Gli studenti capiranno che ci sono diversi modelli di computazione e cosa ne determina il potere computazionale.
Gli studenti apprenderanno concetti astratti come classi di linguaggi, macchine universali, riducibilità e sapranno che alcuni problemi non possono essere risolti con un calcolatore e che altri sono computazionalmente difficili da risolvere o addirittura così difficili da poter essere considerati non risolvibili. Faremo vedere come alcuni di questi risultati sono utilizzati oggi.

Conoscenza e comprensione:
Al termine del corso gli studenti conosceranno i metodi e risultati di base della della teoria degli automi, della calcolabilità e della complessità e sapranno applicarli per individuare la complessità di problemi in diversi campi. In particolare sapranno:
dimostrare l’equivalenza tra le diverse caratterizzazioni dei linguaggi regolari
dimostrare l’equivalenza tra le diverse caratterizzazioni dei linguaggi context-free
spiegare il concetto di non determinismo
giustificare l'esistenza di problemi privi di soluzioni algoritmiche o intrattabili.

Applicazione di conoscenza e comprensione:
Gli studenti impareranno:
come costruire automi finiti (deterministici e non) da una specifica (formale o informale)
come costruire automi a pila (deterministici e non) da una specifica (formale o informale)
a usare la riducibilità tra problemi per dimostrarne la decidibilità o l'indecidibilità
a usare la riducibilità polinomiale per provare la NP-hardness di un problema

Autonomia di giudizio:
Capire il giusto livello di astrazione utile per risolvere un problema, scegliere il modello computazionale più conveniente in un determinato contesto alicativo

Abilità comunicative:
descrivere un linguaggio formale, a parole o attraverso uno degli strumenti offerti di descrizione finita, descrivere problemi indecidibili, intrattabili o trattabili, spiegare il significato e la rilevanza delle classi P ed NP nonché del problema “P=NP?"

Capacità di apprendimento:
Lo studente sarà in grado di imparare altri modelli computazionali, sia completamente diversi da quelli studiati durante il corso, sia variazioni di questi. Egli sarà capace di capire nuove prove di NP-completezza o più in generale prove di completezza per una qualunque classe di complessità

Obiettivi formativi

Obiettivi generali:
Il corso illustra i fondamenti delle metodologie e degli strumenti per la gestione dei processi software. Particolare attenzione viene dedicata alle metodologie di analisi e progettazione orientate agli oggetti, e alla loro gestione e documentazione mediante UML.

Obiettivi specifici:
Introduzione agli approcci all'ingegneria del software e al ciclo di vita del software, approfondimento sulle attività di specifica, analisi, progetto e test di sistemi software, tecniche per la gestione dei processi, con particolare riferimento alla progettazione della base architetturale, alla gestione della qualità e dei rischi e all'analisi dei costi.

Conoscenze e comprensione:
Alla fine del corso lo studente avrà acquisito conoscenze relative ai principali modelli di ciclo di vita del software, alle metriche per il dimensionamento dello sforzo, alle tecniche di descrizione delle diverse componenti di un progetto software e all'impatto dei requisiti, sia funzionali sia non funzionali sulla definizione dell'architettura . Saranno state acquisite conoscenze relative all'uso di diversi componenti del linguaggio UML.

Applicare conoscenza e comprensione:
Alla fine del corso lo studente sarà in grado di lavorare in team alle attività di analisi, progettazione, documentazione e gestione di progetti software di medie dimensioni. Avrà imparato a produrre documentazione basata su UML, relativamente ai principali tipi di diagrammi: dei casi d'uso, delle classi, di interazione, di stato e di attività, anche attraverso l'utilizzo di ambienti software professionali orientati allo sviluppo sistematico di progetti software. Infine sarà in grado di produrre una valutazione dello sforzo basata su Punti Funzione e Punti Use Case.

Capacità di giudizio:
Gli studenti svilupperanno le capacità di analisi necessarie per valutare diverse alternative durante il processo di sviluppo software, con particolare riferimento alla valutazione delle scelte architetturali e dei rischi di progetto.

Capacità di comunicazione:
Gli studenti impareranno a documentare le loro scelte, anche attraverso l'uso di strumenti di generazione della documentazione, in particolare sfruttando notazioni diagrammatiche.

Capacità di apprendimento successivo:
La conoscenza degli aspetti di rigore formale alla base della disciplina dell'ingegneria del software permetterà agli studenti di acquisire rapidamente confidenza con tecniche, oltre a quelle considerate nel corso, basate su principi generali.

Obiettivi formativi

Come previsto dal Regolamento Didattico di Ateneo, agli studenti e alle studentesse è garantita la libertà di scelta tra tutti gli insegnamenti attivati nell'Ateneo, purché coerenti con il progetto formativo. Tutti gli insegnamenti relativi alle discipline di base e caratterizzanti sono normalmente coerenti con il progetto formativo della laurea in Informatica.

Obiettivi formativi

Come previsto dal Regolamento Didattico di Ateneo, agli studenti e alle studentesse è garantita la libertà di scelta tra tutti gli insegnamenti attivati nell'Ateneo, purché coerenti con il progetto formativo. Tutti gli insegnamenti relativi alle discipline di base e caratterizzanti sono normalmente coerenti con il progetto formativo della laurea in Informatica.

Obiettivi formativi

Il tirocinio formativo è svolto sotto la guida di un responsabile e può essere esterno (svolto presso aziende o enti esterni) o interno (svolto nell'ambito del corso di laurea).
In entrambi i casi il tirocinio ha una durata di circa tre mesi e prevede che allo studente sia proposto un problema del mondo reale, da risolvere attraverso l'elaborazione di un progetto sviluppato con un approccio professionale.

Obiettivi formativi

La prova finale consiste nella presentazione e discussione del lavoro svolto durante il tirocinio davanti a una commissione. La laureanda o il laureando espone i risultati dell’esperienza maturata, illustrando il progetto realizzato e le attività svolte.

La commissione valuta la qualità del lavoro svolto, la capacità di sintesi e di presentazione, nonché la consapevolezza maturata rispetto al percorso formativo. Sulla base della presentazione e della discussione viene attribuito un punteggio che concorre alla determinazione del voto finale di laurea.

La prova finale rappresenta il momento conclusivo del percorso di laurea triennale e sancisce il conseguimento del titolo. Si svolge nella sessione di laurea e nella specifica seduta prevista dal corso di studio.