Università Roma Tre

PRESENTARE LA TEORIA DEI LINGUAGGI E, PARALLELAMENTE, LA TEORIA DEGLI AUTOMI. INTRODURRE I PARADIGMI DELLA COMPUTABILITÀ E DELLA COMPLESSITÀ. AL TERMINE DEL CORSO GLI STUDENTI DOVREBBERO CONOSCERE NUOVE METODOLOGIE FORMALI, DOVREBBERO RIUSCIRE A RIVISITARE IN MODO CRITICO, DAL PUNTO DI VISTA DEL POTERE ESPRESSIVO, METODOLOGIE GIÀ INTRODOTTE IN MODO PRAGMATICO E DOVREBBERO ESSERE IN GRADO DI CLASSIFICARE I PROBLEMI DAL PUNTO DI VISTA DELLE RISORSE RICHIESTE PER LA LORO RISOLUZIONE.

FORNIRE COMPETENZE AVANZATE SULLE RETI DI CALCOLATORI CON CONTRIBUTI METODOLOGICI E TECNICI. PARTICOLARE ATTENZIONE È RISERVATA AGLI ASPETTI LEGATI ALLA SCALABILITÀ. AL TERMINE DELL’INSEGNAMENTO LO STUDENTE DOVREBBE AVER ASSIMILATO I CONCETTI DI INSTRADAMENTO INTERDOMINIO E INTRADOMINIO, CONTROLLO DI CONGESTIONE, ARCHITETTURE PER SERVIZI SCALABILI, E DOVREBBE AVER ACQUISITO TECNICALITÀ AVANZATE SUI PROTOCOLLI PIÙ DIFFUSI. LO STUDENTE INOLTRE DOVREBBE AVER COMPRESO QUALI SIANO GLI ASPETTI TECNICI ED ECONOMICI E QUALI SIANO I PRINCIPALI ATTORI CHE GOVERNANO L'EVOLUZIONE DI INTERNET

Conoscenze fondamentali della logica classica e di alcune logiche non
classiche e alcune loro applicazioni rilevanti per l'informatica

"FORNIRE CONOSCENZE DI BASE, SIA METODOLOGICHE CHE QUANTITATIVE, PER LA RAPPRESENTAZIONE E LA SOLUZIONE DI PROBLEMI DI OTTIMIZZAZIONE.
PREPARARE GLI STUDENTI ALL'USO DEI MODELLI DI PROGRAMMAZIONE MATEMATICA CON PARTICOLARE ATTENZIONE RIVOLTA AI MODELLI DI OTTIMIZZAZIONE A VARIABILI INTERE E AD ALCUNE LORO APPLICAZIONI."

ACQUISIRE CONOSCENZE GENERALI SUI SISTEMI MOBILI CELLULARI COME PARTE INTEGRANTE DI RETI DI COMUNICAZIONE. FORNIRE UNA PANORAMICA SUI PRINCIPALI SISTEMI DI RETI MOBILI CELLULARI DI NUOVA GENERAZIONE (UMTS E WI-MAX), DESCRIVENDO SOMMARIAMENTE L'ARCHITETTURA DELLE RETI DI ACCESSO E DEL CORE NETWORK SULLA BASE DI CONCETTI OPERATIVI FONDAMENTALI. ACQUISIRE CONOSCENZE DI BASE SULLE TECNICHE WIRELESS DI ACCESSO MULTIPLO ALLA RISORSA RADIO E DI COPERTURA CELLULARE. ACQUISIRE CONOSCENZE SPECIFICHE SULLA GESTIONE DELLA RETE STRUTTURATA CONDIVISA, DELLA MOBILITÀ E DELLA SICUREZZA DELLE COMUNICAZIONI CELLULARI. DESCRIVERE I CRITERI FONDAMENTALI DI PROCEDURE E PROTOCOLLI PER L'INTEROPERABILITÀ CON RETI ETEROGENEE ED ILLUSTRARE METODOLOGIE DI REALIZZAZIONE DI RETI CELLULARI VIRTUALI BASATE SU PROTOCOLLO IP E SERVIZI WEB. DESCRIVERE I PRINCIPALI SERVIZI DELLE RETI MOBILI CELLULARI DI NUOVA GENERAZIONE (NGN), ILLUSTRANDO ANCHE GLI STRUMENTI PRINCIPALI PER REALIZZARE LE SUDDETTE APPLICAZIONI E SERVIZI.

