Corso di Laurea in Informatica. Regolamento didattico

Transcript

1 Corso di Laurea in Informatica E3101Q 1212 Regolamento didattico Insegnamenti III anno ( ) 15)

2 E3101Q 12 regolamento didattico anno attività erogate nell a.a Attività obbligatorie Tipologia Attività Formativa (TAF) CFU semestre E3101Q100 Analisi Matematica A base matematica 1 8 E3101Q104 Architettura degli elaboratori E3101Q102 Fondamenti dell'informatica A base informatica A base informatica E3101Q105 Programmazione 1 B caratterizzante 8 1 E3101Q107 Algoritmi e strutture dati B caratterizzante 8 2 E3101Q101 Complementi di Matematica A base matematica 8 2 E3101Q106 Programmazione 2 B caratterizzante 8 2 una lingua a scelta tra: Francese, inglese, spagnolo, tedesco Tipologia Attività Formativa (TAF) E per la conoscenza di almeno una lingua straniera 8 8 CFU entro il 1 anno, altrimenti NO esami 2 anno!

3 E3101Q 11 regolamento didattico anno attività erogate nell a.a Attività obbligatorie Tipologia Attività Formativa (TAF) CFU semestre E3101Q109 Analisi e progettazione del software B caratterizzante 8 2 E3101Q103 Basi di dati A base informatica 8 2 E3101Q108 Linguaggi di programmazione B caratterizzante 8 1 E3101Q111 Linguaggi e computabilità B caratterizzante 8 1 E3101Q127 Probabilità e statistica per l'informatica C affine/integrativa 8 E3101Q110 Reti e sistemi operativi B caratterizzante 8 E3101Q112 Sistemi distribuiti B caratterizzante 8 una attività a scelta tra: Tipologia Attività Formativa (TAF) E3101Q130 Fisica C affine/integrativa 8 1 E3101Q129 Metodi algebrici per l'informatica C affine/integrativa 8 1

4 E3101Q regolamento didattico anno attività erogate nell a.a Tipologia Attività Formativa Attività obbligatorie (TAF) CFU semestre E3101Q113 Analisi e progetto di algoritmi B caratterizzante 8 1 E3101Q128 Ricerca operativa e pianificazione delle risorse C affine/integrativa 8 1 E3101Q057 Stage F tirocini formativi 13 E3101Q140 Prova finale E per la prova finale 4 Tipologia Attività Formativa ipotesi una attività a scelta tra: (TAF) semestre E3101Q117 Business Intelligence per i servizi finanziari B caratterizzante 8 2 E3101Q115 Complementi di Basi di dati B caratterizzante 8 1 E3101Q118 Elaborazione delle immagini B caratterizzante 8 1 E3101Q116 Elementi di Bioinformatica B caratterizzante 8 2 E3101Q119 Ingegneria del software B caratterizzante 8 1 E3101Q120 Interazione uomo macchina B caratterizzante 8 2 E3101Q121 Metodi Formali B caratterizzante 8 1 E3101Q122 Programmazione e amministrazione di sistema B caratterizzante 8 1 E3101Q114 Robotica e Automazione B caratterizzante 8 2 E3101Q123 Sicurezza ed affidabilità B caratterizzante 8 2 E3101Q124 Sistemi embedded B caratterizzante 8 2 E3101Q125 Tecnologie per la cooperazione B caratterizzante 8 2 E3101Q126 Trattamento e codifica di dati multimediali B caratterizzante 8 2 a seconda dello schema di piano scelto (pre approvato o da approvare), 16 cfu, TAF a scelta libera dello studente, tra: le attività offerte dal corso di Laurea in Informatica e non scelte precedentemente. In questo caso l'approvazione del piano degli studi è AUTOMATICA. Schema di piano pre approvato le attività formative offerte nei vari corsi di laurea dell'ateneo, incluso il corso di Laurea in Informatica. In questo caso l'approvazione del piano degli studi è soggetta a valutazione e approvazione Schema di piano da approvare

5 E3101Q 12 regolamento didattico Presentazione piano degli studi Gli studenti possono presentare il piano degli studi dal Vengono proposti due schemi di piano: 11 marzo al 22 marzo lo schema PREAPPROVATO permette di inserire come esami a libera scelta solo le attività proposte dal corso di laurea di Informatica; effettuando tale scelta il piano viene approvato automaticamente, senza bisogno di essere esaminato, alla scadenza del termine previsto per la presentazione; 2. lo schema DA APPROVARE, in cui è possibile inserire come esami a libera scelta le attività proposte dal proprio corso di laurea e da tutti i corsi di laurea dell Ateneo. Questo piano di studi, che risulta PROPOSTOal momento della conferma, deve essere APPROVATO dalla Commissione piani di studio. La Commissione pubblicherà on line, sul sito gli elenchi dei piani approvati. Solo dopo tale approvazione il piano viene inserito nella carriera dello studente.

