Sistemi per il trattamento dell'informazione

Ha come obiettivo la formazione di una figura professionale con elevate competenze informatiche in grado di svolgere il ruolo di progettista di sistemi informatici, curando in particolare gli aspetti di modellizzazione dei dati e della conoscenza, di analisi dei flussi informativi e dei processi decisionali, di sviluppo di capacitą di risoluzione automatica di problemi. I laureati magistrali acquisiscono una solida preparazione nel campo delle basi di dati, delle moderne metodologie di programmazione e dell'intelligenza artificiale. Inoltre, il corso di studi dedica attenzione ai fondamenti dell' informatica, approfondisce le problematiche di interazione uomo-macchina relative allo sviluppo di interfacce efficaci, e sviluppa buone competenze nell'ambito di sistemi e reti. Il diffondersi della Societą dell' Informazione richiede specialisti in grado di rapportarsi e cooperare con esperti di altri settori. A tal fine la laurea magistrale, pur enfatizzando le competenze informatiche, cura la formazione interdisciplinare in diversi settori applicativi (ad esempio, analisi di dati biologici, economici, aziendali e sociologici).

Metodologie e sistemi informatici

La laurea magistrale in Metodologie e Sistemi Informatici si propone di approfondire le conoscenze professionali per la progettazione e lo sviluppo di applicazioni di sistemi software distribuiti. Lo scopo di questo corso di laurea smagistraleč di formare professionisti dotati di solide basi teoriche nel campo della descrizione e modellizzazione formale dei sistemi e di una approfondita conoscenza ed esperienza degli strumenti e linguaggi pił avanzati nel campo della specifica e implementazione di sistemi software, anche altamente distribuiti. Nella laurea magistrale verranno inoltre affrontate le problematiche delle standardizzazioni internazionali e lo studio e la sperimentazione degli strumenti utilizzati in ambito produttivo. Particolare attenzione verrą inoltre posta allo studio della sicurezza delle reti, di particolare rilevanza per tutte le applicazioni legate al mondo Internet (commercio elettronico, trading on-line, ecc.). La laurea magistrale intende produrre una figura professionale in grado di affrontare problemi che richiedono lo sviluppo e l'applicazione creativa di tecniche informatiche. In particolare il laureato sarą in grado di inserirsi rapidamente e professionalmente in progetti di sviluppo di software e di sistemi integrati; configurare e gestire server di rete e siti web; avviare e gestire centri di elaborazione dati; fornire supporto alle scelte della dirigenza in materia di automazione e informatizzazione

Realtą virtuale e multimedialitą

L'obiettivo primario di questa laurea magistrale consiste nel formare professionisti dotati di conoscenze di base e avanzate nell'ambito delle tecnologie che permettono la creazione e l'elaborazione dell'informazione multimodale nella sua evoluzione spazio-temporale. Vengono pertanto proposti temi che riguardano la grafica bi e tridimensionale, la realtą virtuale, gli effetti speciali, il colloquio fra sistemi. Gli insegnamenti forniscono agli studenti gli strumenti atti ad indirizzare le basi teoriche vitali per specifiche applicazioni che riguardano per esempio l'industria, il mondo dello spettacolo, lo sport, Internet, l'arte, la medicina, la ricerca. Questa laurea magistrale, oltre ad amplificare le conoscenze informatiche, intende fornire una bagaglio di esperienze interdisciplinari in modo tale da indurre nello specialista una visione ampia e collaborativa del necessario interscambio di competenze, fondamentale per la creazione di prodotti complessi, validi da tutti i punti di vista.

Logica computazionale

La laurea magistrale in Logica Computazionale si propone di fornire conoscenze professionali approfondite per la direzione e coordinazione di progetti e capacitą di innovazione nel campo dei fondamenti e dei metodi formali per lo sviluppo, la realizzazione e l'applicazione dei sistemi per l'elaborazione automatica di compiti intelligenti. Rientrano tra questi: la deduzione automatica, la verifica di programmi, il controllo di sistemi complessi, l'elaborazione del linguaggio naturale, le decisioni in campo economico e sociale, l'aggiornamento di basi di conoscenza, il ragionamento rivedibile, i sistemi esperti e pił in generale l'intelligenza artificiale. L'ideazione e la costruzione dei sistemi intelligenti richiede non solo la padronanza delle tecnologie informatiche, ma anche dei fondamenti matematici e di numerose relazioni interdisciplinari, che verrą adeguatamente fornita al laureato dal curriculum previsto.