COMPRENDERE LE PROBLEMATICHE DELLA PROGRAMMAZIONE DI ATTIVITÀ CONCORRENTI. UTILIZZARE LINGUAGGI DI PROGRAMMAZIONE DIFFUSI PER LA RISOLUZIONE DI PROBLEMI CONCORRENTI.

PRESENTARE ASPETTI SIA METODOGICI CHE TECNOLOGICI RELATIVI ALLA DEFINIZIONE DI ARCHITETTURE SOFTWARE, CHE RIVESTONO UN RUOLO FONDAMENTALE NEL RAGGIUNGIMENTO DI OBIETTIVI DI QUALITÀ (NON FUNZIONALI) DA PARTE DEI SISTEMI SOFTWARE. PARTICOLARE ATTENZIONE SARÀ DATA ALLE ARCHITETTURE PER SISTEMI SOFTWARE DISTRIBUITI, INCLUSE LE ARCHITETTURE BASATE SU COMPONENTI E LE ARCHITETTURE ORIENTATE AI SERVIZI. ALLA FINE DEL CORSO LO STUDENTE DOVREBBE SAPERE IMPOSTARE IL PROGETTO DI UN'ARCHITETTURA SOFTWARE, ANALIZZANDONE DETTAGLI E PROBLEMATICHE TECNOLOGICHE E METODOLOGICHE, E VALUTARE L'ARCHITETTURA IN TERMINI DEL RAGGIUNGIMENTO DI OBIETTIVI DI QUALITÀ.

AFFRONTARE I PRINCIPI METODOLOGICI ALLA BASE DI MOLTE FASI DEL CICLO DI VITA DEI SISTEMI INFORMATIVI, CON RIFERIMENTO NON SOLO AGLI ASPETTI TECNOLOGICI, MA ANCHE E SOPRATTUTTO A QUELLI CHE RICHIEDONO ATTENZIONE AL CONTESTO ORGANIZZATIVO ED ECONOMICO. ARRICCHIRE IL PATRIMONIO CULTURALE DEGLI STUDENTI, ATTRAVERSO UNA SERIE DI CONTRIBUTI MONOGRAFICI O SEMINARIALI.

FORNIRE LE COMPETENZE NECESSARIE PER COMPRENDERE E FRONTEGGIARE PROBLEMATICHE DI SICUREZZA NELL'AMBITO DELLE RETI E DEI SISTEMI INFORMATICI, PER PROGETTARE SISTEMI INFORMATICI E RETI CON UN CERTO LIVELLO DI SICUREZZA E PER GESTIRE LE ATTIVITÀ LEGATE ALLA SICUREZZA INFORMATICA ANCHE IN RIFERIMENTO GLI OBBLIGHI NORMATIVI ITALIANI.

AFFRONTARE LE PROBLEMATICHE RELATIVE ALLO STUDIO, ALLA  REALIZZAZIONE E ALLA SPERIMENTAZIONE DI SISTEMI SOFTWARE PER INTERNET, REALIZZATI MEDIANTE TECNICHE DI INTELLIGENZA ARTIFICIALE. PARTICOLARE ATTENZIONE È POSTA SUI SISTEMI ADATTIVI BASATI SU MODELLAZIONE DELL'UTENTE.

FORNIRE CONOSCENZE AVANZATE, PREVALENTEMENTE METODOLOGICHE, NECESSARIE PER RAPPRESENTARE E TRATTARE CON STRUMENTI INFORMATICI PROCESSI DECISIONALI E MODELLI QUANTITATIVI.

ACQUISIRE UN'ADEGUATA CONOSCENZA DI TECNICHE ALGORITMICHE AVANZATE, CON PARTICOLARE RIFERIMENTO ALLA RISOLUZIONE DI PROBLEMI SU GRAFI E RETI. STRUTTURE DI DATI AVANZATE DI SUPPORTO A TALI TECNICHE.

