VERBALE DELL'ADUNANZA DEI CONSIGLIO DEL CORSO DI … · Risultano assenti giustificati: Alessandro...

Coordinatore Segretario 1

VERBALE DELL'ADUNANZA DEI CONSIGLIO DEL CORSO DI STUDI DELLA LAUREA IN INFORMATICA E DELLA LAUREA MAGISTRALE IN INFORMATICA DEL 15/10/2014 Il giorno 15/10/2014 alle ore 9:30 nella Aula Nadia Busi del Dipartimento di Informatica – Scienza e Ingegneria si è riunito il Consiglio del Corso di Studi della Laurea in Informatica e della Laurea Magistrale in Informatica, convocato dal Coordinatore Prof. Alan Albert Bertossi, per discutere il seguente ordine del giorno:

0. Approvazione verbale precedente (disponibile a http://www.cs.unibo.it/cds/informatica/Verbale2014-09-04.pdf)

1. Comunicazioni 2. Modifica programmazione didattica A.A. 2014/15 3. Piani didattici percorso lungo A.A. 2014/15 4. Regolamento Didattico A.A. 2015/16/17 5. Programmazione Didattica A.A. 2015/16 6. Attivazione Corsi di Studio e docenti di riferimento A.A. 2015/16 7. Potenziale formativo Corsi di Studio A.A. 2015/16 8. Pratiche studenti 9. Varie ed eventuali

Risultano presenti: Ozalp Babaoglu, Alan Albert Bertossi, Massimo Campanino, Giulio Casciola, Paolo Ciancarini, Renzo Davoli, Lorenzo Donatiello, Stefano Ferretti, Maurizio Gabbrielli, Mauro Gaspari, Zeynep Kiziltan, Cosimo Laneve, Ivan Lanese, Simone Martini, Moreno Marzolla, Danilo Montesi, Davide Rossi, Claudio Sacerdoti Coen, Vania Sordoni, Giulia Spaletta, Fabio Tamburini, Costanza Cesanelli, Paolo Bonfiglioli. Risultano assenti giustificati: Alessandro Amoroso, Ugo Dal Lago, Vittorio Ghini, Marta Morigi, Marco Mughetti, Marco Roccetti. Constatata la presenza del numero legale, il Coordinatore apre la seduta alle ore 9:40. Funge da segretario il dott. Moreno Marzolla. 0. APPROVAZIONE VERBALE PRECEDENTE Viene letto ed approvato all’unanimità il verbale della precedente seduta del Consiglio di Corso di Studi.

1. COMUNICAZIONI

1.1 Immatricolati A.A. 2014/15

Il Coordinatore comunica che si è conclusa la terza selezione per l’ammissione ai corsi di studio

triennali del DISI e i relativi ripescaggi previsti dal bando. Poiché alcuni corsi di studio hanno

ancora posti liberi che potrebbero essere occupati da ulteriori candidati, la Scuola di Ingegneria e

Architettura, congiuntamente a quella di Scienze, ha emesso un nuovo Bando per il recupero

straordinario dei posti vacanti, che si concluderà verso la fine di ottobre.

Il Coordinatore presenta il riepilogo relativo agli immatricolati a seguito della terza selezione per i

CdS del DISI:

http://www.cs.unibo.it/cds/informatica/Verbale2014-09-04.pdf


Corso di Studio Totale posti disponibili a.a.

2014/15

Totale immatricolati al 13

ottobre 2014

Informatica (8009) 150 122

Informatica per il Management (8014) 150 81

Ingegneria Informatica (0926) 200 197

Ingegneria e Scienze Informatiche

(8615) 200 183

Questi dati non sono da considerarsi definitivi in quanto è ancora aperta la procedura di recupero

rivolta a tutti coloro che abbiano sostenuto il TOLC-I entro il 12 ottobre 2014 e fino a concorrenza

dei posti ancora rimasti liberi dopo l’ultima procedura di recupero. Per ogni Corso di Studio con

posti liberi verrà stilata una graduatoria secondo i criteri indicati nel bando di selezione.

1.2 Accordo Erasmus+ con Università di Bielefeld

Il Coordinatore comunica che è in corso l’attivazione dell’accordo Erasmus+ con l’Università di

Bielefeld per la mobilità di studenti e docenti in ambito informatico. L’accordo, che partirà dal

2015/16, prevede la mobilità di 5 studenti per 10 mesi, e sarà riservata dall’A.A. 2016/17 agli

studenti che parteciperanno al programma di doppio diploma con il Master Intelligent Systems.

1.3 Nuovo tutor di supporto ai Corsi di Studio

Il Coordinatore comunica che il giorno 14 ottobre si è riunita la commissione per la valutazione

delle domande pervenute in risposta al bando pubblicato dalla Scuola di Scienze per svolgere

attività di tutorato a supporto dei Corsi di Studio per l'A.A. 2014/2015. Il tutor per i Corsi di laurea

in Informatica e Informatica magistrale dal 1 novembre 2014 sarà il dott. Mauro Belgiovine,

studente del primo anno del Corso di laurea magistrale in Informatica.

2. MODIFICA PROGRAMMAZIONE DIDATTICA A.A. 2014/15

Il Coordinatore, sentita la Scuola di Scienze, propone le seguenti modifiche di programmazione

didattica per l’A.A. 2014/15, subordinate all’approvazione della richiesta di aspettativa dal

1/01/2015 al 31/12/2015 presentata dal prof. Gabbrielli:

- LT Informatica (8009)

o L’insegnamento Linguaggi di programmazione mod.2

- LM Informatica (8028)

o Il modulo integrato Intelligenza Artificiale mod.1 del C.I. Algoritmi avanzati –

Intelligenza artificiale

verranno banditi in accordo con la Scuola di Scienze.

Il Consiglio approva all’unanimità.

3. PIANI DIDATTICI PERCORSO LUNGO A.A. 2014/15

Il Coordinatore illustra i piani didattici relativi all’opzione di percorso lungo per gli immatricolati

nell’A.A. 2014/15 (Allegati 1 e 2).


4. REGOLAMENTO DIDATTICO A.A. 2015/16/17 Il Coordinatore propone di confermare per l’A.A. 2015-16-17-18 il regolamento didattico attuale


del corso di laurea in Informatica senza procedere ad ulteriori modifiche (Allegato 3).


Il Coordinatore illustra il nuovo piano didattico del regolamento del Corso di laurea Magistrale in

Informatica per l’A.A. 2015-16-17. Le modifiche proposte sono da una parte dovute all’esigenza di

adeguare il piano didattico con l’introduzione di insegnamenti in lingua inglese al fine di concludere

l’accordo di doppio diploma con il Master in Intelligent Systems dell’Università di Bielefeld, e

quindi di avviare un percorso di internazionalizzazione della laurea magistrale; dall’altra alla

volontà di creare un’offerta formativa più attraente anche per i laureati del corso di studio in

Informatica per il Management e per ulteriori studenti internazionali. (Allegato 4)

Dopo approfondita discussione il Consiglio approva all’unanimità.

5. PROGRAMMAZIONE DIDATTICA A.A. 2015/16 Il Coordinatore illustra la proposta di programmazione didattica per l’A.A. 2015/16. (Allegati 5 e

6).


6. ATTIVAZIONE CORSI DI STUDIO E DOCENTI DI RIFERIMENTO A.A. 2015/16 Il Coordinatore propone l’attivazione anche per l’A.A. 2015/16 dei seguenti Corsi di Studio:

- Informatica (8009)

- Informatica magistrale (8028)


Il Coordinatore illustra l’elenco dei docenti di riferimento del Corso di Studio in Informatica (8009) per l’A.A. 2015/16, che verranno anche inseriti nella Scheda SUA CdS A.A. 2015/16: Nominativo del docente/ricercatore

Ruolo SSD docente/ ricercatore

Tipologia SSD doc/ric

Rambaldi Sandro AC FIS/01 di base

Sacerdoti Coen Claudio PA INF/01 di base

Asperti Andrea PO INF/01 caratterizzante

Davoli Renzo AC INF/01 caratterizzante

Ghini Vittorio AN INF/01 caratterizzante

Vitali Fabio AC INF/01 caratterizzanti

Giulio Casciola PO MAT/08 affine

Ciancarini Paolo PO INF/01 caratterizzante

Morigi Marta PA MAT/02 affine


Il Coordinatore illustra l’elenco dei docenti di riferimento del Corso di Studio in Informatica Magistrale (8028) per l’A.A. 2015/16, che verranno anche inseriti nella Scheda SUA CdS A.A. 2015/16:

Nominativo del docente/ricercatore

Ruolo SSD docente/

ricercatore

Tipologia SSD doc/ric

Panzieri Fabio PO INF/01 caratterizzante

Laneve Cosimo PO INF/01 caratterizzante


Babaoglu Ozalp PO INF/01 caratterizzante

Montesi Danilo PO INF/01 caratterizzante

Bertossi Alan Albert PO INF/01 caratterizzante

Donatiello Lorenzo PO INF/01 caratterizzante


7. POTENZIALE FORMATIVO CORSI DI STUDIO A.A. 2015/16 Il Coordinatore propone di mantenere il numero di posti riservati all’accesso per le matricole del

Corso di Studio in Informatica per l’A.A. 2015/16 a n. 150, riservandosi di valutare la situazione

negli anni successivi.


Il Coordinatore propone inoltre di mantenere il numero di posti per l’accesso al Corso di laurea

Magistrale in Informatica per l’A.A .2015/16 pari ad 80, corrispondente al massimo previsto per la

classe di laurea.


8. PRATICHE STUDENTI

Riconoscimenti

Il Consiglio esamina la documentazione presentata dalla studentessa Elena MONTANARI,

matricola 687551, già iscritto al corso di studi in Matematica dell’Ateneo di Bologna. La

studentessa può essere ammessa al PRIMO anno del corso di studi in Informatica con la convalida

dei seguenti esami:

Fisica matematica – 7 CFU per Fisica – 6 CFU

Idoneità di lingua inglese B-1 – 3 CFU per Idoneità di lingua inglese B-1 – 3 CFU

Logica matematica – 6 CFU per Logica per l'Informatica – 6 CFU

I restanti crediti sono persi.

Il Consiglio approva la richiesta presentata.

Il Consiglio esamina la documentazione presentata dallo studente Francesco SOVRANO,

matricola 722473, già iscritto al corso di studi in Informatica dell’Università di Padova. La

studentessa può essere ammessa al SECONDO anno del corso di studi in Informatica con la

convalida dei seguenti esami:

Algebra lineare – 6 su 10 CFU per Algebra e Geometria - 6CFU

Analisi matematica – 10 CFU +

Algebra lineare – 2 su 10 CFU per Analisi Matematica - 12 CFU

Programmazione – 10 CFU +

Architettura degli elaboratori – 2 su 8 CFU per Programmazione - 12 CFU

Sistemi operativi – 8 CFU per Sistemi operativi - 8 CFU su 12

Logica – 6 CFU per Logica per l'Informatica - 6 CFU

Reti e sicurezza – 10 CFU per Reti di Calcolatori - 10 CFU si 12

Fisica – 6 CFU per Fisica – 6 CFU

Matematica discreta e probabilità – 6 su 8 CFU per Calcolo delle Probabilità e Statistica - 6


Restano da sostenere le seguenti integrazioni con programma e modalità da concordare con il

relativo docente:

Sistemi Operativi per 4 CFU;

Reti di Calcolatori per 2 CFU;

Linguaggi di Programmazione per 4 CFU.



Il Consiglio esamina la documentazione presentata dallo studente Davide ZANINI, matricola

731567, già iscritto al corso di studi in Informatica dell’Ateneo di Bologna per il quale ha

presentato formale rinuncia il 04/09/2014. Lo studente può essere ammesso al SECONDO anno del

corso di studi in Informatica con la convalida dei seguenti esami:

Analisi matematica – 12 CFU per Analisi Matematica – 12 CFU

Architettura – 6 CFU per Architettura degli elaboratori – 6 CFU

Mod Linguaggi (C.I. Linguaggi e strutture) – 6

CFU per Logica per l’Informatica – 6 CFU

Calcolo numerico – 6 CFU per Calcolo numerico – 6 CFU

Fisica – 6 CFU per Fisica – 6 CFU

Mod Strutture (C.I. Linguaggi e strutture)– 6

CFU per Algebra e geometria – 6 CFU

Programmazione – 12 CFU per Programmazione – 12 CFU

Complementi di Analisi – 6 CFU per 6 CFU a libera scelta nel settore MAT/05



Il Consiglio esamina la documentazione presentata dallo studente Simone ORLANDO, matricola

665864, già iscritto al corso di studi in Ingegneria Informatica dell’Ateneo di Bologna. Lo studente

può essere ammesso al PRIMO anno del corso di studi in Informatica con la convalida dei seguenti

esami:

Fondamenti di Informatica T-1 – 12 CFU per Programmazione – 12 CFU

Idoneità di Lingua Inglese – 3 CFU per Idoneità di Lingua Inglese – 3 CFU



Il Consiglio esamina la documentazione presentata dallo studente Riccardo ROLFINI, matricola

657060, iscritto al corso di studi in Ingegneria Informatica dell’Ateneo di Bologna. Lo studente può

essere ammesso al PRIMO anno del corso di studi in Informatica con la convalida dei seguenti

esami:

Fondamenti di Informatica T-1 – 6 CFU su 12 per Architettura degli elaboratori – 6 CFU

Fondamenti di Informatica T-2 – 6 CFU su 12 Per Programmazione – 12 CFU

CFU

Architettura degli elaboratori – 6 su 8 CFU per Architettura degli elaboratori - 6 CFU

Automi e linguaggi formali – 8 CFU per Linguaggi di Programmazione - 8 CFU

su 12

Matematica discreta e probabilità - 2 su 8 CFU

+ Algebra lineare – 2 su 10 CFU per 4 crediti a libera scelta settore MAT/06


+ Fondamenti di Informatica T-1 – 6 CFU su

12

Fondamenti di Informatica T-2 – 6 CFU su 12 per Linguaggi di Programmazione (modulo

2) – 6 CFU

Idoneità di Lingua Inglese – 3 CFU Per Idoneità di Lingua Inglese – 3 CFU

Analisi matematica T-1 – 9 CFU + Analisi

matematica T-2 – 3 CFU su 6 Per Analisi matematica – 12 CFU

Analisi matematica T-2 – 3 CFU su 6 Per 3 CFU a libera scelta nel settore MAT/05

Geometria e Algebra T – 6 CFU Per Algebra e Geometria – 6 CFU

Resta da sostenere il Modulo 1 da 6cfu del corso di Linguaggi di Programmazione. Lo studente

dovrà concordare con il relativo docente il programma e le modalità di esame per questo modulo.



Redazione tesi di laurea in lingua inglese

Lo studente Alessandro COCILOVA, matr. 0000632571, iscritto al corso di laurea in Informatica

chiede di poter redigere la tesi di laurea in lingua inglese. Il relatore prof. Montesi concorda in

quanto il progetto inerente è in inglese.


Lo studente Flavio INGUSCIO, matr. 0900016661, iscritto al corso di laurea in Informatica chiede

di poter redigere la tesi di laurea in lingua inglese con relatore il prof. Casadei. Lo studente ha preso

scambio allo scambio Erasmus.


Richiesta di riconoscimento esami svolti presso l’École Normale Supérieure di Lione Il Consiglio valuta la documentazione (allegato 7) presentata dallo studente Massimiliano FASI, matr. 0900047918, iscritto al Corso di Laurea Magistrale in Informatica dell'Università di Bologna, che ha svolto l’a.a. 2013/14 presso l'École Normale Supérieure di Lione, Francia. Esaminate le attività svolte presso l’ENS di Lione, ottiene la convalida dei seguenti esami:

Statistical Learning and Applications - 4 ECTS

– Voto: 17,00

Algorithmic Game Theory - 2 ECTS

per Intelligenza artificiale - 6CFU - 30L

Algorithms on Sequences, Permutations, Tree

for Computational Biology - 4 ECTS – Voto:

17,00

Géometrie - 2 ECTS

per Sistemi complessi - 6CFU - 30L

Floating Point Arithmetic and Formal Proof - 4

ECTS - Voto 14,00

Combinatorial Scientific Computing - 4 ECTS

– Voto: 16,00

per Simulazione di sistemi - 6CFU - 29

Sistemi distribuiti - 6 CFU - 29


Il Consiglio approva la richiesta presentata. 9. VARIE ED EVENTUALI

9.1 Delega per la modifica della sezione A della Scheda SUA CdS 2015

Il Coordinatore chiede al Consiglio delega per l’aggiornamento dei contenuti della sezione A della

Scheda SUA CdS 2015 relativi agli obiettivi della formazione. Tale aggiornamento si rende

necessario in particolare per il CdS Informatica Magistrale a seguito della modifica di regolamento

didattico per l’A.A. 2015-16-17 e dell’accordo di doppio diploma con l’Università di Bielefeld.


9.2 Delega per la modifica del documento di riesame 2014

Il Coordinatore chiede al Consiglio delega per adottare eventuali modifiche richieste dalla

Commissione Paritetica della Scuola all’interno del documento di riesame 2014.


Non essendovi altre varie ed eventuali da discutere, la seduta del Consiglio viene tolta alle ore

11:00.

il Coordinatore il Segretario

(Prof. Alan Albert Bertossi) (Dott. Moreno Marzolla)

Algorithms for Exascale Computing - 4 ECTS

– 13,50

Advanced Compilation - 4 ECTS - Voto: 16,00

Synchronous approaches for Embedded

Systems - 2 ECTS

per Architetture software - 6CFU - 30

FLE niveau B1 – Voto18,00 (semestre 1)

FLE niveau B1 – Voto14,70 (semestre 2)

FLE écriture universitaire – Voto: 16,00

FLE B1 plus – Voto: 18,00

per Lingua francese - 6CFU - 30

Piano di studi per percorso lungo Laure in Informatica (8009)

Per immatricolati all’a.a. 2014-15

Primo Anno di Corso (30cfu) PROGRAMMAZIONE ................ ciclo 1 cfu 12 LOGICA PER L’INFORMATICA ...... ciclo 2 cfu 6 ANALISI MATEMATICA ............ ciclo 1+2 cfu 12

Secondo Anno di Corso (30cfu) FISICA ........................ ciclo 1 cfu 6 ARCHITETTURA DEGLI ELABORATORI ciclo 1 cfu 6 ALGEBRA E GEOMETRIA ........... ciclo 1 cfu 6 ALGORITMI e STRUTTURE DI DATI …. ciclo 2 cfu 12

Terzo Anno di Corso (30cfu) SISTEMI OPERATIVI ............ ciclo 1+2 cfu 12 CALCOLO NUMERICO .............. ciclo 1 cfu 6 LINGUAGGI DI PROGRAMMAZIONE ... ciclo 1+2 cfu 12

Quarto Anno di Corso (30cfu) OTTIMIZZAZIONE ........ ciclo 1 cfu 6 RETI DI CALCOLATORI ........... ciclo 1+2 cfu 12 CALCOLO DELLE PROB. E STAT. ... ciclo 2 cfu 6 TECNOLOGIE WEB ................ ciclo 1 cfu 6

Quinto Anno di Corso (30cfu) BASI DI DATI .................. ciclo 1 cfu 12 INFORMATICA TEORICA ........... ciclo 1+2 cfu 12 SICUREZZA ..................... ciclo 1 cfu 6

Sesto Anno di Corso (30cfu) INGEGNERIA DEL SOFTWARE ....... ciclo 1 cfu 6 IDONEITA' LINGUA INGLESE ...... ciclo 1 cfu 3 CORSI A LIBERA SCELTA ......... ciclo 1e/o2 cfu 12 PROGETTO ...................... ciclo 1 cfu 4 PROVA FINALE .................. ciclo 2 cfu 5

Piano di studi per percorso lungo Laurea Magistrale in Informatica (8028)

Per gli immatricolati a.a. 2014-15

CURRICULUM A – PROGETTAZIONE E ANALISI DEL SOFTWARE 1° anno (42 CFU): 1.I+II: Algoritmi Avanzati – Intelligenza Artificiale (C.I.) (12 CFU) 1.I: Simulazione di Sistemi (6 CFU) 1.II: Interazione Persona Computer (6 CFU) 1.II: Sistemi Complessi (6 CFU) 1.I: Idoneità inglese B2 (6 CFU) 1.?: Esame a scelta da lista matematico-fisica (6 CFU) 2° anno (42 CFU): 1.I: Complementi di Basi di Dati (6 CFU) 2.I: Fondamenti Logici dell'Informatica (6 CFU) 1.II: Sistemi Middleware (6 CFU) 2.II: Analisi Statica di Programmi (6 CFU) 2.II: Modelli e Sistemi Concorrenti (6 CFU) 2.?: Esami a scelta libera (12 CFU) 3° anno (36 CFU): 2.I: Attività propedeutica alla prova finale (6 CFU) 2.I: Complementi di Linguaggi di Programmazione (6 CFU) 2.II: Prova finale (24 CFU) CURRICULUM B – INFORMATICA PER IL MANAGEMENT 1° anno (42 CFU): 1.I+II: Algoritmi Avanzati – Intelligenza Artificiale (C.I.) (12 CFU) 1.II: Interazione Persona Computer (6 CFU) 1.I: Simulazione di Sistemi (6 CFU) 1.II: Sistemi Complessi (6 CFU) 1.I: Idoneità inglese B2 (6 CFU) 1.?: Esame a scelta da lista matematico-fisica (6 CFU) 2° anno (42 CFU): 1.II: Sistemi Middleware (6 CFU) 2.I: Teoria dei Giochi (6 CFU) 2.I: Architetture Software (6 CFU) 2.II: Multimedia e Tecnologie Interattive (6 CFU) 2.II: Analisi Dinamica dei Sistemi Aziendali (6 CFU) 2.?: Esami a scelta libera (12 CFU)

3° anno (36 CFU): 1.I: Complementi di Basi di Dati (6 CFU) 2.I: Attività propedeutica alla prova finale (6 CFU) 2.II: Prova finale (24 CFU) CURRICULUM C – SISTEMI E RETI 1° anno (42 CFU): 1.I+II: Algoritmi Avanzati – Intelligenza Artificiale (C.I.) (12 CFU) 1.II: Interazione Persona Computer (6 CFU) 1.II: Sistemi Complessi (6 CFU) 1.I: Simulazione di Sistemi (6 CFU) 1.?: Idoneità inglese B2 (6 CFU) 1.?: Esame a scelta da lista matematico-fisica (6 CFU) 2° anno (42 CFU): 1.II: Sistemi Middleware (6 CFU) 2.II: Grafica (6 CFU) 2.I: Sistemi Distribuiti (6 CFU) 2.I: Sistemi e Reti Wireless (6 CFU) 2.II: Sistemi Mobili (6 CFU) 2.?: Esami a scelta libera (12 CFU) 3° anno (36 CFU): 1.I: Complementi di Basi di Dati (6 CFU) 2.I: Attività propedeutica alla prova finale (6 CFU) 2.II: Prova finale (24 CFU)

ALLEGATO 3

Anno 1 Attività formativa Ore ese. Ore lab. Ore n.d. CFU TAF

60 10 16 0 12 A

48 72 0 0 12 A

Modulo I 32 36 0 Titolare

Modulo II 16 36 0

18 0 48 0 6 B

40 12 0 0 6 A

30 0 16 0 6 A

24 36 0 0 6 C

Obiettivi attività formativa:


Al termine del modulo, lo studente conosce il linguaggio del calcolo

proposizionale e della logica del prim'ordine. È in grado di scrivere e

comprendere proposizioni logiche e di verificarne la validità.

8009 0000 0000 58414 - 0 - ALGEBRA E GEOMETRIA MAT/02


Al termine del corso lo studente possiede una conoscenza delle principali

leggi della fisica classica, con riferimento alla cinematica e alla dinamica del

punto, ai concetti più essenziali della termodinamica, al campo elettrico e

magnetico. È in grado di risolvere semplici problemi fisici.

8009 0000 0000 66857 -0- LOGICA PER INFORMATICA INF/01

Voto


Al termine del corso, lo studente conosce l'architettura di base di un

calcolatore, le reti combinatorie e sequenziali, e le regole di corrispondenza

tra assembler ed un linguaggio ad alto livello. È in grado di progettare

semplici reti combinatorie e di scrivere codice in un linguaggio assembler.

8009 000 000 00405 - 0 - FISICA FIS/01 Voto

Al termine del corso, lo studente conosce gli strumenti di base dell'analisi

matematica, quali numeri reali, limiti, continuità, derivate e integrali. È in

grado di utilizzare gli strumenti matematici per lo studio delle altre discipline

8009 000 000 11925 - ARCHITETTURA DEGLI ELABORATORI INF/01

Al termine del corso lo studente: - conosce gli algoritmi per risolvere problemi

computazionali di base su strutture di dati elementari; - conosce le tecniche

di base per calcolare il costo computazionale degli algoritmi; - conosce le

classi di complessità computazionale P, NP e NP-hard; - è in grado di

progettare algoritmi efficienti per risolvere semplici problemi computazionali; -

è in grado di stimare in ordine di grandezza il costo computazionale degli

algoritmi; - è in grado di analizzare la complessità computazionale di

problemi computazionali di base; - è in grado di dare una valutazione circa

l'efficienza e la correttezza di un algoritmo; - è capace di elaborare e di

presentare un progetto per la risoluzione di problemi computazionali di base.

8009 000 000 00013 - 0 - ANALISI MATEMATICA MAT/05

8009 000 000 37635 - ALGORITMI E STRUTTURE DI DATI INF/01 Voto


Voto


Regolamento Didattico a.a. 2015-16-17-18 Corso: LAUREA in INFORMATICA (8009)

SSD Ore fro. Ver.

Gruppo: Attività formative obbligatorie

1 di 6

ALLEGATO 3

54 0 48 0 12 B

Modulo I 54 0 16 Titolare

Modulo II 0 0 32


40 12 0 0 6 C

48 0 0 0 6 C

36 0 0 0 6 B

48 20 32 0 12 BVoto



Al termine del corso lo studente ha appreso i fondamenti della

programmazione lineare (PL), della programmazione lineare intera (PLI), e

dell'ottimizzazione combinatoria, conosce l'algoritmo del simplesso per la

PL e sa in quali casi un problema di PL ammette soluzioni intere. E'

quindi in grado di modellare un problema incognito in termini di vincoli

lineari (o lineari interi) e funzione obiettivo lineare, ovvero

riconoscere che il problema non puo' essere cosi' formulato. E' inoltre in

grado di modellare problemi combinatori su grafi come problemi di cammini

minimi, flussi massimi e abbinamenti, e puo' risolverli per mezzo dei

principali algoritmi noti nella letteratura. Infine, sa distinguere quali

problemi di ottimizzazione combinatoria sono inerentemente intrattabili.

8009 000 000 04138 - 0 - LINGUAGGI DI PROGRAMMAZIONE INF/01

Voto


Al termine del corso, lo studente conosce i concetti alla base del calcolo

numerico, quali analisi dell'errore, interpolazione, integrazione numerica,

equazioni non lineari e sistemi di equazioni lineari. È in grado di risolvere

problemi di calcolo scientifico

8009 000 000 14511 - 0 - OTTIMIZZAZIONE INF/01 Voto


Al termine del corso, lo studente possiede una conoscenza di base di

probabilità e statistica matematica. È in grado di risolvere

semplici problemi di probabilità e di inferenza statistica.

8009 000 000 02023 - 0 - CALCOLO NUMERICO MAT/08


8009 000 000 04642 - 0 - CALCOLO DELLE PROBABILITA' E STATISTICA MAT/06 Voto

Voto


Al termine del corso, lo studente conosce i principi, gli strumenti e le tecniche

della programmazione di applicazioni informatiche. È in grado di

programmare in uno specifico linguaggio di programmazione.

SSD Ore fro. Ver.

Al termine del corso lo studente acquisisce nozioni elementari

di algebra (algoritmo di Euclide e congruenze) e di algebra

lineare. E' in grado di risolvere sistemi lineari e di diagonalizzare

applicazioni lineari.

8009 000 000 00819 - 0 - PROGRAMMAZIONE INF/01

2 di 6

ALLEGATO 3

Modulo I 24 10 16 0

Modulo II 24 10 16 0 Titolare

60 20 0 0 12 B

36 30 48 0 12 B

Modulo II 36 0 48

Modulo II 0 30 0

30 0 16 0 6 B


60 10 16 0 12 B

24 0 0 0 3 EGiudizio



Al termine del corso, lo studente:

- conosce il modello dei dati relazionale ed i principali costrutti del linguaggio

SQL;

- è in grado di progettare e realizzare una base di dati;

- è capace di elaborare un progetto per la realizzazione di un sistema

informatico.

8009 000 000 26338 - 0 - IDONEITA' LINGUA INGLESE B - 1

Ver.


8009 000 000 10906 - 0 - BASI DI DATI INF/01 Voto


Al termine del corso, lo studente conosce le tecnologie più importanti

utilizzate in ambito World Wide Web.

È in grado di scrivere documenti nei linguaggi del Web, di curarne l'aspetto

visivo, di verificarne la correttezza e universalità, e di realizzare semplici

applicazioni distribuite sul Web.

SSD Ore fro.

Voto


Al termine del corso, lo studente conosce la struttura e i metodi di

costruzione dei moderni sistemi operativi multiprogrammati. È in grado di

installare, programmare e amministrare un sistema operativo.

8009 000 000 41731 - 0 - TECNOLOGIE WEB INF/01 Voto


Al termine del corso lo studente conosce: (i)i principi di funzionamento delle

reti di elaboratori, (ii) le principali tecnologie e protocolli di comunicazione,

inclusa la famiglia di protocolli TCP/IP, utilizzati per implementare reti a

commutazione di pacchetto, (iii) l'architettura della rete Internet, ed è in grado

di (iv) capire il funzionamento dei meccanismi di comunicazione fra processi

(v) progettare e sviluppare protocolli per la comunicazione fra processi.

8009 000 000 08574 - 0 - SISTEMI OPERATIVI INF/01


- conosce i principali concetti della teoria dei linguaggi formali e li sa

applicare per la classificazione di semplici linguaggi;

- conosce le principali tecniche per l'analisi sintattica dei linguaggi di

programmazione;

- conosce la struttura di un linguaggio di programmazione e le tecniche per

implementare la sua macchina astratta;

- conosce il paradigma orientato agli oggetti ed un altro paradigma non

imperativo.

8009 000 000 11145 - 0 - RETI DI CALCOLATORI INF/01 Voto

3 di 6

ALLEGATO 3

60 20 0 0 12 B

24 0 32 0 6 B

24 0 32 0 6 B

0 0 100 0 4 F

0 0 0 0 5 E


Giudizio


Al termine del progetto, lo studente possiede una conoscenza sperimentale

di uno degli argomenti del corso di studi tramite un progetto software. È in

grado di documentare un programma tramite un manuale di riferimento

8009 000 000 35199 - 0 - PROVA FINALE


Al termine del corso, lo studente conosce metodi e strumenti di analisi,

progettazione e misura di sistemi software. Sviluppa capacità di analisi e di

interpretazione delle esigenze descritte in maniera informale in una specifica.

È in grado di descrivere un sistema software con il formalismo UML e di

programmarlo con un linguaggio orientato agli oggetti.

8009 000 000 66859 - 0 - PROGETTO/TIROCINIO

Voto



- conosce gli algoritmi crittografici di base a chiave pubblica e a chiave

segreta;

- conosce le principali problematiche di sicurezza informatica;

- conosce i principali protocolli crittografici;

- è in grado di capire il funzionamento delle tecniche crittografiche moderne;

- è in grado mettere in atto gli accorgimenti necessari per garantire la

sicurezza di un sistema informatico;

- è in grado di analizzare la vulnerabilità di un sistema informatico;

- è in grado di dare una valutazione critica circa la sicurezza di un sistema

informatico;

- è capace di elaborare e di presentare un progetto per garantire la sicurezza

di un sistema informatico.

8009 000 000 66858 - 0 - INGEGNERIA DEL SOFTWARE INF/01 Voto


Il corso fornisce una introduzione alla teoria della calcolabilita' e alla teoria

della complessita' computazionale.

Al termine del corso lo studente avra' acquisito consapevolezza dei limiti

teorici e pratici dei metodi effettivi di calcolo e sara' in grado di utilizzare ed

applicare metodologie e tecniche proprie dei metodi formali nello studio della

trattabilita' computazionale di problemi algoritmici di svariata natura.

8009 000 000 17629 - 0 - SICUREZZA INF/01

Lo studente al termine del corso:

- conosce una ragionevole gamma di strutture morfologiche ed un repertorio

lessicale adeguato per completare testi di divulgazione autentici,

eventualmente semplificati o adattati, e brevi testi biografici o narrativi;

- è in grado di comprendere testi divulgativi di vario tipo: descrittivi,

informativi, narrativi;

- comprende gli elementi principali di discorsi e dialoghi in linguaggio

standard su argomenti familiari, purché il parlato sia relativamente scandito

8009 000 000 11933 - 0 - INFORMATICA TEORICA INF/01 Voto

4 di 6

ALLEGATO 3

AMB 12

A scelta dello studente D 1008

INF/01 30 0 16 6


INF/01 30 10 0 6


INF/01 24 0 32 6


64 0 0 0 8 CVoto

Raccomandato per

PERC B della

Magistrale di


8014 000 000 37459 - 0 - STRATEGIA AZIENDALE SECS-P/07

Al termine del corso, lo studente è in grado di individuare e descrivere i

processi evolutivi delle idee e delle esigenze (culturali, socio-economiche e

tecnologiche) che costituiscono i fondamenti essenziali dell'Informatica. E' in

grado di descrivere gli elementi essenziali (nella dimensione scientifica,

tecnologica e operativa) che ne hanno consentito il rapido (e tumultuoso)

sviluppo avvenuto nella seconda metà del secolo scorso.

8009 000 000 66860 - 0 - LABORATORIO DI APPLICAZIONI MOBILI Voto

Obiettivi: Al termine del corso, lo studente conosce gli aspetti tecnologici e

metodologici e gli strumenti per lo sviluppo di applicazioni per dispositivi

mobili, su piattaforme iOS (iPhone, iPad, iPod Touch) e Android.

Conosce inoltre la gestione di dispositivi dotati di interfacce utente

innovative, multi-touch, gestione eventi, la programmazione objectiveC,

Eclipse e Android SDK, design patterns, interfacciamento dati esterno,

sensori e geo-localizzazione, servizi di networking, debugging e test di

applicazioni. Conosce infine:

- le problematiche delle applicazioni eseguite in contesto wireless mobile;

- le piattaforme più importanti per lo sviluppo di applicazioni mobili;

- le API dei device interni;

- la gestione della multimedialità in contesto wireless mobile;

- iPhone SDK e Android SDK;

- come progettare e implementare una applicazione con il pattern

architetturale Model-View-Control nei due ambienti di sviluppo.

8009 000 000 37925 - 0 - PROGETTO DI SISTEMI VIRTUALI Voto

Al termine del corso lo studente conosce i metodi di progettazione di

sistemi virtuali quali macchine virtuali, sistemi operativi a virtualizzazione

parziale, reti virtuali, file system virtuali.

Il corso ha una forte componente progettuale con approfondimenti

personalizzati che consentono allo studente di specializzarsi negli aspetti di

maggiore interesse.

8009 000 000 55200 - 0 -STORIA DELL'INFORMATICA Voto

Al termine della prova finale, lo studente è in grado di esporre e di discutere

con chiarezza e padronanza i risultati di un progetto di ricerca o un proprio

elaborato connesso a un'attività di laboratorio o a uno degli argomenti del

corso di studi in oggetto. È in grado di elaborare e presentare risultati anche

con l'ausilio di sistemi multimediali. Ha familiarità con la ricerca delle

informazioni.

Gruppo: Corsi a libera scelta dello studente [CFU min: 12 CFU max: ]

TAF

5 di 6

ALLEGATO 3

Al termine del corso, lo studente conosce i problemi dell'organizzazione

dell'attività economica aziendale.

In particolare, è in grado di:

- analizzare il ruolo dei prezzi nella risoluzione di problemi di coordinamento

tra decisioni economiche;

- coordinare tra piani e azioni, le funzioni dei contratti e dei meccanismi a

incentivo all'interno delle organizzazione economiche;

- analizzare comparativamente i principali modelli organizzativi: gerarchie,

6 di 6

ALLEGATO 4

Anno 1Ore

eserc. Ore lab. CFU TAF


36 0 0 6 B


Al termine del corso lo studente: - conosce i modelli dei dati semi

strutturato e non strutturati in relazione a quelli strutturati ed i principali

costrutti dei linguaggi SQL/XML ed XQuery; - conosce le principali

tecniche di information retrieval e di analisi dei dati; - è in grado di

progettare e realizzare un datawarehouse; - è capace di elaborare un

progetto utilizzando le principali tecniche di data mining.

36 0 0 6 B


Al termine del corso, lo studente conosce teorie e metodologie di

valutazione dell'usabilità e di progettazione dell'interazione con un

sistema informatico.

INF/01 66 10 0 Voto 12 Tolti i secondi moduli

36 0 0 6 B


Al termine del corso lo studente: - conosce i principali modelli di calcolo

parallelo, le tecniche di base per progettare algoritmi paralleli e per

calcolarne il costo computazionale; - è in grado di progettare e

analizzare algoritmi paralleli per risolvere semplici problemi

computazionali; - è in grado di programmare algoritmi paralleli con MPI

e OpenMP.

30 10 0 6 B

Regolamento a.a. 2015-16-17 LAUREA MAGISTRALE in INFORMATICA (8028)

Curriculum A: Linguaggi e Fondamenti

SSD

Ore

frontali Verifica

8028 000 000 28796 - COMPLEMENTI DI BASI DI DATI INF/01 Voto

8028 000 000 25883 - INTERAZIONE PERSONA COMPUTER INF/01 Voto

8028 000 000 72662 (C.I.) ALGORITMI AVANZATI - INTELLIGENZA

ARTIFICIALE

Modulo integrato 28791 - ALGORITMI AVANZATI INF/01 Voto

Modulo integrato 07158 - INTELLIGENZA ARTIFICIALE INF/01 Voto

1 di 23

ALLEGATO 4


Al termine del corso, lo studente conosce i principali linguaggi, tecniche

di modellizzazione e metodi di ragionamento che stanno alla base della

risoluzione di problemi di intelligenza artificiale. In particolare, è in

grado di realizzare sistemi 'intelligenti' che, nella soluzione di problemi,

simulano il comportamento di esperti umani della disciplina in oggetto.

Inoltre è in grado di modellizzare e risolvere semplici problemi di

ottimizzazione basati su programmazione a vincoli.

30 10 0 6 B

Obiettivi attività formativa:Gli obiettivi formativi del corso sono: (i) fornire allo studente le

competenze necessarie a valutare ed utilizzare moderne tecnologie di

middleware, quali le piattaforme basate sullo standard Java 2

Enterprise Edition, per esempio, e (ii) consentire allo studente di

familiarizzarsi con ambienti di "cloud computing" all'interno dei quali

queste tecnologie sono impiegate. Particolare attenzione verra' rivolta a

tecnologie di middleware e ambienti di cloud computing disponibili

come Free Open Source Software.

48 0 0 6 E


Lo studente al termine del corso: - conosce una gamma estesa di

strutture morfologiche e un ampio repertorio lessicale relativo ad

argomenti vari per completare testi autentici leggermente adattati (es.

articoli giornalistici relativi al dominio universitario e brani narrativi); - è

in grado di comprendere articoli e relazioni su problematiche attuali in

cui è espresso anche un particolare atteggiamento o punto di vista,

oppure testi narrativi piuttosto complessi; - è in grado di comprendere

discorsi e dialoghi di una certa lunghezza o estratti di conferenze,

nonché di seguire argomentazioni anche complesse su tematiche di

interesse generale.

6 B

18 10 32 6 B CONSIGLIATO CURRICULA A/C

In inglese

8028 000 000 66866 - 0 - SISTEMI MIDDLEWARE INF/01 Voto

8028 000 000 26337 - 0 - IDONEITA' LINGUA INGLESE B - 2 Giudizio

Gruppo: Esami a scelta da lista ambito Informatico [CFU min 6 CFU max 6]

8028 000 000 77802 - 0 – COMPLEX SYSTEMS INF/01 Voto


2 di 23

ALLEGATO 4

Al termine del corso, lo studente conosce gli algoritmi degli automi

cellulari, dei sistemi genetici e le reti neurali. È in grado di progettare

nuovi algoritmi basati sui 'sistemi complessi'.

12 10 48 6 B CONSIGLIATO CURRICULUM A/C


Al termine del corso, lo studente conosce le metodologie e gli strumenti

per progettare, realizzare e convalidare modelli di simulazione per

l'analisi e valutazione di sistemi di elaborazione e comunicazione. È in

grado di progettare, realizzare e convalidare modelli di simulazione per

l'analisi e la valutazione di sistemi complessi.

24 20 0 6 B Nuovo insegnamento

Obiettivi attività formativa: CONSIGLIATO CURRICULUM B

Al termine del corso lo studente conosce gli aspetti principali

ell'analisi, della progettazione e della realizzazione di sistemi

software complessi attraverso un approccio basato su modelli, sulla

metamodellazione e sull'uso di linguaggi di dominio.

Particolare attenzione è rivolta alle architetture basate sui servizi e

sulle risorse e alle relative tecnologie e di come queste possano

supportare i processi di business.

Modulo I 12 10 0 (Rossi, responsabile)

Modulo II 12 10 0 (Lanese/Ciancarini)

12 C TUTTI I 12 CFU AL PRIMO ANNO

48 0 0 6 C


Al termine del corso, lo studente conosce le tecniche di risoluzione di

problemi di calcolo scientifico. È in grado di risolvere problemi del

calcolo scientifico in un ambiente integrato di algebra al calcolatore.

8028 000 000 37760 - 0 - SIMULAZIONE DI SISTEMI INF/01 Voto

8028 000 000 77803 - 0 - INGEGNERIA DEL SOFTWARE

ORIENTATA AI SERVIZI INF/01 Voto

Gruppo: Esami a scelta da lista ambito Matematico-Fisico, Ambito 1144 [CFU

min 12 CFU max 12]

8028 000 000 12569 - 0 - MATEMATICA COMPUTAZIONALE MAT/08 Voto

3 di 23

ALLEGATO 4

48 0 0 6 C Dal secondo anno al primo anno


Al termine del corso, lo studente conosce le basi logico formali

dell'informatica, in particolare, il lamb da calcolo e la sua teoria,

corrispondenza tra programmi e dimostrazioni, il lambda calcolo tipato

semplice, i sistemi T ed F. È in grado di descrivere semplici funzioni

numeriche in lambda calcolo e di derivarne i tipi. CONSIGLIATO CURRICULUM A

Modulo I 24 0 0 (Martini, responsabile)

Modulo II 24 0 0 (Sacerdoti Coen)

48 0 0 6 C


Al termine del corso, lo studente conosce alcuni elementi di teorie

avanzate di probabilità con applicazioni all'informatica, quali catene di

Markov in tempo discreto e continuo. È in grado di analizzare semplici

sistemi stocastici collegati con le applicazioni.


Obiettivi attività formativa: CONSIGLIATO CURRICULUM C

Al termine del corso, lo studente conosce i fondamenti della grafica 3D

al calcolatore, tra cui i concetti di modellazione poligonale e resa in

tempo reale. In particolare, è in grado di modellare e rappresentare

graficamente scene 3D mediante opportune librerie.

FIS/01 48 0 0 Voto 6 C CONSIGLIATO CURRICULUM B


8028 000 000 30214 FONDAMENTI LOGICI DELL'INFORMATICA MAT/01 Voto

8028 000 000 30216 - 0 - MODELLI PROBABILISTICI MAT/06 Voto

8028 000 000 17661 - 0 – GRAFICA MAT/08 Voto

8028 000 000 23762 - 0 - FISICA DEI SISTEMI COMPLESSI

Al termine del corso, lo studente possiede le conoscenze di base sui

sistemi complessi fisici, biologici e sociali e sui mezzi di analisi,

predicibilità e controllo. In particolare, lo studente è in grado di: -

risolvere problemi di caos deterministico e predicibilità; - risolvere

problemi di auto- organizzazione emergente; - sviluppare un progetto

con architettura ad oggetti e grafica evoluta, usando modelli ad agenti e

la teoria delle reti.

4 di 23

ALLEGATO 4

Anno 2 Ore ese. Ore lab. CFU TAF


0 0 150 6 F


Al termine del tirocinio, lo studente possiede una conoscenza

sperimentale di uno degli argomenti del corso di studi tramite un

progetto software svolto internamente all'Università con un docente di

riferimento o in un'azienda esterna all'Unibo. È in grado di documentare

un programma tramite un manuale di riferimento.

0 0 0 24 E


Al termine della prova finale, lo studente è in grado di lavorare in ampia

autonomia e di esporre e di discutere con chiarezza e piena

padronanza i risultati di un progetto originale di ricerca, di natura

sperimentale o teorica, su un tema specifico. È in grado di elaborare e

presentare risultati anche complessi in maniera articolata.

24 MODIFICATO CURRICULUM A

30 10 0 6 B


Il corso affronta moderne tecniche di progettazione software basate su

linguaggi e piattaforme di sviluppo che consentono l'uso integrato di

programmi, specifiche funzionali e dimostrazioni di correttezza.

L'approccio si basa su sistemi di tipi dipendenti, i cui tipi sono

sufficientemente espressivi da esprimere arbitrarie specifiche software:

una espressione ben tipata e' una procedura eseguibile che realizza la

specifica, ed e' dunque corretta per costruzione.

Al termine del corso, lo studente avra' acquisito padronanza nella

programmazione con tipi dipendenti, e nell'uso di moderni sistemi per la

verifica interattiva della correttezza del software.

24 20 0 6 B

SSD Ore fro. Ver.

8028 000 000 32492 - 0 – ATTIVITA' PROPEDEUTICA ALLA PROVA

FINALE

8028 000 000 35199 - 0 - PROVA FINALE

CURRICULUM A - LINGUAGGI E FONDAMENTI

8028 000 000 72671 - 0 - COMPLEMENTI DI LINGUAGGI DI

PROGRAMMAZIONE INF/01 Voto

8028 000 000 72672 - 0 - ANALISI STATICA DI PROGRAMMI INF/01 Voto

5 di 23

ALLEGATO 4


Questo corso consente di apprendere le tecnologie formali per

garantire proprietà di correttezza di programmi commerciali o presenti

nei compilatori per ottimizzare i codici. Tutte le tecniche presentate

saranno applicate a casi di studio.

24 10 16 6 B


Al termine del corso, lo studente conosce i paradigmi di base della

concorrenza, i loro modelli ed i sistemi di verifica di proprietà di tali

modelli. È in grado di analizzare semplici programmi concorrenti con

strumenti automatici o semi-automatici.

30 10 0 6 B Da complementare a obbligatorio


Al termine del corso, lo studente conosce i fondamenti della

crittografia computazionale e le tecniche per l'analisi della sicurezza

dei protocolli di comunicazione. È in grado di verificare l'assenza di

crepe nel flusso dell'informazione o l'assenza di attacchi crittografici

per semplici protocolli.

Modulo I 20 0 0 (Dal Lago, responsabile)

Modulo II 10 10 0 (Lanese)

12 D

36 0 0 6 D Nuovo insegnamento (Marzolla)


8028 000 000 66870 - 0 - MODELLI E SISTEMI CONCORRENTI INF/01 Voto

8028 000 000 72676 CRITTOGRAFIA INF/01 Voto

Gruppo: Corsi a libera scelta dello studente [CFU min 12 CFU max ] TAF: D Ambito: 1008 - A

scelta dello studente

8028 000 000 70231 PROGRAMMAZIONE PARALLELA INF/01 Voto

6 di 23

ALLEGATO 4

Al termine del corso lo studente conosce gli ambienti di

programmazione parallela per lo sviluppo di programmi in grado di

trarre vantaggio dalla potenza di calcolo fornita dalle moderne

architetture multicore e dai sistemi paralleli a memoria distribuita. Lo

studente e' in grado di progettare e realizzare applicazioni efficienti sui

vari tipi di sistemi paralleli, e di misurarne le prestazioni.

36 0 0 6 D Nuovo insegnamento (Kiziltan)


Al termine del corso, lo studente è in grado di modellizzare e risolvere

problemi a vincoli usando una varietà di tecniche dell'intelligenza

artificiale.

36 0 0 6 D


Al termine del corso, lo studente conosce le principali problematiche

relative al riconoscimento del linguaggio naturale e alla sua

implementazione. È in grado di realizzare analizzatori sintattici di parti

semplici del linguaggio naturale.

30 0 16 6 D


Il corso si propone di costruire una figura professionale in grado di

progettare, sviluppare e valutare applicazioni, protocolli e sistemi di rete

operanti su dispositivi mobili, dotati di interfacce wireless multiple,

tenendo conto delle peculiari caratteristiche di comunicazione

e delle limitazioni in termini di energia imposte dai dispositivi,

sfruttando tecniche di routing avanzato e meccanismi di

virtualizzazione.

8028 000 000 72674 - TEORIA DEI GIOCHI 30 0 16 6 D Consigliato per il Curriculum BSECS-P/01 Voto

8028 000 000 77809 ADVANCED ARTIFICIAL INTELLIGENCE INF/01 Voto

In inglese (I semestre)

8028 000 000 34549 - 0 - ELABORAZIONE DEL LINGUAGGIO

NATURALE INF/01 Voto

8028 000 000 72675 - 0 - SISTEMI MOBILI INF/01 Voto

7 di 23

ALLEGATO 4


Al termine del corso, lo studente ha una conoscenza matematica dei

fondamentali concetti e risultati che caratterizzano la teoria dei giochi,

distinguendo fra i giochi strategici e quelli cooperativi che hanno

importanti applicazioni in ambito informatico.

36 0 0 6 B modificate ore

Obiettivi attività formativa: solo per curriculum A e C

Al termine del corso, lo studente: - conosce le principali tecnologie per

realizzare i sistemi basati sulla conoscenza: i linguaggi per l'intelligenza

artificiale, le tecniche di modellizzazione e condivisione della

conoscenza ed i metodi di ragionamento; - è in grado di formalizzare

concettualizzazioni e di realizzare ontologie con le tecnologie del Web

Semantico;- è in grado di realizzare semplici Agenti intelligenti;

8028 000 000 30220 - 0 - INTELLIGENZA ARTIFICIALE:

RAPPRESENTAZIONE DELLA CONOSCENZA INF/01 Voto

8 di 23

Anno 1Ore



36 0 0 6 B








36 0 0 6 B

Obiettivi attività formativa:Al termine del corso, lo studente conosce teorie e metodologie di




36 0 0 6 B







e OpenMP.

30 10 0 6 B





ARTIFICIALE



Curriculum B: Informatica per il Management

SSD

Ore

frontali Verifica









30 10 0 6 B

Obiettivi attività formativa:Gli obiettivi formativi del corso sono: (i) fornire allo studente le








48 0 0 6 E











interesse generale.

6 B


In inglese




























48 0 0 6 C








min 12 CFU max 12]