6 E3101Q117 Business Intelligence per i Servizi Finanziari(1) Area di interesse Analisi dei dati finanziari aziendali e dei mercati Supporto decisionale real time per il trading on line Analisi efficienza aziendale Risk management Obiettivi formativi fornire le conoscenze osce e relative e alle eproblematiche etipiche edei sistemi ste di business intelligence nel dominio finance fornire le competenze necessarie per la valutazione e l uso di prodotti disponibili (commerciali e open source), nonché per la progettazione e sviluppo di applicativi i specifici i Sbocchi professionali Banche e Assicurazioni Società di servizi finanziari/società di sviluppo software Piccole/medie imprese: supporto alla funzione finanza Grandi imprese: analista corporate

7 E3101Q117 Business Intelligence per i Servizi Finanziari (2) Contenuti Concetti base di gestione aziendale e mercati finanziari Metodi per l analisi dei dati Scouting e valutazione comparativa di piattaforme e sistemi iesistenti ti di Business Intelligence commerciali e open source Realizzazione di dashboards e reporting dinamico Funzionalità di supporto decisionale proattivo (in particolare Customer Relationship Management e Social Networks) Studi di caso Mtdidid Metodi didattici: i Lezioni ie laboratorio (sviluppo di semplici i applicazioni) i i) Prerequisiti: concetti base di statistica e sviluppo software Modalità di verifica: Analisi, sviluppo e discussione di progetti Docente responsabile: Francesco Archetti

8 E3101Q115 Complementi di Basi di dati (1) Area di interesse Sistemi informativi centralizzati, modelli di rappresentazione delle informazioni avanzate, Semantic Web, linked open data Esempi: sviluppo dbms, utilizzo tecnologie semantiche per applicazioni Web 2.0 avanzata, sistemi informativi relazionali, l xml Obiettivi formativi fornire le conoscenze relative ai componenti funzionali deidatabasedatabase relazionali, transazioni per fornire le competenze necessarie per 1) utilizzare XML/RDF come modello di rappresentazione delle informazioni, 2) svolgere le principali attivita di amministratore di un DBMS relazionale Sbocchi professionali Aziende medie e grandi che usano sistemi informativi Start up innovative Sviluppo applicazioniweb Database administator

9 E3101Q115 Complementi di Basi di dati (2) Contenuti struttura interna di un DBMS centralizzato, il concetto di transazione e le sue proprietà. Principali problematiche di sicurezza nelle basi di dati centralizzate, Architetture dei principali DBMS disponibili XML e linguaggi di interrogazioni Xquery/Xpath RDF e suoi linguaggi di interrogazioni Metodi didattici: Lezioni, esercitazioni e laboratorio (su sistemi reali) Prerequisiti: basi di dati Modalità di verifica: esame scritto o un progetto Docente responsabile: Andrea Maurino

10 E3101Q118 Elaborazione delle immagini (1) Areadi interesse Sistemi di visione, dispositivi consumers, archivi multimediali, medicina, biologia, sicurezza, controllo traffico, telerilevamento, controllo qualità, robotica, automazione, automotive, domotica, comunicazione uomomacchina, entertainment, beni culturali, Obiettivi formativi Il corso ha l'obiettivo di fornire agli studenti le competenze teoriche e pratiche per l elaborazione, la segmentazione, l analisi e la classificazione di immagini e videodigitalidaapplicareindiversicontesti digitali da applicare in diversi contesti applicativi. Sbocchi professionali p Piccole/medie/grandi imprese (italiane ed estere)