FORNIRE COMPETENZE E ABILITÀ DI PROGETTAZIONE, CONFIGURAZIONE E GESTIONE DI SERVIZI DI RETE CON QUALITÀ GARANTITA. OGGETTO DEL PROGRAMMA È TANTO L'ASPETTO PROGETTUALE, MIRATO A PERSEGUIRE OBIETTIVI DI SICUREZZA, AFFIDABILITÀ, E PERFORMANCE, QUANTO L'ASPETTO DI GESTIONE, MONITORAGGIO  E MISURA DEGLI INDICATORI DELLA QUALITÀ DEL SERVIZIO. LO STUDENTE DOVRA' ACQUISIRE  COMPETENZE SULLA CONFIGURAZIONE DI APPARATI DI RETE E DI SICUREZZA DI ULTIMA GENERAZIONE.

ACQUISIRE FAMILIARITÀ CON I COMPLESSI PROBLEMI DERIVANTI DALL'UTILIZZO DI DATI IN FORMATI DIVERSI PROVENIENTI DA FONTI DIVERSE. STUDIO DELLE PROPOSTE SCIENTIFICHE RECENTEMENTE FORMULATE, CON RIFERIMENTO AD AREE QUALI LE BASI DI DATI FEDERATE, L'INTEGRAZIONE DI BASI DI DATI, IL DATA EXCHANGE, IL MODEL MANAGEMENT E I DATASPACE.

FORNIRE COMPETENZE SULLE PIÙ RECENTI METODOLOGIE E TECNOLOGIE DELLE RETI DI CALCOLATORI QUALI AD ES.: TECNICHE AVANZATE DI ROUTING, NUOVO RAPPORTO TRA RETI E DATA CENTER, GREEN NETWORKS, USO ESTESO DELLA VIRTUALIZZAZIONE.

ESPORRE MODELLI, METODI E SISTEMI FONDAMENTALI PER LA TECNOLOGIA DELLE BASI DI DATI INSIEME AD ALCUNE RECENTI DIREZIONI DI EVOLUZIONE DELLA TECNOLOGIA STESSA. AFFRONTARE LE RECENTI DIREZIONI DI EVOLUZIONE DELLE METODOLOGIE E TECNOLOGIE DELLE BASI DI DATI, CON RIFERIMENTO ALLE PRINCIPALI FAMIGLIE DI PROBLEMI DI INTERESSE: INTEGRAZIONE DI BASI DI DATI ETEROGENEE E AUTONOME; UTILIZZO DI BASI DI DATI PER APPLICAZIONI DI ANALISI E SUPPORTO ALLE DECISIONI; UTILIZZO DI BASI DI DATI PER GESTIONE DI INFORMAZIONI SEMISTRUTTURATE. SUPERATO IL CORSO, LO STUDENTE CONOSCERÀ LE TECNOLOGIE FONDAMENTALI SU CUI SONO BASATI I DBMS RELAZIONALI E LE PRINCIPALI METODOLOGIE E TECNOLOGIE PER L'INTEGRAZIONE, PER LO SVILUPPO DI DATAWAREHOUSE E PER LO SVILUPPO DI APPLICAZIONI CON BASI DI DATI IN AMBITO XML.

FORNIRE ALLO STUDENTE CONOSCENZE METODOLOGICO-OPERATIVE E COMPETENZE PROGETTUALI PER QUANTO ATTIENE AI METODI DI COSTRUZIONE E RENDERING DI SCENE GRAFICHE 2D E 3D. LO STUDENTE CHE ABBIA SUPERATO IL CORSO DOVRA' ESSERE IN GRADO DI: PROGETTARE E SVILUPPARE APPLICAZIONI GRAFICHE, NONCHE` DI PARTECIPARE AL PROGETTO E ALLO SVILUPPO DI LIBRERIE E SOTTOSISTEMI GRAFICI PER APPLICAZIONI GENERICHE

PRESENTARE E TECNICHE FONDAMENTALI DI VARIE AREE DELL'INTELLIGENZA ARTIFICIALE RELATIVE ALLA RAPPRESENTAZIONE DELLA CONOSCENZA E RAGIONAMENTO AUTOMATICO, ALL'APPRENDIMENTO AUTOMATICO, ALL'ELABORAZIONE DEL LINGUAGGIO NATURALE, ALLA VISIONE ARTIFICIALE.