48 0 0 6 C
















0 0 150 6 F8028 000 000 32492 - 0 – ATTIVITA' PROPEDEUTICA ALLA PROVA

FINALE







con architettura ad oggetti e grafica evoluta, usando modelli ad agenti

e la teoria delle reti.

SSD Ore fro. Ver.


8028 000 000 17661 - 0 – GRAFICA MAT/08 Voto







0 0 0 24 E







24 MODIFICATO CURRICULUM B

36 0 0 6 C Da complementare a obbligatorio


Al termine del corso, lo studente conosce le metodiche e gli strumenti

della network analysis nei loro fondamentali teorici e nelle tipiche

applicazioni in internet, con riferimento alla caratterizzazione ed alla

modellizzazione dei fenomeni economici e sociali propri della rete. E' in

grado di disegnare un protocollo di ricerca ed applicarlo a contesti reali,

definendo le modalità di di acquisizione e gestione dei dati,

l'identificazione e l'esecuzione di misure di rete, l'interpretazione dei

loro esiti, in modo integrato con esigenze di simulazione e supporto alla

presa delle decisioni. Lo studente conosce inoltre l'uso dei principali

software di analisi statistica e rappresentazione grafica delle reti.

24 20 0 6 B Nuovo insegnamento (Ferretti)


CURRICULUM B - INFORMATICA PER IL MANAGEMENT

