Il percorso ha la certificazione (STANDARD)
Corso di Laurea: Informatica
-
Percorso: Corso di Laurea Magistrale in Informatica
Legenda delle Aree (versione standard)
A:
Fondamenti
G:
Basi di dati
A_M:
Una qualunque delle aree da A a M
B:
Algoritmi
H:
Computazione su rete
altro INF:
Crediti di INFORMATICA non classificati nelle aree
C:
Programmazione
I:
Ingegneria del software
INF:
Crediti di INFORMATICA non classificabili a priori
D:
Linguaggi
L:
Interazione, grafica e multimedialità
altro:
Crediti NON dell'INFORMATICA né della MATEMATICA
E:
Architetture
M:
Rappresentazione della conoscenza
NCP:
Crediti Non Classificabili a priori
F:
Sistemi operativi
MAT:
Crediti di MATEMATICA
Legenda delle Aree (versione beta)
AL:
Algorithms and Complexity
IS:
Intelligent Systems
SP:
Social Issues and Professional Practice
AR:
Architecture and Organization
NC:
Networking and Communication
MAT:
Crediti di MATEMATICA
DS:
Discrete Structures
OS:
Operating Systems
altro INF:
Crediti di INFORMATICA non classificati nelle aree
GV:
Graphics and Visualization
PBD:
Platform-Based Development
INF:
Crediti di INFORMATICA non classificabili a priori
HCI:
Human Computer Interaction
PD:
Parallel and Distributed Computing
altro:
Crediti NON dell'INFORMATICA né della MATEMATICA
IAS:
Information Assurance and Security
PL:
Programming Languages
NCP:
Crediti Non Classificabili a priori
IM:
Information Management
SE:
Software Engineering
Riepilogo dell'insegnamento: Agile Software Development for Enterprise
6 cfu così ripartiti nelle aree:
1 CFU nell'area G - Basi di dati
4 CFU nell'area I - Ingegneria del software
1 CFU nell'area L - Interazione, grafica e multimedialità
Sillabo dell'insegnamento
G - Basi di dati
I - Ingegneria del software
*
ASW - Architetture Software
Patterns of enterpirse application architectures
*
PSC - Progettazione del Software e Codifica
The Hibernate Framework for Enterprise Application Development
*
PSS - Processi di Sviluppo del Software
Agile Software Development with Scrum
*
PSC - Progettazione del Software e Codifica
Introductin to the Spring Framework for Enterprise Application Development
L - Interazione, grafica e multimedialità
*
IMW - Ipertesti, Multimedialita' e WWW
Web Application Development with jQuery
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Business Intelligence and Analytics
12 cfu così ripartiti nelle aree:
6 CFU nell'area G - Basi di dati
6 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
G - Basi di dati
BDA - Basi di Dati Avanzate
DW Design: from fact schema to star schema
BDA - Basi di Dati Avanzate
Homogeneous and heterogeneous DDBMSs: Federations, Data Warehouses, Cooperative Information Systems
BDA - Basi di Dati Avanzate
Data Warehouse: Motivations and Architettures
BDA - Basi di Dati Avanzate
Reconciliation, Integration and ETL problems
*
PC - Progettazione concettuale
Conceptual Modelling and Conceptual Design
*
ML - Modelli logici
Logic Modelling and The Multidimensional model
M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Introduction to Data Mining
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Concept learning and the general-to-specific ordering
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Elements of probability theory and Entropy
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Decision Trees and Rule learning
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Naïve Bayes classifiers and Text classification
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Ensemble methods, Association rules, and Clustering
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Computational Physics
6 cfu così ripartiti nelle aree:
6 CFU nell'area altro - Crediti NON dell'INFORMATICA né della MATEMATICA
Sillabo dell'insegnamento
Riepilogo dell'insegnamento: Computer Graphics
6 cfu così ripartiti nelle aree:
1 CFU nell'area E - Architetture
5 CFU nell'area L - Interazione, grafica e multimedialità
Sillabo dell'insegnamento
E - Architetture
L - Interazione, grafica e multimedialità
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
GPGPU programming in CUDA
RV - Rendering e Visualizzazione
Lighting Models and Compute Shaders
RV - Rendering e Visualizzazione
Primitive Processing, Fragment Processing and the Framebuffer
MG - Modellazione Geometrica
Math for 3D Graphics
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
Vertex Processing and Drawing Commands
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Cryptography
6 cfu così ripartiti nelle aree:
6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/02 - Algebra
Coding theory: Linear codes, parity check and syndrome
MAT/02 - Algebra
Algebra: Basic notions from number theory, groups, rings and fields
MAT/02 - Algebra
Algebra: vector spaces and matrices over finite fields
MAT/02 - Algebra
Cryptography: RSA; AES; ElGamal; Diffie-Hellman; Discrete logarithms (Pohlig-Hellman algorithm)
MAT/02 - Algebra
Cryptography: Prime numbers (Miller-Rabin test)
MAT/02 - Algebra
Coding theory: Introduction to coding theory
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Intelligent Systems
6 cfu così ripartiti nelle aree:
6 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
M - Rappresentazione della conoscenza
AIA - Applicazioni della Intelligenza Artificiale
Tools and Platforms for Developing Agent-based Systems
AI - Agenti Intelligenti
Artificial Intelligence and Agents
*
RP - Risoluzione di Problemi
Problem Solving
RA - Ragionamento Automatico
Knowledge and Reasoning
AI - Agenti Intelligenti
Communicating, Perceiving, and Acting
AI - Agenti Intelligenti
Multi-agent Systens and Introduction to Game Theory
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Knowledge Representation and Semantic Web
9 cfu così ripartiti nelle aree:
9 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
M - Rappresentazione della conoscenza
*
LPD - Logica e Programmazione Dichiarativa
Propositional logic
*
LPD - Logica e Programmazione Dichiarativa
Propositional logic
*
LPD - Logica e Programmazione Dichiarativa
First-order logic
*
LPD - Logica e Programmazione Dichiarativa
Calculi
*
SBC - Sistemi Basati su Conoscenza
DTD and XML Schema
*
SBC - Sistemi Basati su Conoscenza
XPath and XSLT
*
SBC - Sistemi Basati su Conoscenza
Description Logics
*
SBC - Sistemi Basati su Conoscenza
XML, RDF, RDF-S
*
SBC - Sistemi Basati su Conoscenza
OWL
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Modelling and Simulation
6 cfu così ripartiti nelle aree:
6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Network and Security
6 cfu così ripartiti nelle aree:
6 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Numerical Computing
6 cfu così ripartiti nelle aree:
6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
Fundamentals of Algebra, Calculus
MAT/08 - Analisi Numerica
Analysis of numerical errors
MAT/08 - Analisi Numerica
Numerical approximation of functions
MAT/08 - Analisi Numerica
Numerical integration
MAT/08 - Analisi Numerica
Linear systems
MAT/08 - Analisi Numerica
Differential equations
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Theoretical Computer Science
12 cfu così ripartiti nelle aree:
10 CFU nell'area A - Fondamenti
1 CFU nell'area B - Algoritmi
1 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
A - Fondamenti
V - Varie
Mathematical background (sets, relations, functions, cardinalities, graphs)
*
CAL - Calcolabilità
Computability and decidability (Church-Turing thesis, linearized description of TM; universal TM)
*
CAL - Calcolabilità
Computability and decidability: the halting problem, undecidable languages, enumeration of recursive properties, properties of enumerations of recursive functions, uncomputable functions, Kleene and Rice theorems, decidable and semidecidable sets)
*
CAL - Calcolabilità
Undecidability and incompleteness in First-order logic (elements of propositional logic, elements of First-order logic, Gödel's theorems, axioms for number theory, undecidability and incompleteness)
COM - Complessità
Deterministic complexity classes (P, P-complete problems)
*
CAL - Calcolabilità
Turing machines (single-tape TM, deterministic TM, Turing computability, multi-tape TM)
COM - Complessità
Non-deterministic Turing machines. The class NP. Polynomial time verification.
COM - Complessità
NP-completeness. Cook-Levin theorem.
COM - Complessità
Space complexity
COM - Complessità
Hierarchy theorems
B - Algoritmi
*
A - Algoritmi fondamentali
Introduction (problems and algorithms: Reachability, MST, TSP)
D - Linguaggi
*
LF - Linguaggi Formali
Formal languages (alphabets, languages, finite representations of languages, finite automata and regular languages)
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).