FORNIRE CONOSCENZE METODOLOGICO-OPERATIVE E COMPETENZE PROGETTUALI PER QUANTO ATTIENE ALLE MODERNE ARCHITETTURE HARDWARE E SOFTWARE PER IL CALCOLO PARALLELO E DISTRIBUITO, INCLUSE LE INFRASTRUTTURE DI GRID COMPUTING, OVVERO CLUSTER STRETTAMENTE INTERCONNESSI DI MICROCOMPUTER DISTRIBUITI A LIVELLO GEOGRAFICO. LO STUDENTE CHE ABBIA SUPERATO IL CORSO DOVRA' ESSERE IN GRADO DI PARTECIPARE AL PROGETTO E ALLO SVILUPPO DI APPLICAZIONI USANDO LINGUAGGI PARALLELI E UTILIZZANDO I METODI ITERATIVI DISTRIBUITI TIPICI DELLA SIMULAZIONE DI PROBLEMI INGEGNERISTICI.

PRESENTARE UN'INTRODUZIONE ALLA CRITTOGRAFIA UTILE A CAPIRE LE INNOVAZIONI ODIERNE; FORNIRE I CONCETTI MATEMATICI CHE SONO ALLA BASE DI ALGORITMI CRITTOGRAFICI E DI STIMOLARE L'INTERESSE DEGLI STUDENTI PER LA PARTE APPLICATIVA.

COMUNICARE LE IDEE FONDAMENTALI DELLA MECCANICA QUANTISTICA, ANCHE NELLE SUE CONSEGUENZE MENO INTUITIVE. DESCRIVERE L'IMPATTO DELLA MECCANICA QUANTISTICA SULLA MODERNA TECNOLOGIA DELL'INFORMAZIONE, ATTRAVERSO ALCUNI ESEMPI. FORNIRE GLI STRUMENTI NECESSARI PER POTER AFFRONTARE ALCUNE APPLICAZIONI DI PUNTA DELLA MECCANICA QUANTISTICA ALL'INFORMATICA, QUALI AD ESEMPIO IL CALCOLO QUANTISTICO, LA CRITTOGRAFIA QUANTISTICA.

IL CORSO INTENDE INTRODURRE LO STUDENTE DELLA LAUREA MAGISTRALE ALLO STUDIO DELLE APPLICAZIONI MEDICHE E BIOLOGICHE DELL’INFORMATICA E DEL CALCOLO AUTOMATICO, CON RIFERIMENTO SIA AI CONCETTI DI BASE, RELATIVI AI TIPI FONDAMENTALI DI DATI BIO-MEDICI E ALLA LORO ORGANIZZAZIONE IN STRUTTURE INFORMATIVE COMPLESSE, SIA AI PIÙ RECENTI SVILUPPI DELLA MODELLAZIONE ANATOMICA E DELLA SIMULAZIONE FISIOLOGICA, CHE UTILIZZANO TECNICHE GEOMETRICHE E FISICO-MATEMATICHE SOFISTICATE. QUESTE RICHIEDONO IL SUPPORTO DI STRUTTURE COMPUTAZIONALI HARDWARE E SOFTWARE DI NOTEVOLE COMPLESSITÀ CHE NECESSITANO DI SPECIALISTI INFORMATICI CON UN FORMAZIONE MULTIDISCIPLINARE.

FORNIRE COMPETENZE SU SISTEMI, METODOLOGIE, E MODELLI E FORMALISMI PER LA GESTIONE DELLE INFORMAZIONI (E DEI SERVIZI) SU WEB. IN PARTICOLARE IL CORSO MIRA A PRESENTARE: I PRINCIPI ALLA BASE DEI SISTEMI DI CRAWLING E INDICIZZAZIONE DEI DOCUMENTI; LE METODOLOGIE E LE TECNONOLOGIE PER LA CONDIVISIONE DI DATI E SERVIZI SU WEB, CON FORTE ATTENZIONE ALLE RECENTI EVOLUZIONI DEL WEB.

ACQUISIRE UN NUOVO CONCETTO DI CITTADINANZA BASATO SULLE PARI OPPORTUNITÀ, PRINCIPIO FONDAMENTALE DELLA DEMOCRAZIA E DEL RISPETTO DELLA PERSONA.
SVILUPPARE COMPETENZA ADEGUATA AL RAPPORTO FRA UGUAGLIANZA E DIFFERENZE.