8028 000 000 72677 - 0 - ANALISI DELLE RETI SOCIALI APPLICATA

AD INTERNET SECS-P/10 Voto

8028 000 000 77804 - 0 - SISTEMI PEER-TO-PEER INF/01 Voto

8028 000 000 35199 - 0 - PROVA FINALE

Al termine del corso lo studente conosce le varie tecniche e soluzioni

architetturali e algoritmiche alla base dei principali sistemi P2P, usati

in applicazioni reali e proposti nella letteratura scientifica. Lo studente

sa progettare e sviluppare sistemi e applicazioni distribuiti che sfruttano

protocolli di interazione e (auto-)organizzazione basati sul paradigma

P2P.

48 0 0 6 C


Al termine del corso, lo studente approfondisce l'analisi della strategia

competitiva e aziendale con concetti e strumenti propri dello studio dei

sistemi dinamici complessi. In particolare, lo studente è in grado di

affrontare le difficoltà connesse all'interpretazione dei comportamenti di

sistemi sociali dinamici e complessi.









12 D












8028 000 000 44759 - 0 - ANALISI DINAMICA DEI SISTEMI

AZIENDALI SECS-P/07 Voto







artificiale.

36 0 0 6 D






30 0 16 6 D








virtualizzazione.

8028 000 000 72674 - TEORIA DEI GIOCHI 30 0 16 6 D Consigliato per il Curriculum B