11 E3101Q118 Elaborazione delle immagini (2) Contenuti Cenni sulla percezione visiva, la visione umana e artificiale, il colore. Acquisizione e digitalizzazione di immagini. Miglioramento delle immagini con operatori puntuali. Filtraggio spaziale lineare e non lineare. Spazi colore. Elaborazione di immagini a colori. Segmentazione di immagini per regioni e per contorni. Morfologia matematica. Analisi tessiturale. Descrizione e rappresentazione di immagini (regioni, contorni, approssimazione poligonale). Riconoscimento, classificazione supervisionata e non supervisionata. Metodi didattici: Lezioni ed esercitazioni/laboratorio Prerequisiti: concetti di base di analisi e programmazione. Modalità di verifica: esame scritto e progetto. Docente responsabile: Raimondo Schettini (

12 E3101Q116 Elementi di Bioinformatica (1) Areadi interesse 1. Problemi biologici 2. Soluzione informatica Obiettivi formativi Modellare problemi in termini computazionali astrazione Risolvere problemi algoritmi programmazione Sbocchi professionali Aziende Sanitarie Locali Istituti di ricerca CRO (Contract research organizations) Gestione di dati biologici complessi

13 E3101Q116 Elementi di Bioinformatica (2) Contenuti Introduzione alla biologia computazionale. Tecnologie di sequenziamento. Banche dati biologiche e browser genomici. Allineamento di sequenze. Ricerca in banca dati. Splicing alternativo. Calcolo di aplotipi in pedigree. FoldingRNA Metodi didattici: lezioni, esercitazioni, laboratorio Prerequisiti: algoritmi e strutturedati, programmazione, basi di dati Modalità di verifica: progetto da concordare e successivamente discutere con il docente Docente responsabile: Raffaella Rizzi

14 E3101Q119 Ingegneria del Software (1) Area di interesse Sistemi informatici in diversi ambiti applicativi e di varie dimensioni Obiettivi formativi Acquisire conoscenze fondamentali di sviluppo del software Conoscere ed applicare i pattern durante lo sviluppo del software Imparare best practices in Java Conoscere ed utilizzare tecniche e metriche di valutazione della qualità del software Seguire e partecipare allo sviluppo di un progetto software Sbocchi professionali Ai Aziende informatiche Aziende di consulenza IT

15 E3101Q119 Ingegneria del Software (2) Contenuti Metodi e tecniche di ingegneria del software Nozioni relative ai processi dell'ingegneria del software e alla loro gestione Pattern e la loro applicazione nello sviluppo del software Best practices in Java Nozioni fondamentali per la valutazione della qualità del software Esempi di progetti software e le problematiche affrontate Metodi didattici: Lezioni e esercitazioni Prerequisiti: Nozioni base di programmazione (vedi insegnamento "Programmazione 1" e Programmazione 2") e di ingegneria del software (vedi insegnamento "Analisi e progettazione del software") Modalità di verifica: Sviluppo e discussione di un progetto Docente responsabile: Claudia Raibulet

16 E3101Q120 Interazione Uomo Macchina (1) Areadi interesse Sistemi informatici con forte interazione con l utente umano Esempi: applicazioni Web, app per device mobili (smartphone, tablet, ) Obiettivi formativi Fornire una sensibilità alle problematiche della progettazione di sistemi interattivi usabili Permettere agli studenti di acquisire esperienze nella progettazione di tali sistemi attraverso metodi di prototipazione elementari Sbocchi professionali Ogni ambiente in cui si progetti / mantenga software che interagisce con utenti umani

17 E3101Q120 Interazione Uomo Macchina (2) Contenuti Definizione del concetto di usabilità Progettazione iterativa di sistemi usabili Linee guida per la progettazione di sistemi usabili Discussione di esempi di sistemi Metodi di verifica della usabilità Metodi didattici: Lezioni e laboratorio (prototipazione di semplici applicazionicon strumenti elementari carta e Power Point) Prerequisiti: Nessuno Modalità di verifica: Test scritto a risposta aperta e discussione del prototipo ti realizzato Docente responsabile: Roberto Polillo

18 E3101Q121 Metodi formali (1) Areadi interesse Progettazione e analisi di software e hardware, specificazione di protocolli di comunicazione, disegno e verifica di sistemi concorrenti. Specificazione formale di sistemi.logiche temporali per specificare proprietà dei sistemi. Model checking. Obiettivi formativi Saper modellare sistemi concorrenti con linguaggi e notazioni formali. Saper specificare, in un linguaggio logico, proprietà rilevanti di un sistema, e saper verificare, con l aiuto di opportuni strumenti software, se una proprietà è valida in un modello. Sbocchi professionali Telecomunicazioni: progetto e analisi di protocolli. Settore ricerca e sviluppo.

19 E3101Q121 Metodi formali (2) Contenuti Ruolo e limiti dei metodi formali nell informatica. Semantica di programmi e sistemi concorrenti. Strumenti formali per modellare sistemi concorrenti: algebre di processi e reti di Petri. Logiche temporali per specificare requisiti e proprietà. Algoritmi e strumenti software per il disegno e l analisi di sistemi concorrenti, e per il model checking. Metodi didattici: lezioni frontali, esercitazioni in aula e in laboratorio Prerequisiti: Fondamenti dell informatica. Sistemi operativi. Sistemi distribuiti. Modalità di verifica: esame scritto e orale Docente responsabile: Luca Bernardinello

20 E3101Q122 Programmazione e Amministrazione di Sistema (1) Area di interesse Ovunque servano conoscenze di programmazione ad oggetti strutturata per sviluppare applicazioni di sistema e non. Obiettivi formativi Alla fine del corso lo studente avrà acquisito abilità programmative nei linguaggi C++ e C# e sarà in grado di utilizzare i concetti della programmazione a oggetti per progettare, sviluppare programmi complessi. Sbocchi professionali Piccole/medie/grandi /g imprese (italiane ed estere)

21 E3101Q122 Programmazione e Amministrazione di Sistema (2) Contenuti Il corso affronta le problematiche dell amministrazione di sistema dal punto di vista dello sviluppo software attraverso l uso di diversi linguaggi di programmazione ad oggetti e loro librerie. I linguaggi ad oggetti considerati sono: C++.NET / C# Metodi didattici: Lezioni ed esercitazioni Prerequisiti: programmazione base. Modalità di verifica: Scritto e orale (con progetti) Docente responsabile: Gianluigi Ciocca (

22 Corso di laurea in Informatica E3101Q114 Robotica e Automazione(1) Area di interesse robotica industriale e di servizio; automazione ( da informatici ); sensoristica: biomedicale, automotive, avionica, domotica; Obiettivi formativi padroneggiamento di importanti aspetti di robotica e meccatronica; per alcuni aspettisiavrà un livello di competenza pratica. Sbocchi professionali piccole e medie aziende manifatturiere; aziende produttrici di sistemi di produzione automatizzata; aziende operanti nell area sensoristica iti ( da informatico ).

23 E3101Q114 Robotica e Automazione(2) Contenuti: Nozioni i introduttive i di robotica industriale i e mobile. Rappresentazione di rototraslazioni. Cinematica di manipolatori industriali. Rassegna di dispositivi sensoriali. Introduzione ai sistemi it i dinamicii i a tempo continuo. Controllo retroazionato lineare per un motore a corrente continua. Controllo a giunti indipendenti di robot articolati. Interpolazione di traiettoria. Cenni su pianificazione della traiettoria. Metodi didattici: Lezioni e laboratorio. Prerequisiti: Algebra lineare, Fisica, Probabilità e statistica, Geometria. Modalità di verifica: verifiche sulle lezioni, valutazione delle attività di laboratorio, attività ulteriore eventualmente svolta dallo studente. Docente responsabile: Domenico G. Sorrenti

24 E3101Q123 Sicurezza ed affidabilità(1) Area di interesse Problemi e competenze per la Qualità del software 1. Obiettivi e tecniche per la sicurezza informatica 2. Tecniche di test per rilevare e correggere difetti del software Obiettivi formativi Fornire le competenze per 1. analizzare i punti di rischio nei sistemi informatici 2. amministrare gli strumenti di difesa dei sistemi 3. pianificare ifi le attività ità di convalida e verifica del dlsoftware 4. effettuare verifiche di qualità mediante test e ispezione Sbocchi professionali Sbocchi professionali Piccolo/medie/grandi imprese con problemi di sviluppo, integrazione, manutenzione e gestione di applicazioni software

25 E3101Q123 Sicurezza ed affidabilità(2) Contenuti ti Sicurezza dei sistemi informativi: rischi, ruoli e competenze Crittografia, attacchi e difese in applicazioni, sistemi operativi e reti Programmazione sicura Software malizioso: troiani, back door, bombe logiche, virus, worm Il processo di qualità del software, relazione con il processo di sviluppo Il test funzionale, alcune tecniche di generazione di casi di test Il test strutturale e icriteri di copertura elementari Ispezione di codice ed altri artefatti del processo software Mtdidid Metodi didattici: i Lezioni ie esercitazioni i i Prerequisiti: Concetti base di Sistemi Operativi e Ingegneria del Software Modalità di verifica: Sviluppo e discussionedi semplici progetti assegnati in corso d anno, esame scritto Docente responsabile: Giovanni Denaro

26 E3101Q124 Sistemi embedded(1) Areadi interesse Sistemi informatici nascosti dentro altri sistemi Esempi: telecomunicazioni, sensoristica, sicurezza, automazione, strumentazione, energia, biomedicale, automotive, avionica, domotica, entertainment, smartcards, memorie... Obiettivi formativi fornire le conoscenze relative alle problematiche tipiche dei sistemi embedded in diversi domini applicativi fornire le competenze necessarie per progettare e sviluppare il firmware e il software di un semplice sistema embedded Sbocchi professionali Piccolo/medie imprese nelle aree di interesse Aziende produttrici di sistemi di telecomunicazione Aziende produttrici di semiconduttori System integrators nelle aree di interesse

27 E3101Q124 Sistemi embedded(2) Contenuti Caratteristiche e domini applicativi dei sistemi embedded Tempo reale, affidabilità, interfacciamento con le periferiche Tecnologie: microcontrollori, DSP, PLC e FPGA. Analisi, progettazione e scelta delle soluzioni tecnologiche Programmazione di microcontrollori. Interfacciamento con le periferiche. Utilizzo di un kernel real time Metodi didattici: Lezioni e laboratorio (sviluppo di semplici applicazioni) Prerequisiti: concetti base di Architetture, Assembler, C e OS Modalità di verifica: Sil Sviluppo e discussione i di un semplice progetto Docente responsabile: Francesco Tisato

28 E3101Q125 Tecnologie per la Cooperazione (1) Areadi interesse Il lavoro collaborativo, il coordinamento in team di progetto, la comunicazione all interno di comunità di esperti, l intelligenza e conoscenza collettiva in ambito aziendale e extra aziendale. aziendale. Insomma, l informatica per gli utenti, e più di uno! Obiettivi formativi introdurre le principali p tecnologie per la collaborazione (Piattaforme Web 2.0 di successo, Groupware come MS SharePoint, MS SkyDrive, Google Drive, CMS e DMS) fornire gli strumenti concettuali e tecnologici per l analisi e la progettazione di applicazioni a supporto della collaborazione nei e tra gruppi. Sbocchi professionali Business Analyst, (Socio Technical) Requirement Engineer, System Integrator, Community Engineer, Knowledge Management Consultant per società di consulenza ICT, o per medio / grandi imprese che utilizzino le piattaforme di cui sopra per diversi scopi quali community building, knowledge management, comunicazione intraaziendale, dl B2B e B2C.

29 E3101Q125 Tecnologie per la Cooperazione (2) Contenuti principi fondamentali per comprendere il tema della cooperazione nei gruppi e i suoi aspetti interdisciplinari; strumenti per l analisi del dominio di riferimento e la definizione dei requisiti delle relative lti applicazioni i i collaborative in vista it dll della loro progettazione. strumenti per il confronto di tecnologie e selezione della più adatta alla luce dei requisiti; strumenti per l integrazione di sistemi esistenti (moduliinpiattaforme in piattaforme, piattaforme tra loro). Metodi didattici: Lezioni, esercitazioni e seminari, approfondimenti Prerequisiti: (consigliati) Fondamenti, Programmazione 1 e Linguaggidi gg Programmazione. Modalità di verifica: Un orale sui materiali forniti durante il corso con eventuali approfondimenti concordati tra studente e docente. Un progetto applicativo da sviluppare preferibilmente bl in gruppo (circa 4 persone) con valutazione individuale sulla base di una discussione dell elaborato alla sua consegna. Docente responsabile: Carla Simone

30 E3101Q126 Trattamento e codifica di dati multimediali (1) Area di interesse Multimedia, medicina, biologia, sicurezza, controllo traffico, telerilevamento, controllo qualità, robotica, automazione, automotive, domotica, comunicazione uomo macchina, entertainment, Obiettivi formativi Trattamento e codifica efficiente di segnali digitali. Sviluppo di applicazioni che richiedano elaborazione del segnale. Sbocchi professionali Piccole/medie/grandi imprese (italiane ed estere)

31 E3101Q126 Trattamento e codifica di dati multimediali (2) Contenuti: Introduzione ai segnali multimediali, immagini, video ed audio. La struttura del corso prevede una suddivisione in due parti: nella prima si analizzerà il passaggio da segnale analogico a digitale, introducendo in particolare i concetti di campionamento e quantizzazione, e l elaborazione numerica dei segnali attraverso sistemi lineari tempo invarianti. Nella seconda vengono illustrati i principali metodi di compressione con e senza perdita. Il corso si propone di fornire le basi per lelaborazione l elaborazione e la codifica numerica dei segnali multimediali Metodi didattici: Lezioni e laboratorio Prerequisiti: analisi, programmazione base. Modalità di verifica: esame scrittoe progetto in laboratorio. Docente responsabile: Francesca Gasparini (