PRESENTARE LA TEORIA DEI LINGUAGGI E, PARALLELAMENTE, LA TEORIA DEGLI AUTOMI. INTRODURRE I PARADIGMI DELLA COMPUTABILITÀ E DELLA COMPLESSITÀ. AL TERMINE DEL CORSO GLI STUDENTI DOVREBBERO CONOSCERE NUOVE METODOLOGIE FORMALI, DOVREBBERO RIUSCIRE A RIVISITARE IN MODO CRITICO, DAL PUNTO DI VISTA DEL POTERE ESPRESSIVO, METODOLOGIE GIÀ INTRODOTTE IN MODO PRAGMATICO E DOVREBBERO ESSERE IN GRADO DI CLASSIFICARE I PROBLEMI DAL PUNTO DI VISTA DELLE RISORSE RICHIESTE PER LA LORO RISOLUZIONE.

FORNIRE COMPETENZE AVANZATE SULLE RETI DI CALCOLATORI CON CONTRIBUTI METODOLOGICI E TECNICI. PARTICOLARE ATTENZIONE È RISERVATA AGLI ASPETTI LEGATI ALLA SCALABILITÀ. AL TERMINE DELL’INSEGNAMENTO LO STUDENTE DOVREBBE AVER ASSIMILATO I CONCETTI DI INSTRADAMENTO INTERDOMINIO E INTRADOMINIO, CONTROLLO DI CONGESTIONE, ARCHITETTURE PER SERVIZI SCALABILI, E DOVREBBE AVER ACQUISITO TECNICALITÀ AVANZATE SUI PROTOCOLLI PIÙ DIFFUSI. LO STUDENTE INOLTRE DOVREBBE AVER COMPRESO QUALI SIANO GLI ASPETTI TECNICI ED ECONOMICI E QUALI SIANO I PRINCIPALI ATTORI CHE GOVERNANO L'EVOLUZIONE DI INTERNET

Conoscenze fondamentali della logica classica e di alcune logiche non
classiche e alcune loro applicazioni rilevanti per l'informatica

"FORNIRE CONOSCENZE DI BASE, SIA METODOLOGICHE CHE QUANTITATIVE, PER LA RAPPRESENTAZIONE E LA SOLUZIONE DI PROBLEMI DI OTTIMIZZAZIONE.
PREPARARE GLI STUDENTI ALL'USO DEI MODELLI DI PROGRAMMAZIONE MATEMATICA CON PARTICOLARE ATTENZIONE RIVOLTA AI MODELLI DI OTTIMIZZAZIONE A VARIABILI INTERE E AD ALCUNE LORO APPLICAZIONI."

ACQUISIRE CONOSCENZE GENERALI SUI SISTEMI MOBILI CELLULARI COME PARTE INTEGRANTE DI RETI DI COMUNICAZIONE. FORNIRE UNA PANORAMICA SUI PRINCIPALI SISTEMI DI RETI MOBILI CELLULARI DI NUOVA GENERAZIONE (UMTS E WI-MAX), DESCRIVENDO SOMMARIAMENTE L'ARCHITETTURA DELLE RETI DI ACCESSO E DEL CORE NETWORK SULLA BASE DI CONCETTI OPERATIVI FONDAMENTALI. ACQUISIRE CONOSCENZE DI BASE SULLE TECNICHE WIRELESS DI ACCESSO MULTIPLO ALLA RISORSA RADIO E DI COPERTURA CELLULARE. ACQUISIRE CONOSCENZE SPECIFICHE SULLA GESTIONE DELLA RETE STRUTTURATA CONDIVISA, DELLA MOBILITÀ E DELLA SICUREZZA DELLE COMUNICAZIONI CELLULARI. DESCRIVERE I CRITERI FONDAMENTALI DI PROCEDURE E PROTOCOLLI PER L'INTEROPERABILITÀ CON RETI ETEROGENEE ED ILLUSTRARE METODOLOGIE DI REALIZZAZIONE DI RETI CELLULARI VIRTUALI BASATE SU PROTOCOLLO IP E SERVIZI WEB. DESCRIVERE I PRINCIPALI SERVIZI DELLE RETI MOBILI CELLULARI DI NUOVA GENERAZIONE (NGN), ILLUSTRANDO ANCHE GLI STRUMENTI PRINCIPALI PER REALIZZARE LE SUDDETTE APPLICAZIONI E SERVIZI.