SECS-P/01 Voto






Anno 1Ore



36 0 0 6 B








36 0 0 6 B

Obiettivi attività formativa:Al termine del corso, lo studente conosce teorie e metodologie di




36 0 0 6 B







e OpenMP.

30 10 0 6 B





ARTIFICIALE



Curriculum C: Sistemi e Reti

SSD

Ore

frontali Verifica









30 10 0 6 B


Gli obiettivi formativi del corso sono: (i) fornire allo studente le








48 0 0 6 E











interesse generale.

6 B


In ingleseObiettivi attività formativa:



























48 0 0 6 C







min 12 CFU max 12]














48 0 0 6 C






















con architettura ad oggetti e grafica evoluta, usando modelli ad agenti

e la teoria delle reti.

SSD Ore fro. Ver.


8028 000 000 17661 - 0 – GRAFICA MAT/08 Voto

0 0 150 6 F







0 0 0 24 E







24

36 0 0 6 B Modificato nome insegnamento

Obiettivi attività formativa: SPOSTATO DAL B AL CAl termine del corso, lo studente conosce le moderne tecnologie per la

produzione di software complesso, i principali stili architetturali per la

progettazione e lo sviluppo di sistemi software e le architetture

informatiche orientate ai servizi



Obiettivi attività formativa: SPOSTATO DAL B AL C

