(*) Questo è il numero di docenti appartenenti ai settori scientifico-disciplinari INF/01 o ING-INF/05 che svolgono il loro carico didattico istituzionale presso questo corso di laurea
Afferisce al primo corso di laurea iscritto
Si
Commento
E' un percorso interdisciplinare
No
Cambia la modalità di certificazione (standard / beta)
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
MAT/03 - Geometria
MAT/03 - Geometria
Algebra delle matrici
MAT/03 - Geometria
MAT/03 - Geometria
Sistemi lineari
MAT/03 - Geometria
MAT/03 - Geometria
Autovalori e autovettori
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Algoritmi e Strutture Dati
Nome
Algoritmi e Strutture Dati
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
9 cfu così ripartiti nelle aree:
1 CFU nell'area A - Fondamenti
8 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
A - Fondamenti
COM - Complessità
+
AL-FDA - Fundamental Data Structures and Algorithms
Modelli di Calcolo: macchina RAM RASP, simulazione, criteri di costo
B - Algoritmi
*
SDF - Strutture di Dati Fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati elementari
*
SDF - Strutture di Dati Fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Grafi e alberi
*
SDF - Strutture di Dati Fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Tabelle Hash, Alberi binari di ricerca
*
SDF - Strutture di Dati Fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Alberi 2-3, 2-3-4, red-black
*
A - Algoritmi fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento
*
A - Algoritmi fondamentali
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Algoritmi di ordinamento avanzati
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+
AL-AS - Algorithmic Strategies
Tecniche di progetto. Ricorsione ed equazioni di ricorrenza. Metodo Divide et Impera
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+
AL-AS - Algorithmic Strategies
Programmazione dinamica, algoritmi greedy
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Analisi Matematica
Nome
Analisi Matematica
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
MAT/05
9 cfu così ripartiti nelle aree:
9 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
+
DS-BC - Basics of Counting
Numeri reali
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Architetture degli Elaboratori
Nome
Architetture degli Elaboratori
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
9 cfu così ripartiti nelle aree:
9 CFU nell'area E - Architetture
Sillabo dell'insegnamento
E - Architetture
*
CCS - Circuiti combinatori e sequenziali
+
AR-DLDS - Digital Logic and Digital Systems
Algebra di Boole, Porte logiche, elementi di progettazione
*
AC - Aritmetica dei calcolatori
+
AR-DLDS - Digital Logic and Digital Systems
Rappresentazione binaria dei numeri interi, frazionari e reali. Operazioni di somma e di complemento a 2
*
LII - Livello Instruction Set
+
AR-MLRD - Machine Level Representation of Data
Instruction Set Architecture della macchina MIPS. Datapath della macchina MIPS.
*
LMP - Livello di Microprogrammazione
+
AR-ALMO - Assembly Level Machine Organization
Principi di microprogrammazione. La microprogrammazione delle principali istruzioni della macchina MIPS.
GM - Gestione della Memoria
+
AR-MSOA - Memory System Organization and Architecture
Organizzazione della memoria. Memorie cache.
GIO - Gestione dell'Input/Output
*
AR-IO - Interfacing and Communication
Istruzioni di I/O. I/O memory mapped. Interrupt. Il BUS.
VMP - Valutazione e Miglioramento delle Prestazioni
AR-PE - Performance Enhancements
Cenni al calcolo del tempo di esecuzione delle istruzioni e al miglioramento delle prestazioni mediante riorganizzazione del datapath. Cenni al pipelining
*
ASS - Linguaggio Assembler
+
AR-ALMO - Assembly Level Machine Organization
Programmazione in Assembler della macchina MIPS
*
ASS - Linguaggio Assembler
+
AR-ALMO - Assembly Level Machine Organization
Programmazione in Assembler della macchina MIPS
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Automi e linguaggi
Nome
Automi e linguaggi
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
A - Fondamenti
*
CAL - Calcolabilità
+
AL-BACC - Basic Automata, Computability and Complexity
Macchine di Turing deterministiche e non, linguaggi riconosciuti, aritmetizzazione
*
ALF - Automi e Linguaggi Formali
+
AL-BACC - Basic Automata, Computability and Complexity
Linguaggi WHILE, macchine RAM e linguaggi reali. Tesi di Church
*
ALF - Automi e Linguaggi Formali
+
AL-BACC - Basic Automata, Computability and Complexity
Macchine Universali. Teorema SMN. Status computazionale: esempi. Halting Problem
*
ALF - Automi e Linguaggi Formali
+
AL-BACC - Basic Automata, Computability and Complexity
Teorema di Rado. Teorema di Kleene. Teorema di Rice
COM - Complessità
+
AL-BACC - Basic Automata, Computability and Complexity
Macchie di Turing: complessità in tempo e spazio. La tesi di Edmonds-Cook-Karp. P, NP
*
ALF - Automi e Linguaggi Formali
+
AL-BACC - Basic Automata, Computability and Complexity
Relazioni fra P e NP, riducibilità polinomiale, Teorema di Cook-Levin, esempi di riducibilità
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Basi di Dati
Nome
Basi di Dati
CFU
9
Ore di didattica frontale per CFU
9
Settore Scientifico Disciplinare
INF/01
9 cfu così ripartiti nelle aree:
9 CFU nell'area G - Basi di dati
Sillabo dell'insegnamento
G - Basi di dati
*
DBMS - Sistemi di Gestione di Basi di Dati
+
IM-DS - Database Systems
organizzazione generale
*
ML - Modelli logici
+
IM-DMo - Data Modeling
modello relazionale
*
LI - Linguaggi di Interrogazione di Basi di Dati
+
IM-RDQL - Relational Databases and Query Languages
Linguaggio SQL
*
LI - Linguaggi di Interrogazione di Basi di Dati
+
IM-RDQL - Relational Databases and Query Languages
Linguaggio SQL
LP - Linguaggi di Programmazione di Basi di Dati
+
IM-RDQL - Relational Databases and Query Languages
interazione tra SQL e linguaggi di programmazione
*
PC - Progettazione concettuale
+
IM-IMC - Information Management Concepts
Modello ER
*
PC - Progettazione concettuale
+
IM-IMC - Information Management Concepts
metodologie
*
PL - Progettazione Logica
+
IM-RDQL - Relational Databases and Query Languages
Traduzione, ottimizzazione
*
DBMS - Sistemi di Gestione di Basi di Dati
+
IM-RDQL - Relational Databases and Query Languages
Oracle, MySQL, PostgreSQL
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Corsi Complementari
Nome
Corsi Complementari
CFU
24
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
INF/01
24 cfu così ripartiti nelle aree:
24 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Fondamenti di Sicurezza
Nome
Fondamenti di Sicurezza
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Informazione, trasmissione e codici a protezione d'errore
Nome
Informazione, trasmissione e codici a protezione d'errore
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
*
SDF - Strutture di Dati Fondamentali
+
AL-AS - Algorithmic Strategies
Implemetazione di strutture dati e relativi algoritmi
C - Programmazione
*
POO - Programmazione Orientata agli Oggetti
+
PL-OOP - Object-Oriented Programming
Progettazione e sviluppo di applicazioni
*
PSA - Problem Solving e Algoritmi
+
AL-AS - Algorithmic Strategies
Risoluzione di problem e scelta delle strutture dati adeguate
PCC - Programmazione Concorrente
*
PBD-WP - Web Platforms
Programmazione di applicazioni web
G - Basi di dati
*
LI - Linguaggi di Interrogazione di Basi di Dati
+
IM-RDQL - Relational Databases and Query Languages
Linguaggio SQL
I - Ingegneria del software
*
PSC - Progettazione del Software e Codifica
+
SE-SDC - Software Design and Construction
Metodologie di programmazione
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Logica
Nome
Logica
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
MAT/01
6 cfu così ripartiti nelle aree:
6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+
DS-BL - Basic Logics
Tableaux per la logica del primo ordine
MAT/01 - Logica Matematica
+
DS-BL - Basic Logics
Logica del primo ordine, forme normali ,Teorema di Skolem
MAT/01 - Logica Matematica
+
DS-BL - Basic Logics
Calcoli a tableaux, completezza, calcoli a sequenti e risoluzione proposizionale
MAT/01 - Logica Matematica
+
DS-BL - Basic Logics
Logica proposizionale, forme normali, algebre di boole
MAT/01 - Logica Matematica
+
DS-PT - Proof Techniques
Teorema di Herbrand e risoluzione
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Teoria dell'aritmetica e Teorema di Goedel
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Progettazione del Software
Nome
Progettazione del Software
CFU
8
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
8 cfu così ripartiti nelle aree:
8 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
I - Ingegneria del software
*
PSS - Processi di Sviluppo del Software
+
SE-SPRE - Software Processes and Requirement Engineering
Ciclo di vita del Software e Principi di Ingegneria del Software
*
PSS - Processi di Sviluppo del Software
+
SE-SDC - Software Design and Construction
Tecniche di progettazione
*
PSS - Processi di Sviluppo del Software
+
SE-SVV - Software Verification and Validation
Tecniche di progettazione
*
LMS - Linguaggi di Modellazione del Software
+
SE-TE - Tools and Environments
UML: Diagrammi dei casi d'uso, di sequenza, delle classi, statecharts, diagrammi delle attività
*
LMS - Linguaggi di Modellazione del Software
+
SE-TE - Tools and Environments
UML: Diagrammi dei casi d'uso, di sequenza, delle classi, statecharts, diagrammi delle attività
*
LMS - Linguaggi di Modellazione del Software
+
SE-TE - Tools and Environments
UML: Diagrammi dei casi d'uso, di sequenza, delle classi, statecharts, diagrammi delle attività
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Programmazione
Nome
Programmazione
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
12 cfu così ripartiti nelle aree:
12 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
C - Programmazione
*
PSA - Problem Solving e Algoritmi
+
AL-AS - Algorithmic Strategies
Algoritmi e programmi
*
SS - Sintassi e Semantica
+
PL-PP - Programming paradigms (Imperative, Functional, ?)
Linguaggi: sintassi e semantica
*
SS - Sintassi e Semantica
+
PL-PP - Programming paradigms (Imperative, Functional, ?)
Linguaggi di programmazione: dall'assembler ai linguaggi di alto livello
*
CB - Costrutti di Base
+
PL-BTS - Basic Type Systems
Elementi di base del linguaggio Java: tipi primitivi, tipi riferimento ed espressioni
*
CB - Costrutti di Base
+
PL-OOP - Object-Oriented Programming
Strutture di controllo
*
POO - Programmazione Orientata agli Oggetti
+
PL-OOP - Object-Oriented Programming
Java: classi, metodi ed oggetti
PP - Paradigmi di Programmazione
+
PL-OOP - Object-Oriented Programming
Implementazione delle classi, ereditariertà e polimorfismo
*
CB - Costrutti di Base
+
PL-OOP - Object-Oriented Programming
Eccezioni
*
SDTD - Strutture Dati e Tipi di Dati astratti
+
PL-BTS - Basic Type Systems
Liste e alberi
*
SCP - Sviluppo e Correttezza dei Programmi
+
PL-LTE - Language Translation and Execution
Laboratorio: gli strumenti della programmazione java e sviluppo dei programmi
*
PSA - Problem Solving e Algoritmi
+
PL-LTE - Language Translation and Execution
Laboratorio: dal problema alla sua implementazione in Java
*
CB - Costrutti di Base
+
PL-OOP - Object-Oriented Programming
Laboratorio: Implementazione delle classi
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Programmazione concorrente e distribuita
Nome
Programmazione concorrente e distribuita
CFU
8
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
8 cfu così ripartiti nelle aree:
4 CFU nell'area C - Programmazione
4 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
C - Programmazione
V - Varie
+
PL-OOP - Object-Oriented Programming
I/O in Java, stream e serializzazione
PCC - Programmazione Concorrente
+
PD-PF - Parallelism Fundamentals
Concetti di base. Implementazione Java. Thread, comunicazione fra thread e sincronizzazione
V - Varie
*
PL-CP - Concurrency and Parallelism
Uso dei Socket in Java
PCC - Programmazione Concorrente
*
PL-CP - Concurrency and Parallelism
Accesso a risorse codivise. Esempi di implementazione nel framework Java
H - Computazione su rete
*
FCD - Fondamenti del Calcolo Distribuito
PD-DS - Distributed Systems
Programmazione client/server
V - Varie
+
PL-OOP - Object-Oriented Programming
Esempi di implementazione in java
*
FCD - Fondamenti del Calcolo Distribuito
PD-DS - Distributed Systems
Accesso ad oggeti remoti. Pattern Proxy. Esempi
*
FCD - Fondamenti del Calcolo Distribuito
PD-DS - Distributed Systems
Fondamenti di programmazione in ambiente distribuito
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Reti di Telecomunicazione
*
ARTC - Architettura delle Reti di Calcolatori
+
NC-I - Introduction: Computer Network Architecture
Reti a commutazione di circuito e reti datagram
*
PT - Protocolli
+
NC-I - Introduction: Computer Network Architecture
Il livello MAC. Il livello di rete. Il livello di trasporto. Il livello delle applicazioni
*
PT - Protocolli
+
NC-RF - Routing And Forwarding
Algoritmi di instradamento
*
MIR - Modelli di Interazione in Rete
+
NC-I - Introduction: Computer Network Architecture
Client/server, peer to peer
DR - Dispositivi di Rete
+
NC-RDD - Reliable Data Delivery
Principali componenti di una rete e tecniche di trasmissione dati
*
PT - Protocolli
NC-M - Mobility
Reti wireless e reti mobili. Il protocollo IEEE 802.11. GPRS e UMTS
GRC - Gestione di Reti di Calcolatori
+
NC-NA - Networked Applications
Progetto e analisi delle prestazioni di una rete di calcolatori. Elementi di cablaggio strutturato
*
SR - Sicurezza delle Reti
IAS-NS - Network Security
Requisiti di sicurezza. Analisi delle principali minacce e protocolli di riferimento per la sicurezza delle comunicazioni wireless
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Sistemi operativi
Nome
Sistemi operativi
CFU
8
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
8 cfu così ripartiti nelle aree:
8 CFU nell'area F - Sistemi operativi
Sillabo dell'insegnamento
F - Sistemi operativi
*
GSP - Gestione e Sincronizzazione dei Processi
+
OS-C - Concurrency
gestione processi e thread
*
GSP - Gestione e Sincronizzazione dei Processi
+
OS-SD - Scheduling and Dispatch
interazioni, race condition, sezioni critiche
*
SCO - Struttura e Componenti di un sistema operativo
+
OS-O - Overview of Operating Systems and Principles
Struttura generale di un sistema operativo
*
GSP - Gestione e Sincronizzazione dei Processi
+
OS-C - Concurrency
problemi classici, approccio algoritmico, semafori, monitor
*
GSP - Gestione e Sincronizzazione dei Processi
+
OS-C - Concurrency
message passing
*
GSP - Gestione e Sincronizzazione dei Processi
+
OS-C - Concurrency
esercitazione sull'uso di semafori e monitor e sul message passsing
*
GM - Gestione della Memoria
+
OS-MM - Memory Management
gestione della memoria
*
GM - Gestione della Memoria
+
OS-MM - Memory Management
esercitazione sulla gestione della memoria
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).