COMPRENDERE LE PROBLEMATICHE DELLA PROGRAMMAZIONE DI ATTIVITÀ CONCORRENTI. UTILIZZARE LINGUAGGI DI PROGRAMMAZIONE DIFFUSI PER LA RISOLUZIONE DI PROBLEMI CONCORRENTI.

PRESENTARE ASPETTI SIA METODOGICI CHE TECNOLOGICI RELATIVI ALLA DEFINIZIONE DI ARCHITETTURE SOFTWARE, CHE RIVESTONO UN RUOLO FONDAMENTALE NEL RAGGIUNGIMENTO DI OBIETTIVI DI QUALITÀ (NON FUNZIONALI) DA PARTE DEI SISTEMI SOFTWARE. PARTICOLARE ATTENZIONE SARÀ DATA ALLE ARCHITETTURE PER SISTEMI SOFTWARE DISTRIBUITI, INCLUSE LE ARCHITETTURE BASATE SU COMPONENTI E LE ARCHITETTURE ORIENTATE AI SERVIZI. ALLA FINE DEL CORSO LO STUDENTE DOVREBBE SAPERE IMPOSTARE IL PROGETTO DI UN'ARCHITETTURA SOFTWARE, ANALIZZANDONE DETTAGLI E PROBLEMATICHE TECNOLOGICHE E METODOLOGICHE, E VALUTARE L'ARCHITETTURA IN TERMINI DEL RAGGIUNGIMENTO DI OBIETTIVI DI QUALITÀ.

AFFRONTARE I PRINCIPI METODOLOGICI ALLA BASE DI MOLTE FASI DEL CICLO DI VITA DEI SISTEMI INFORMATIVI, CON RIFERIMENTO NON SOLO AGLI ASPETTI TECNOLOGICI, MA ANCHE E SOPRATTUTTO A QUELLI CHE RICHIEDONO ATTENZIONE AL CONTESTO ORGANIZZATIVO ED ECONOMICO. ARRICCHIRE IL PATRIMONIO CULTURALE DEGLI STUDENTI, ATTRAVERSO UNA SERIE DI CONTRIBUTI MONOGRAFICI O SEMINARIALI.

FORNIRE LE COMPETENZE NECESSARIE PER COMPRENDERE E FRONTEGGIARE PROBLEMATICHE DI SICUREZZA NELL'AMBITO DELLE RETI E DEI SISTEMI INFORMATICI, PER PROGETTARE SISTEMI INFORMATICI E RETI CON UN CERTO LIVELLO DI SICUREZZA E PER GESTIRE LE ATTIVITÀ LEGATE ALLA SICUREZZA INFORMATICA ANCHE IN RIFERIMENTO GLI OBBLIGHI NORMATIVI ITALIANI.

COMUNICARE LE IDEE FONDAMENTALI DELLA MECCANICA QUANTISTICA, ANCHE NELLE SUE CONSEGUENZE MENO INTUITIVE. DESCRIVERE L'IMPATTO DELLA MECCANICA QUANTISTICA SULLA MODERNA TECNOLOGIA DELL'INFORMAZIONE, ATTRAVERSO ALCUNI ESEMPI. FORNIRE GLI STRUMENTI NECESSARI PER POTER AFFRONTARE ALCUNE APPLICAZIONI DI PUNTA DELLA MECCANICA QUANTISTICA ALL'INFORMATICA, QUALI AD ESEMPIO IL CALCOLO QUANTISTICO, LA CRITTOGRAFIA QUANTISTICA.

AFFRONTARE LE PROBLEMATICHE RELATIVE ALLO STUDIO, ALLA  REALIZZAZIONE E ALLA SPERIMENTAZIONE DI SISTEMI SOFTWARE PER INTERNET, REALIZZATI MEDIANTE TECNICHE DI INTELLIGENZA ARTIFICIALE. PARTICOLARE ATTENZIONE È POSTA SUI SISTEMI ADATTIVI BASATI SU MODELLAZIONE DELL'UTENTE.

FORNIRE CONOSCENZE AVANZATE, PREVALENTEMENTE METODOLOGICHE, NECESSARIE PER RAPPRESENTARE E TRATTARE CON STRUMENTI INFORMATICI PROCESSI DECISIONALI E MODELLI QUANTITATIVI.