Gli obiettivi del corso sono quelli di fornire agli studenti,

al termine dello stesso, gli strumenti concettuali e tecnici per ideare,

progettare e realizzare applicazioni multimediali software (basate sui

seguenti strumenti : graphics, vision, music/video, animation, network)

da utilizzarsi in contesti connotati ad alta interattivita', quali ad esempio:

entertainment/gaming, culture/educational, esibibizioni/musei,

design/production, performance/living art ...)


30 10 0 6 B Modificato nome insegnamento8028 000 000 77807 - 0 - DISTRIBUTED SYSTEMS INF/01 Voto

CURRICULUM C - SISTEMI E RETI MODIFICATO CURRICULUM C

8028 000 000 77805 - 0 - SOFTWARE ARCHITECTURES INF/01 Voto

8028 000 000 77806 - 0 - MULTIMEDIA AND INTERACTIVE

TECHNOLOGIES INF/01 Voto

8028 000 000 32492 - 0 – ATTIVITA' PROPEDEUTICA ALLA PROVA

FINALE

8028 000 000 35199 - 0 - PROVA FINALE

Obiettivi attività formativa:In inglese (I semestre)

Al termine del corso, lo studente conosce i modelli architetturali, le

principali problematiche, e gli aspetti peculiari dei sistemi distribuiti. È

in grado di progettare ed implementare sistemi distribuiti prototipali.



Al termine del corso, lo studente conosce le problematiche di

comunicazione basate su tecnologia wireless, e le soluzioni relative agli

Standard e alle relative architetture sia protocollari che fisiche dei

sistemi e reti wireless caratterizzate da dispositivi eterogenei e mobili.

Conosce inoltre nuove modalità e paradigmi di implementazione dei

servizi basati su tecnologia wireless, e alla base dell'integrazione e

della convergenza delle tecnologie wired e wireless e dei servizi per

Wireless Internet.

12 D













artificiale.







8028 000 000 77808 - 0 - WIRELESS SYSTEMS AND NETWORKS INF/01 Voto

36 0 0 6 D






30 0 16 6 D








virtualizzazione.

8028 000 000 72674 - TEORIA DEI GIOCHI 30 0 16 6 D Consigliato per il Curriculum B







Obiettivi attività formativa: solo per curriculum A e C

SECS-P/01 Voto






ALLEGATO 5

Anno 1 Attività formativa Ore ese. Ore lab. Ore n.d. CFU TAF DOCENTE SEMESTRE

60 10 16 0 12 A BERTOSSI 2° Semestre

Intensivo

48 72 0 0 12 A ANNUALE

Modulo I 32 36 0 Titolare SORDONI

Modulo II 16 36 0 bando

18 0 48 0 6 B GHINI 1° Semestre

40 12 0 0 6 A RAMBALDI 2° Semestre

30 0 16 0 6 A SACERDOTI COEN 1° Semestre

24 36 0 0 6 C MORIGI MARTA 2° Semestre



Al termine del modulo, lo studente conosce il linguaggio del calcolo

proposizionale e della logica del prim'ordine. È in grado di scrivere e

comprendere proposizioni logiche e di verificarne la validità.

8009 0000 0000 58414 - 0 - ALGEBRA E GEOMETRIA MAT/02


Al termine del corso lo studente possiede una conoscenza delle principali

leggi della fisica classica, con riferimento alla cinematica e alla dinamica del

punto, ai concetti più essenziali della termodinamica, al campo elettrico e

magnetico. È in grado di risolvere semplici problemi fisici.

8009 0000 0000 66857 -0- LOGICA PER INFORMATICA INF/01

Voto


Al termine del corso, lo studente conosce l'architettura di base di un

calcolatore, le reti combinatorie e sequenziali, e le regole di corrispondenza

tra assembler ed un linguaggio ad alto livello. È in grado di progettare

semplici reti combinatorie e di scrivere codice in un linguaggio assembler.

8009 000 000 00405 - 0 - FISICA FIS/01 Voto

Al termine del corso, lo studente conosce gli strumenti di base dell'analisi

matematica, quali numeri reali, limiti, continuità, derivate e integrali. È in

grado di utilizzare gli strumenti matematici per lo studio delle altre discipline

8009 000 000 11925 - ARCHITETTURA DEGLI ELABORATORI INF/01

Al termine del corso lo studente: - conosce gli algoritmi per risolvere problemi

computazionali di base su strutture di dati elementari; - conosce le tecniche

di base per calcolare il costo computazionale degli algoritmi; - conosce le

classi di complessità computazionale P, NP e NP-hard; - è in grado di

progettare algoritmi efficienti per risolvere semplici problemi computazionali; -

è in grado di stimare in ordine di grandezza il costo computazionale degli

algoritmi; - è in grado di analizzare la complessità computazionale di

problemi computazionali di base; - è in grado di dare una valutazione circa

l'efficienza e la correttezza di un algoritmo; - è capace di elaborare e di

presentare un progetto per la risoluzione di problemi computazionali di base.

8009 000 000 00013 - 0 - ANALISI MATEMATICA MAT/05

8009 000 000 37635 - ALGORITMI E STRUTTURE DI DATI INF/01 Voto


Voto


Programmazione Didattica a.a. 2015-16 Corso: LAUREA in INFORMATICA (8009)

SSD Ore fro. Ver.


1 di 6

ALLEGATO 5

54 0 48 0 12 B 1° Semestre

Intensivo

Modulo I 54 0 16 Titolare LANEVE

Modulo II 0 0 32 bando


40 12 0 0 6 C CAMPANINO 2° Semestre

48 0 0 0 6 C CASCIOLA 1° Semestre

36 0 0 0 6 B bando 1° Semestre

48 20 32 0 12 B ANNUALEVoto



Al termine del corso lo studente ha appreso i fondamenti della

programmazione lineare (PL), della programmazione lineare intera (PLI), e

dell'ottimizzazione combinatoria, conosce l'algoritmo del simplesso per la

PL e sa in quali casi un problema di PL ammette soluzioni intere. E'

quindi in grado di modellare un problema incognito in termini di vincoli

lineari (o lineari interi) e funzione obiettivo lineare, ovvero

riconoscere che il problema non puo' essere cosi' formulato. E' inoltre in

grado di modellare problemi combinatori su grafi come problemi di cammini

minimi, flussi massimi e abbinamenti, e puo' risolverli per mezzo dei

principali algoritmi noti nella letteratura. Infine, sa distinguere quali

problemi di ottimizzazione combinatoria sono inerentemente intrattabili.

8009 000 000 04138 - 0 - LINGUAGGI DI PROGRAMMAZIONE INF/01

Voto


Al termine del corso, lo studente conosce i concetti alla base del calcolo

numerico, quali analisi dell'errore, interpolazione, integrazione numerica,

equazioni non lineari e sistemi di equazioni lineari. È in grado di risolvere

problemi di calcolo scientifico

8009 000 000 14511 - 0 - OTTIMIZZAZIONE INF/01 Voto


Al termine del corso, lo studente possiede una conoscenza di base di

probabilità e statistica matematica. È in grado di risolvere

semplici problemi di probabilità e di inferenza statistica.

8009 000 000 02023 - 0 - CALCOLO NUMERICO MAT/08


8009 000 000 04642 - 0 - CALCOLO DELLE PROBABILITA' E STATISTICA MAT/06 Voto

Voto


Al termine del corso, lo studente conosce i principi, gli strumenti e le tecniche

della programmazione di applicazioni informatiche. È in grado di

programmare in uno specifico linguaggio di programmazione.

SSD Ore fro. Ver.

Al termine del corso lo studente acquisisce nozioni elementari

di algebra (algoritmo di Euclide e congruenze) e di algebra