ACQUISIRE UN'ADEGUATA CONOSCENZA DI TECNICHE ALGORITMICHE AVANZATE, CON PARTICOLARE RIFERIMENTO ALLA RISOLUZIONE DI PROBLEMI SU GRAFI E RETI. STRUTTURE DI DATI AVANZATE DI SUPPORTO A TALI TECNICHE.

FORNIRE COMPETENZE E ABILITÀ DI PROGETTAZIONE, CONFIGURAZIONE E GESTIONE DI SERVIZI DI RETE CON QUALITÀ GARANTITA. OGGETTO DEL PROGRAMMA È TANTO L'ASPETTO PROGETTUALE, MIRATO A PERSEGUIRE OBIETTIVI DI SICUREZZA, AFFIDABILITÀ, E PERFORMANCE, QUANTO L'ASPETTO DI GESTIONE, MONITORAGGIO  E MISURA DEGLI INDICATORI DELLA QUALITÀ DEL SERVIZIO. LO STUDENTE DOVRA' ACQUISIRE  COMPETENZE SULLA CONFIGURAZIONE DI APPARATI DI RETE E DI SICUREZZA DI ULTIMA GENERAZIONE.

ACQUISIRE FAMILIARITÀ CON I COMPLESSI PROBLEMI DERIVANTI DALL'UTILIZZO DI DATI IN FORMATI DIVERSI PROVENIENTI DA FONTI DIVERSE. STUDIO DELLE PROPOSTE SCIENTIFICHE RECENTEMENTE FORMULATE, CON RIFERIMENTO AD AREE QUALI LE BASI DI DATI FEDERATE, L'INTEGRAZIONE DI BASI DI DATI, IL DATA EXCHANGE, IL MODEL MANAGEMENT E I DATASPACE.

FORNIRE COMPETENZE SULLE PIÙ RECENTI METODOLOGIE E TECNOLOGIE DELLE RETI DI CALCOLATORI QUALI AD ES.: TECNICHE AVANZATE DI ROUTING, NUOVO RAPPORTO TRA RETI E DATA CENTER, GREEN NETWORKS, USO ESTESO DELLA VIRTUALIZZAZIONE.

ESPORRE MODELLI, METODI E SISTEMI FONDAMENTALI PER LA TECNOLOGIA DELLE BASI DI DATI INSIEME AD ALCUNE RECENTI DIREZIONI DI EVOLUZIONE DELLA TECNOLOGIA STESSA. AFFRONTARE LE RECENTI DIREZIONI DI EVOLUZIONE DELLE METODOLOGIE E TECNOLOGIE DELLE BASI DI DATI, CON RIFERIMENTO ALLE PRINCIPALI FAMIGLIE DI PROBLEMI DI INTERESSE: INTEGRAZIONE DI BASI DI DATI ETEROGENEE E AUTONOME; UTILIZZO DI BASI DI DATI PER APPLICAZIONI DI ANALISI E SUPPORTO ALLE DECISIONI; UTILIZZO DI BASI DI DATI PER GESTIONE DI INFORMAZIONI SEMISTRUTTURATE. SUPERATO IL CORSO, LO STUDENTE CONOSCERÀ LE TECNOLOGIE FONDAMENTALI SU CUI SONO BASATI I DBMS RELAZIONALI E LE PRINCIPALI METODOLOGIE E TECNOLOGIE PER L'INTEGRAZIONE, PER LO SVILUPPO DI DATAWAREHOUSE E PER LO SVILUPPO DI APPLICAZIONI CON BASI DI DATI IN AMBITO XML.

FORNIRE ALLO STUDENTE CONOSCENZE METODOLOGICO-OPERATIVE E COMPETENZE PROGETTUALI PER QUANTO ATTIENE AI METODI DI COSTRUZIONE E RENDERING DI SCENE GRAFICHE 2D E 3D. LO STUDENTE CHE ABBIA SUPERATO IL CORSO DOVRA' ESSERE IN GRADO DI: PROGETTARE E SVILUPPARE APPLICAZIONI GRAFICHE, NONCHE` DI PARTECIPARE AL PROGETTO E ALLO SVILUPPO DI LIBRERIE E SOTTOSISTEMI GRAFICI PER APPLICAZIONI GENERICHE