lineare. E' in grado di risolvere sistemi lineari e di diagonalizzare

applicazioni lineari.

8009 000 000 00819 - 0 - PROGRAMMAZIONE INF/01

2 di 6

ALLEGATO 5

Modulo I 24 10 16 0 GORRIERI 1° Semestre

Modulo II 24 10 16 0 Titolare GABBRIELLI 2° Semestre

60 20 0 0 12 B PANZIERI 1° Semestre

36 30 48 0 12 B ANNUALE

Modulo II 36 0 48 DAVOLI

Modulo II 0 30 0 FERRETTI

30 0 16 0 6 B VITALI 2° Semestre


60 10 16 0 12 B MONTESI 1° Semestre

Intensivo

24 0 0 0 3 EGiudizio




- conosce il modello dei dati relazionale ed i principali costrutti del linguaggio

SQL;

- è in grado di progettare e realizzare una base di dati;

- è capace di elaborare un progetto per la realizzazione di un sistema

informatico.

8009 000 000 26338 - 0 - IDONEITA' LINGUA INGLESE B - 1

Ver.


8009 000 000 10906 - 0 - BASI DI DATI INF/01 Voto


Al termine del corso, lo studente conosce le tecnologie più importanti

utilizzate in ambito World Wide Web.

È in grado di scrivere documenti nei linguaggi del Web, di curarne l'aspetto

visivo, di verificarne la correttezza e universalità, e di realizzare semplici

applicazioni distribuite sul Web.

SSD Ore fro.

Voto


Al termine del corso, lo studente conosce la struttura e i metodi di

costruzione dei moderni sistemi operativi multiprogrammati. È in grado di

installare, programmare e amministrare un sistema operativo.

8009 000 000 41731 - 0 - TECNOLOGIE WEB INF/01 Voto


Al termine del corso lo studente conosce: (i)i principi di funzionamento delle

reti di elaboratori, (ii) le principali tecnologie e protocolli di comunicazione,

inclusa la famiglia di protocolli TCP/IP, utilizzati per implementare reti a

commutazione di pacchetto, (iii) l'architettura della rete Internet, ed è in grado

di (iv) capire il funzionamento dei meccanismi di comunicazione fra processi

(v) progettare e sviluppare protocolli per la comunicazione fra processi.

8009 000 000 08574 - 0 - SISTEMI OPERATIVI INF/01


- conosce i principali concetti della teoria dei linguaggi formali e li sa

applicare per la classificazione di semplici linguaggi;

- conosce le principali tecniche per l'analisi sintattica dei linguaggi di

programmazione;

- conosce la struttura di un linguaggio di programmazione e le tecniche per

implementare la sua macchina astratta;

- conosce il paradigma orientato agli oggetti ed un altro paradigma non

imperativo.

8009 000 000 11145 - 0 - RETI DI CALCOLATORI INF/01 Voto

3 di 6

ALLEGATO 5

60 20 0 0 12 B ASPERTI ANNUALE

24 0 32 0 6 B BABAOGLU 1° Semestre

24 0 32 0 6 B CIANCARINI 1° Semestre

0 0 100 0 4 F MARTINI

0 0 0 0 5 E


Giudizio


Al termine del progetto, lo studente possiede una conoscenza sperimentale

di uno degli argomenti del corso di studi tramite un progetto software. È in

grado di documentare un programma tramite un manuale di riferimento

8009 000 000 35199 - 0 - PROVA FINALE


Al termine del corso, lo studente conosce metodi e strumenti di analisi,

progettazione e misura di sistemi software. Sviluppa capacità di analisi e di

interpretazione delle esigenze descritte in maniera informale in una specifica.

È in grado di descrivere un sistema software con il formalismo UML e di

programmarlo con un linguaggio orientato agli oggetti.

8009 000 000 66859 - 0 - PROGETTO/TIROCINIO

Voto



- conosce gli algoritmi crittografici di base a chiave pubblica e a chiave

segreta;

- conosce le principali problematiche di sicurezza informatica;

- conosce i principali protocolli crittografici;

- è in grado di capire il funzionamento delle tecniche crittografiche moderne;

- è in grado mettere in atto gli accorgimenti necessari per garantire la

sicurezza di un sistema informatico;

- è in grado di analizzare la vulnerabilità di un sistema informatico;

- è in grado di dare una valutazione critica circa la sicurezza di un sistema

informatico;

- è capace di elaborare e di presentare un progetto per garantire la sicurezza

di un sistema informatico.

8009 000 000 66858 - 0 - INGEGNERIA DEL SOFTWARE INF/01 Voto


Il corso fornisce una introduzione alla teoria della calcolabilita' e alla teoria

della complessita' computazionale.

Al termine del corso lo studente avra' acquisito consapevolezza dei limiti

teorici e pratici dei metodi effettivi di calcolo e sara' in grado di utilizzare ed

applicare metodologie e tecniche proprie dei metodi formali nello studio della

trattabilita' computazionale di problemi algoritmici di svariata natura.

8009 000 000 17629 - 0 - SICUREZZA INF/01

Lo studente al termine del corso:

- conosce una ragionevole gamma di strutture morfologiche ed un repertorio

lessicale adeguato per completare testi di divulgazione autentici,

eventualmente semplificati o adattati, e brevi testi biografici o narrativi;

- è in grado di comprendere testi divulgativi di vario tipo: descrittivi,

informativi, narrativi;

- comprende gli elementi principali di discorsi e dialoghi in linguaggio

standard su argomenti familiari, purché il parlato sia relativamente scandito

8009 000 000 11933 - 0 - INFORMATICA TEORICA INF/01 Voto

4 di 6

ALLEGATO 5

AMB 12

A scelta dello studente D 1008

INF/01 30 0 16 6 DAVOLI 2° Semestre


INF/01 30 10 0 6 bando 2° Semestre


INF/01 24 0 32 6 BONONI 2° Semestre

Obiettivi attività formativa: mutuato da CdS 8014

64 0 0 0 8 C MOLLONA 1°semestre

mutuato da CdS 8014

Voto


8014 000 000 37459 - 0 - STRATEGIA AZIENDALE SECS-P/07

Al termine del corso, lo studente è in grado di individuare e descrivere i

processi evolutivi delle idee e delle esigenze (culturali, socio-economiche e

tecnologiche) che costituiscono i fondamenti essenziali dell'Informatica. E' in

grado di descrivere gli elementi essenziali (nella dimensione scientifica,

tecnologica e operativa) che ne hanno consentito il rapido (e tumultuoso)

sviluppo avvenuto nella seconda metà del secolo scorso.

8009 000 000 66860 - 0 - LABORATORIO DI APPLICAZIONI MOBILI Voto

Obiettivi: Al termine del corso, lo studente conosce gli aspetti tecnologici e

metodologici e gli strumenti per lo sviluppo di applicazioni per dispositivi

mobili, su piattaforme iOS (iPhone, iPad, iPod Touch) e Android.

Conosce inoltre la gestione di dispositivi dotati di interfacce utente

innovative, multi-touch, gestione eventi, la programmazione objectiveC,

Eclipse e Android SDK, design patterns, interfacciamento dati esterno,

sensori e geo-localizzazione, servizi di networking, debugging e test di

applicazioni. Conosce infine:

- le problematiche delle applicazioni eseguite in contesto wireless mobile;

- le piattaforme più importanti per lo sviluppo di applicazioni mobili;

- le API dei device interni;

- la gestione della multimedialità in contesto wireless mobile;

- iPhone SDK e Android SDK;

- come progettare e implementare una applicazione con il pattern

architetturale Model-View-Control nei due ambienti di sviluppo.

8009 000 000 37925 - 0 - PROGETTO DI SISTEMI VIRTUALI Voto

Al termine del corso lo studente conosce i metodi di progettazione di

sistemi virtuali quali macchine virtuali, sistemi operativi a virtualizzazione

parziale, reti virtuali, file system virtuali.

Il corso ha una forte componente progettuale con approfondimenti

personalizzati che consentono allo studente di specializzarsi negli aspetti di

maggiore interesse.

8009 000 000 55200 - 0 -STORIA DELL'INFORMATICA Voto

Al termine della prova finale, lo studente è in grado di esporre e di discutere

con chiarezza e padronanza i risultati di un progetto di ricerca o un proprio

elaborato connesso a un'attività di laboratorio o a uno degli argomenti del

corso di studi in oggetto. È in grado di elaborare e presentare risultati anche

con l'ausilio di sistemi multimediali. Ha familiarità con la ricerca delle

informazioni.

Gruppo: Corsi a libera scelta dello studente [CFU min: 12 CFU max: ]

TAF

5 di 6

ALLEGATO 5

Al termine del corso, lo studente conosce i problemi dell'organizzazione

dell'attività economica aziendale.

In particolare, è in grado di:

- analizzare il ruolo dei prezzi nella risoluzione di problemi di coordinamento

tra decisioni economiche;

- coordinare tra piani e azioni, le funzioni dei contratti e dei meccanismi a

incentivo all'interno delle organizzazione economiche;

- analizzare comparativamente i principali modelli organizzativi: gerarchie,

6 di 6

Allegato 6

Anno 1Ore

eserc. Ore lab. CFU DOCENTE TAF Semestre


36 0 0 6 MONTESI B 1° Semestre








36 0 0 6 VITALI B 2° Semestre


Al termine del corso, lo studente conosce teorie e metodologie di



8028 000 000 72662 - 0 - (C.I.) ALGORITMI AVANZATI -

INTELLIGENZA ARTIFICIALE BERTOSSI

Modulo integrato: 28791 ALGORITMI AVANZATI INF/01 36 0 0 Voto 6 B 1° Semestre







e OpenMP.

Modulo integrato: 07158 INTELLIGENZA ARTIFICIALE INF/01 30 10 0 Voto 6 GABBRIELLI B 2° Semestre




risoluzione di problemi di intelligenza artificiale. In particolare, è in grado

di realizzare sistemi 'intelligenti' che, nella soluzione di problemi,




30 10 0 6 PANZIERI B 2° SemestreObiettivi attività formativa:

Programmazione Didattica a.a. 2015-16 LAUREA MAGISTRALE in INFORMATICA (8028)

SSD

Ore

frontali Verifica

8028 000 000 28796 - 0 - COMPLEMENTI DI BASI DI DATI INF/01 Voto


8028 000 000 25883 - 0 - INTERAZIONE PERSONA COMPUTER INF/01 Voto

Allegato 6

Gli obiettivi formativi del corso sono: (i) fornire allo studente le






tecnologie di middleware e ambienti di cloud computing disponibili come

Free Open Source Software.

48 0 0 6 EObiettivi attività formativa:

6 B

18 10 32 6 BABAOGLU B 2° Semestre Consigliato per il curriculum A/C




12 10 48 6 DONATIELLO B 1° Semestre Consigliato per il curriculum A/C







24 20 0 6 B 1° Semestre Consigliato per il curriculum B

Obiettivi attività formativa: Mutua Business Process Management (37616) a libera scelta al secondo anno

Al termine del corso, lo studente possiede conoscenze legate al

Business Process Management (modellazione di processi, simulazione,

esecuzione) e alla progettazione e allo sviluppo di applicazioni basate

sulla Service Oriented Architecture (SOA).

Modulo I 12 10 0 bando

Ricercatore: Rossi D.

Modulo II 12 10 0 bandoRicercatore: Lanese

12 C

48 0 0 6 SPALETTA C 2° Semestre



Gruppo: Esame a scelta da lista ambito Matematico-Fisico, Ambito 1144

[CFU min 12 CFU max 12]


Voto

8028 000 000 77803 - 0 - INGEGNERIA DEL SOFTWARE ORIENTAT

AI SERVIZI INF/01 Voto

Gruppo: Esame a scelta da lista ambito Informatico [CFU min 6 CFU max 6]

8028 000 000 77802 COMPLEX SYSTEMS INF/01 Voto


8028 000 000 37760 - 0 - SIMULAZIONE DI SISTEMI INF/01

Allegato 6




48 0 0 6 MARTINI C 1° semestre CONSIGLIATO PER IL CURRICULUM A






numeriche in lambda calcolo e di derivarne i tipi.

Modulo I 24 10 0 MARTINI

Modulo II 24 10 0 MARTINI

48 0 0 6 CAMPANINO C 1° Semestre






48 0 0 6 CASCIOLA C 2° Semestre CONSIGLIATO PER IL CURRICULUM C






FIS/01 48 0 0 Voto 6 RAMBALDI C 1° Semestre


Anno 2 Ore ese. Ore lab. CFU DOCENTE TAF Semestre


0 0 150 6 MARTINI F 2° Semestre















con architettura ad oggetti e grafica evoluta, usando modelli ad agenti e

la teoria delle reti.

SSD Ore fro. Ver.

8028 000 000 17661 - 0 - GRAFICA

8028 000 000 32492 - 0 - ATTIVITA' PROPEDEUTICA ALLA PROVA

FINALE

MAT/08 Voto

Allegato 6

0 0 0 24 E 2° Semestre







24

30 10 0 6 ASPERTI B 1° Semestre


Il corso affronta moderne tecniche di progettazione software basate su

linguaggi e piattaforme di sviluppo che consentono l'uso integrato di

programmi, specifiche funzionali e dimostrazioni di correttezza.

L'approccio si basa su sistemi di tipi dipendenti, i cui tipi sono

sufficientementi espressivi da esprimere arbitarie specifiche software:

una espressione ben tipata e' una procedura eseguibile che realizza la

specifica, ed e'

dunque corretta per costruzione.

Al termine del corso, lo studente avra' acquisito padronanza nella

programmazione con tipi dipendenti, e nell'uso di moderni sistemi per la

verifica interattiva della correttezza del software.

24 20 0 6 LANEVE B 2° Semestre


Questo corso consente di apprendere le tecnologie formali per

garantire proprietà di correttezza di programmi commerciali o presenti

nei compilatori per ottimizzare i codici. Tutte le tecniche presentate

saranno applicate a casi di studio.

24 10 16 6 GORRIERI B 2° Semestre


Al termine del corso, lo studente conosce i paradigmi di base della

concorrenza, i loro modelli ed i sistemi di verifica di proprietà di tali

modelli. È in grado di analizzare semplici programmi concorrenti con

strumenti automatici o semi-automatici.

48 0 0 6 MARTINI C 1° semestre






numeriche in lambda calcolo e di derivarne i tipi.

Modulo I 24 10 0 MARTINI

Modulo II 24 10 0 MARTINI

8028 000 000 35199 - 0 - PROVA FINALE

CURRICULUM A - PROGETTAZIONE E ANALISI DEL SOFTWARE

8028 000 000 72671 - 0 - COMPLEMENTI DI LINGUAGGI DI

PROGRAMMAZIONE INF/01 Voto

8028 000 000 72672 - 0 - ANALISI STATICA DI PROGRAMMI INF/01 Voto

8028 000 000 66870 - 0 - MODELLI E SISTEMI CONCORRENTI INF/01 Voto


Allegato 6

24

36 0 0 6 CIANCARINI B 1° Semestre


Al termine del corso, lo studente conosce le moderne tecnologie per la

produzione di software complesso, i principali stili architetturali per la

progettazione e lo sviluppo di sistemi software e le architetture

informatiche orientate ai servizi

30 0 16 6 ROCCETTI B 2°semestre


Gli obiettivi del corso sono quelli di fornire agli studenti,

al termine dello stesso, gli strumenti concettuali e tecnici per ideare,

progettare e realizzare applicazioni multimediali software (basate sui

seguenti strumenti : graphics, vision, music/video, animation, network)

da utilizzarsi in contesti connotati ad alta interattivita', quali ad esempio:

entertainment/gaming, culture/educational, esibibizioni/musei,

design/production, performance/living art ...)

48 0 0 6 MOLLONA C 2°semestre


Al termine del corso, lo studente approfondisce l'analisi della strategia

competitiva e aziendale con concetti e strumenti propri dello studio dei

sistemi dinamici complessi. In particolare, lo studente è in grado di

affrontare le difficoltà connesse all'interpretazione dei comportamenti di

sistemi sociali dinamici e complessi.

8028 000 000 72674 - TEORIA DEI GIOCHI 30 0 16 6 bando C 1°semestre contratto: Rossi Giovanni






24

30 0 16 6 GHINI B 2° semestre



progettare, sviluppare e valutare applicazioni e sistemi di rete



e delle limitazioni in termini di energia imposte dai dispositivi.

CURRICULUM B - INFORMATICA PER IL MANAGEMENT

8028 000 000 66871 - 0 - ARCHITETTURE SOFTWARE INF/01 Voto

8028 000 000 72673 - 0 - MULTIMEDIA E TECNOLOGIE

INTERATTIVE INF/01 Voto

8028 000 000 44759 - 0 - ANALISI DINAMICA DEI SISTEMI

AZIENDALI SECS-P/07 Voto

SECS-P/01 Voto

CURRICULUM C - SISTEMI E RETI


Allegato 6

24

30 0 16 6 GHINI B 2° semestre


Il corso si propone di costruire una figura professionale in grado diprogettare, sviluppare e valutare applicazioni e sistemi di reteoperanti su dispositivi mobili, dotati di interfacce wireless multiple,tenendo conto delle peculiari caratteristiche di comunicazionee delle limitazioni in termini di energia imposte dai dispositivi.

30 10 0 6 AMOROSO B 1° Semestre


Al termine del corso, lo studente conosce i modelli architetturali, le principali problematiche, e gli aspetti peculiari dei sistemi distribuiti. È in grado di progettare ed implementare sistemi distribuiti prototipali.

30 10 0 6 BONONI B 1° Semestre


Al termine del corso, lo studente conosce le problematiche di comunicazione basate su tecnologia wireless, e le soluzioni relative agli Standard e alle relative architetture sia protocollari che fisiche dei sistemi e reti wireless caratterizzate da dispositivi eterogenei e mobili. Conosce inoltre nuove modalità e paradigmi di implementazione dei servizi basati su tecnologia wireless, e alla base dell'integrazione e della convergenza delle tecnologie wired e wireless e dei servizi per Wireless Internet.

48 0 0 6 CASCIOLA C 2° Semestre


Al termine del corso, lo studente conosce i fondamenti della grafica 3D al calcolatore, tra cui i concetti di modellazione poligonale e resa in tempo reale. In particolare, è in grado di modellare e rappresentare graficamente scene 3D mediante opportune librerie.

12 D

36 0 0 6 TAMBURINI D 1° Semestre


Al termine del corso, lo studente conosce le principali problematiche relative al riconoscimento del linguaggio naturale e alla sua implementazione. È in grado di realizzare analizzatori sintattici di parti semplici del linguaggio naturale.

30 10 0 6 bando D 2° Semestre Raccomandato per il Curriculum A

Obiettivi attività formativa: ricercatore: Dal Lago

Gruppo: Corsi a libera scelta dello studente [CFU m in 12 CFU max ] TAF: D Ambito: 1008 - A scelta del lo studente

8028 000 000 34549 - 0 - ELABORAZIONE DEL LINGUAGGIO NATURALE INF/01 Voto

8028 000 000 72676 CRITTOGRAFIA INF/01 Voto

8028 000 000 55198 - 0 - SISTEMI E RETI WIRELESS INF/01 Voto

8028 000 000 17661 - 0 - GRAFICA MAT/08 Voto


8028 000 000 66874 - 0 - SISTEMI DISTRIBUITI INF/01 Voto

CURRICULUM C - SISTEMI E RETI

Allegato 6

Al termine del corso, lo studente conosce le metodiche e gli strumenti

della network analysis nei loro fondamentali teorici e nelle tipiche

applicazioni in internet, con riferimento alla caratterizzazione ed alla

modellizzazione dei fenomeni economici e sociali propri della rete. E' in

grado di disegnare un protocollo di ricerca ed applicarlo a contesti reali,

definendo le modalità di di acquisizione e gestione dei dati,

l'identificazione e l'esecuzione di misure di rete, l'interpretazione dei loro

esiti, in modo integrato con esigenze di simulazione e supporto alla

presa delle decisioni. Lo studente conosce inoltre l'uso dei principali

software di analisi statistica e rappresentazione grafica delle reti.

24 20 0 6 D 1° Semestre Raccomandato per il Curriculum B


Al termine del corso, lo studente possiede conoscenze legate al

Business Process Management (modellazione di processi, simulazione,

esecuzione) e alla progettazione e allo sviluppo di applicazioni basate

sulla Service Oriented Architecture (SOA).

Modulo I 12 10 0 bando

ricercatore: Rossi D.

Modulo II 12 10 0 bandoricercatore: Lanese

36 0 0 6 GASPARI D 2° Semestre Raccomandato per il Curriculum C








INF/01 Voto



8028 000 000 37616 - 0 - BUSINESS PROCESS MANAGEMENT

VERBALE DELL'ADUNANZA DEI CONSIGLIO DEL CORSO DI … · Risultano assenti giustificati: Alessandro...

Documents

Transcript of VERBALE DELL'ADUNANZA DEI CONSIGLIO DEL CORSO DI … · Risultano assenti giustificati: Alessandro...