PRESENTARE E TECNICHE FONDAMENTALI DI VARIE AREE DELL'INTELLIGENZA ARTIFICIALE RELATIVE ALLA RAPPRESENTAZIONE DELLA CONOSCENZA E RAGIONAMENTO AUTOMATICO, ALL'APPRENDIMENTO AUTOMATICO, ALL'ELABORAZIONE DEL LINGUAGGIO NATURALE, ALLA VISIONE ARTIFICIALE.

Conoscenze fondamentali della logica classica e di alcune logiche non
classiche e alcune loro applicazioni rilevanti per l'informatica

FORNIRE CONOSCENZE METODOLOGICO-OPERATIVE E COMPETENZE PROGETTUALI PER QUANTO ATTIENE ALLE MODERNE ARCHITETTURE HARDWARE E SOFTWARE PER IL CALCOLO PARALLELO E DISTRIBUITO, INCLUSE LE INFRASTRUTTURE DI GRID COMPUTING, OVVERO CLUSTER STRETTAMENTE INTERCONNESSI DI MICROCOMPUTER DISTRIBUITI A LIVELLO GEOGRAFICO. LO STUDENTE CHE ABBIA SUPERATO IL CORSO DOVRA' ESSERE IN GRADO DI PARTECIPARE AL PROGETTO E ALLO SVILUPPO DI APPLICAZIONI USANDO LINGUAGGI PARALLELI E UTILIZZANDO I METODI ITERATIVI DISTRIBUITI TIPICI DELLA SIMULAZIONE DI PROBLEMI INGEGNERISTICI.

PRESENTARE UN'INTRODUZIONE ALLA CRITTOGRAFIA UTILE A CAPIRE LE INNOVAZIONI ODIERNE; FORNIRE I CONCETTI MATEMATICI CHE SONO ALLA BASE DI ALGORITMI CRITTOGRAFICI E DI STIMOLARE L'INTERESSE DEGLI STUDENTI PER LA PARTE APPLICATIVA.

IL CORSO INTENDE INTRODURRE LO STUDENTE DELLA LAUREA MAGISTRALE ALLO STUDIO DELLE APPLICAZIONI MEDICHE E BIOLOGICHE DELL’INFORMATICA E DEL CALCOLO AUTOMATICO, CON RIFERIMENTO SIA AI CONCETTI DI BASE, RELATIVI AI TIPI FONDAMENTALI DI DATI BIO-MEDICI E ALLA LORO ORGANIZZAZIONE IN STRUTTURE INFORMATIVE COMPLESSE, SIA AI PIÙ RECENTI SVILUPPI DELLA MODELLAZIONE ANATOMICA E DELLA SIMULAZIONE FISIOLOGICA, CHE UTILIZZANO TECNICHE GEOMETRICHE E FISICO-MATEMATICHE SOFISTICATE. QUESTE RICHIEDONO IL SUPPORTO DI STRUTTURE COMPUTAZIONALI HARDWARE E SOFTWARE DI NOTEVOLE COMPLESSITÀ CHE NECESSITANO DI SPECIALISTI INFORMATICI CON UN FORMAZIONE MULTIDISCIPLINARE.

FORNIRE COMPETENZE SU SISTEMI, METODOLOGIE, E MODELLI E FORMALISMI PER LA GESTIONE DELLE INFORMAZIONI (E DEI SERVIZI) SU WEB. IN PARTICOLARE IL CORSO MIRA A PRESENTARE: I PRINCIPI ALLA BASE DEI SISTEMI DI CRAWLING E INDICIZZAZIONE DEI DOCUMENTI; LE METODOLOGIE E LE TECNONOLOGIE PER LA CONDIVISIONE DI DATI E SERVIZI SU WEB, CON FORTE ATTENZIONE ALLE RECENTI EVOLUZIONI DEL WEB.

ACQUISIRE UN NUOVO CONCETTO DI CITTADINANZA BASATO SULLE PARI OPPORTUNITÀ, PRINCIPIO FONDAMENTALE DELLA DEMOCRAZIA E DEL RISPETTO DELLA PERSONA.
SVILUPPARE COMPETENZA ADEGUATA AL RAPPORTO FRA UGUAGLIANZA E DIFFERENZE.