(*) 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
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
Commento
I 9 CFU sono 7 di lezioni frontali e 2 di esercitazioni
9 cfu così ripartiti nelle aree:
1 CFU nell'area A - Fondamenti
6 CFU nell'area B - Algoritmi
2 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
A - Fondamenti
COM - Complessità
+
AL-BACC - Basic Automata, Computability and Complexity
Notazione asintotica e ricorrenze
B - Algoritmi
*
SDF - Strutture di Dati Fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Liste, pile, code, insiemi
*
SDF - Strutture di Dati Fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Alberi, Grafi
*
A - Algoritmi fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi fondamentali e analisi di complesità
TAA - Tecniche Algoritmiche Avanzate
+
AL-AS - Algorithmic Strategies
Paradigma generativo e selettivo: tecnica enumerativa, greedy, di backtracking e divide et impera
SDA - Strutture di Dati Avanzate
+
AL-FDA - Fundamental Data Structures and Algorithms
Alberi bilanciati. Code con priorità, Heap, dizionari e tabelle Hash
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Algoritmi fondamentali su alberi e grafi
C - Programmazione
*
POO - Programmazione Orientata agli Oggetti
+
PL-OOP - Object-Oriented Programming
Introduzione alla programmazione orientata agli oggetti e al linguaggio C++
*
SDTD - Strutture Dati e Tipi di Dati astratti
+
PL-OOP - Object-Oriented Programming
Programmare con classi e realizzazione di strutture Dati Astratti
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
Commento
7 CFU di tipo T1 lezione(8 ore per CFU) ; 2 CFU di tipo T2 esercitazione (15 ore per CFU)
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
MAT/05 - Analisi Matematica
Sistema dei numeri reali. Funzioni reali di variabile reale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrazione secondo Riemann. Teorema fondamentale del calcolo. Integrali impropri.
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Architettura degli elaboratori e Sistemi Operativi
Nome
Architettura degli elaboratori e Sistemi Operativi
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
Commento
I 9 CFU sono 7 di lezioni frontali e 2 di esercitazioni
9 cfu così ripartiti nelle aree:
5 CFU nell'area E - Architetture
4 CFU nell'area F - Sistemi operativi
Sillabo dell'insegnamento
E - Architetture
*
CCS - Circuiti combinatori e sequenziali
+
AR-DLDS - Digital Logic and Digital Systems
Algebra di Boole Porte logiche Esempi di circuiti combinatori e sequenziali
*
AC - Aritmetica dei calcolatori
+
AR-MLRD - Machine Level Representation of Data
Aritmetica reale e aritmetica finita Sistemi di numerazione Rappresentazione binaria dei numeri naturali, interi, reali Codifica dell'informazione numerica e non numerica
*
LII - Livello Instruction Set
+
AR-ALMO - Assembly Level Machine Organization
Caratteristiche delle istruzioni macchina Tipi di operandi, dati, istruzioni Formati di istruzioni Metodi di indirizzamento
*
LMP - Livello di Microprogrammazione
+
AR-MSOA - Memory System Organization and Architecture
Struttura interna della CPU, Data Path. Ciclo di istruzione. Implementazione dell'unità di controllo
*
ASS - Linguaggio Assembler
+
AR-ALMO - Assembly Level Machine Organization
Livello del linguaggio Assembly La programmazione Assembly nell'8086 Utilizzo dell'ambiente EMU8086
F - Sistemi operativi
*
SCO - Struttura e Componenti di un sistema operativo
*
OS-VM - Virtual Machines
Diverse tipologie di Sistemi Operativi. Principali componenti dei Sistemi Operativi. Principali modelli strutturali. Macchine virtuali
*
GSP - Gestione e Sincronizzazione dei Processi
+
OS-SD - Scheduling and Dispatch
Definizione di processo e stati di un processo Gestione e schedulazione dei processi
*
GM - Gestione della Memoria
+
OS-MM - Memory Management
Concetto di memoria virtuale. Tecniche di rilocazione. Tecniche di gestione della memoria. Organizzazione logica e fisica del file system . Metodi di accesso ai file. Metodi di allocazione
*
GSP - Gestione e Sincronizzazione dei Processi
+
OS-C - Concurrency
Sincronizzazione e concorrenza di processi
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
8
Settore Scientifico Disciplinare
INF/01
Commento
I 9 CFU sono 7 di tipo T1 lezione frontale e 2 di tipo T2 esercitazioni
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
Architettura dei DBMS
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
+
IM-IMC - Information Management Concepts
Il modello relazionale
*
ML - Modelli logici
+
IM-RDQL - Relational Databases and Query Languages
Il modello relazionale
*
LI - Linguaggi di Interrogazione di Basi di Dati
+
IM-RDQL - Relational Databases and Query Languages
Linguaggi di interrogazione
*
LI - Linguaggi di Interrogazione di Basi di Dati
+
IM-RDQL - Relational Databases and Query Languages
Linguaggi di interrogazione
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
*
IM-In - Indexing
Indicizzazione
*
ML - Modelli logici
+
IM-DMo - Data Modeling
Normalizzazione di basi di dati
TCR - Transazioni, Concorrenza e Recovery
*
IM-TP - Transaction Processing
Progettazione di basi di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
IM-PDD - Physical Database Design
Progettazione di Basi di Dati
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Calcolabilità e complessità
Nome
Calcolabilità e complessità
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
Commento
I 6 CFU sono 4 di lezioni frontali e 2 di esercitazioni
6 cfu così ripartiti nelle aree:
6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
A - Fondamenti
*
ALF - Automi e Linguaggi Formali
+
AL-BACC - Basic Automata, Computability and Complexity
Lambda calcolo, combinatori, sostituzione, teorema del punto fisso
COM - Complessità
+
AL-BACC - Basic Automata, Computability and Complexity
Complessità
*
CAL - Calcolabilità
+
AL-BACC - Basic Automata, Computability and Complexity
Determinismo e non determinismo, problema dell'Alt
*
CAL - Calcolabilità
+
AL-BACC - Basic Automata, Computability and Complexity
Classe P e NP
SLP - Semantica dei Linguaggi di Programmazione
+
PL-PP - Programming paradigms (Imperative, Functional, ?)
Le macchine URM
SLP - Semantica dei Linguaggi di Programmazione
+
PL-PP - Programming paradigms (Imperative, Functional, ?)
Sintassi e semantica del Jump. sintassi e semantica di un programma URM
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Calcolo delle probabilita' e statistica
Nome
Calcolo delle probabilita' e statistica
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
MAT/06
Commento
I 6 CFU sono 4 di lezioni frontali e 2 di esercitazioni
6 cfu così ripartiti nelle aree:
6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Spazi di probabilità
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Teoremi limite
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Statistica Descrittiva
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Statistica inferenziale: Stima
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Statistica inferenziale: Verifica di ipotesi
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Calcolo numerico
Nome
Calcolo numerico
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
MAT/06
Commento
I 6 CFU sono 4 di tipo T1 lezioni forntale e 2 di tipo T2 esercitazioni
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
MAT/08 - Analisi Numerica
Numeri macchina. Errori di arrotondamento e troncamento. Condizionamento. Analisi della stabilita' degli algoritmi.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Metodi iterativi per la risoluzione di equazioni non-lineari.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Spazi e sottospazi vettoriali. Calcolo matriciale. Sistemi lineari.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Norme su spazi lineari. Condizionamento dei sistemi lineari. Algoritmo di fattorizzazione LU.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Algoritmo di eliminazione di Gauss con tecnica del pivot. Riduzione a scalini di una matrice e applicazioni.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Interpolazione polinomiale. Sistemi lineari sovradimensionati. Approssimazione ai minimi quadrati. Approssimazione polinomiale.
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Fondamenti di Fisica
Nome
Fondamenti di Fisica
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
FIS/07
Commento
6 CFU: 4 di tipo T1 lezione (8 ore per CFU) e 2 di tipo T2 esercitazione (15 ore per CFU)
6 cfu così ripartiti nelle aree:
6 CFU nell'area altro - Crediti NON dell'INFORMATICA né della MATEMATICA
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Ingegneria del Software
Nome
Ingegneria del Software
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
Commento
I 9 CFU sono 7 di lezioni frontali 1 di esercitazioni e 1 di progetto
9 cfu così ripartiti nelle aree:
9 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
concetti generali di ingegneria del software
AS - Ambienti di Sviluppo
*
SE-SPM - Software Project Management
Generalità su ambienti di sviluppo per l'ingegneria del software
*
AR - Analisi dei Requisiti
+
SE-SPRE - Software Processes and Requirement Engineering
analisi dei requisiti software
*
PSS - Processi di Sviluppo del Software
*
SE-SPM - Software Project Management
specifica dei requisiti software
*
ASW - Architetture Software
+
SE-TE - Tools and Environments
stili architetturali, strati, object oriented
*
LMS - Linguaggi di Modellazione del Software
+
SE-SDC - Software Design and Construction
linguaggio UML per la modellazione del software
*
PSC - Progettazione del Software e Codifica
+
SE-SDC - Software Design and Construction
Progettazione/modellazione dei dati. progettazione e sviluppo di un applicazione/componente software
EPG - Aspetti Etici, Professionali e Giuridici
+
SP-PEIPP - Professional Ethics, Intellectual Property, Privacy & Civil Liberties
Le licenze software
*
TVV - Testing, Verifica e Validazione
+
SE-SVV - Software Verification and Validation
Realizzazione, verifica e valutazione
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Ingegneria della conoscenza e sistemi esperti
Nome
Ingegneria della conoscenza e sistemi esperti
CFU
6
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
Commento
I 6 CFU sono 4 di lezioni frontali 1 di esercitazioni e 1 progetto
6 cfu così ripartiti nelle aree:
1 CFU nell'area C - Programmazione
5 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
C - Programmazione
PP - Paradigmi di Programmazione
*
PL-EDRP - Event-Driven and Reactive Programming
Il modello di calcolo dei sistemi a produzione. Linguaggi a regole: CLIPS e Jess
M - Rappresentazione della conoscenza
RA - Ragionamento Automatico
*
IS-FI - Fundamental Issues
Sistemi esperti. Il motore di inferenze. Il problema del matching.
*
SBC - Sistemi Basati su Conoscenza
*
IS-FI - Fundamental Issues
I modelli di agente. Agenti per problemi di classificazione, configurazione, pianificazione
*
RP - Risoluzione di Problemi
*
IS-BSS - Basic Search Strategies
Risolvere i problemi attraverso ricerca nello spazio degli stati
ARC - Acquisizione e Rappresentazione della Conoscenza
*
IS-BML - Basic Machine Learning
Agenti basati su conoscenza. Agenti che imparano
*
SBC - Sistemi Basati su Conoscenza
IS-RUU - Reasoning Under Uncertainty
Ragionamento sotto incertezza
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
I 6 CFU sono 4 di lezioni frontali,1 di esercitazioni e 1 di progetto
6 cfu così ripartiti nelle aree:
1 CFU nell'area C - Programmazione
5 CFU nell'area L - Interazione, grafica e multimedialità
Sillabo dell'insegnamento
C - Programmazione
*
CB - Costrutti di Base
*
PBD-MP - Mobile Platforms
Programmazione per il Web :HTML5, fogli di stile, introduzione a Javascript e a PhP, CMS
L - Interazione, grafica e multimedialità
*
MMPI - Modelli e Metodi per la Progettazione dell'Interazione
*
HCI-F - Foundations
Metriche per l'usabilità, accessibilità dei sistemi interattivi
*
MMPI - Modelli e Metodi per la Progettazione dell'Interazione
*
HCI-F - Foundations
generazione dei prototipi, metodi di ispezione per la valutazione dell'usabilità di sistemi interattivi
*
MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+
HCI-DI - Designing Interaction
Progettazione centrata sull'utente, fattori umani, linee guida per la comunicazione tra utente e calcolatore
TMI - Teorie e Modelli per l'Interazione
+
HCI-PIS - Programming Interactive Systems
Modelli a metafore, modello di Norman, la comunicazione visuale
TMI - Teorie e Modelli per l'Interazione
+
HCI-UCD - User-Centered Design
Principi per il progetto di interfacce utente
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Laboratorio di Informatica
Nome
Laboratorio di Informatica
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
Commento
I 9 CFU sono 4 di lezioni frontali e 3 di esercitazioni e 2 di progetto
9 cfu così ripartiti nelle aree:
4 CFU nell'area C - Programmazione
2 CFU nell'area D - Linguaggi
1 CFU nell'area E - Architetture
2 CFU nell'area F - Sistemi operativi
Sillabo dell'insegnamento
C - Programmazione
*
P - Procedure
+
PL-LTE - Language Translation and Execution
procedure e funzioni, tecniche di passaggio dei parametri, funzioni ricorsive
*
SCP - Sviluppo e Correttezza dei Programmi
PL-LP - Language Pragmatics
Stili di programmazione; documentazione del codice; asserzioni
PP - Paradigmi di Programmazione
+
SE-SDC - Software Design and Construction
Principi di programmazione imperativa;programmazione modulare
*
SCP - Sviluppo e Correttezza dei Programmi
+
SE-SVV - Software Verification and Validation
Testing; debugging
D - Linguaggi
PLN - Paradigmi Linguistici
*
PL-RS - Runtime Systems
esercitazioni in linguaggi imperativi
MP - Metodologie di Programmazione
+
PL-BTS - Basic Type Systems
Strutture; array
E - Architetture
GM - Gestione della Memoria
+
AR-ALMO - Assembly Level Machine Organization
Puntatori e indirizzamento; memoria dinamica
F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
+
OS-O - Overview of Operating Systems and Principles
Portabilità dei programmi
*
FS - File System
*
OS-FS - File Systems
Gestione dei file
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Linguaggi di Programmazione
Nome
Linguaggi di Programmazione
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
Commento
I 9 CFU sono 7 di lezioni frontali e 2 di esercitazioni
9 cfu così ripartiti nelle aree:
9 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
D - Linguaggi
*
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+
PL-LTE - Language Translation and Execution
Linguaggi di programmazione. Traduzione : compilazione e interpretazione.Gerarchia di linguaggi di programmazione e di macchine astratte: linguaggi macchina, libguaggi assembler, linguaggi di alto livello
*
LF - Linguaggi Formali
+
PL-LTE - Language Translation and Execution
Linguaggi: Definizioni preliminari (alfabto, parola, stringa, uguaglianza tra parole, concatenazione di parole, potenza di parole, sottostringa, prefisso, suffisso, monoide libero generato da un insieme) Linguaggi formali. Inquadramento della teoria dei linguaggi formali nell'informatica teorica
*
LF - Linguaggi Formali
+
PL-LTE - Language Translation and Execution
Classificazione di Chomsky. Operazioni sui linguaggi (unione, concatenazione, iterazione, complemento, intersezione, potenza e riflessione) e proprietà di chiusura delle classi di linguaggi rispetto alle oparazioni
*
LF - Linguaggi Formali
+
PL-LTE - Language Translation and Execution
Generazione di Linguaggi: un'introduzione alle grammatiche. Carte sintattiche e Backaus-Naur Form, grammatiche generative o a struttura di frase, derivazione diretta, derivazione, linguaggio generato da una grammatica, forma di frase, frase, equivalenza tra grammatiche, relazione tra grammatiche e linguaggi, non determinismo, correttezza di una grammatica: indecidibilità del problema. Linguaggi liberi da contesto.
*
LF - Linguaggi Formali
+
AL-BACC - Basic Automata, Computability and Complexity
Linguaggi regolari, espressioni regolari automi e linguaggi a stati finiti. Teorema di equivalenza classi di linguaggi riconosciuti da automi a stati finiti deterministici e non deterministici. Linguaggi regolari. Teorema di Kleene
*
S - Semantica
PL-FS - Formal Semantics
Semantica denotazionale, semantica operazionale e cenni di semantica assiomatica. Analisi di programmi
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
*
PL-SyA - Syntax Analysis
Compilazione e interpretazione: Il modello di un compilatore: fase di analisi.
*
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
*
PL-RS - Runtime Systems
Compilazione e interpretazione. Il modello di un compilatore: fase di sintesi. Tabella dei simboli: costruzione ed interazione, contenuti, operazioni, organizzazione per linguaggi a blocchi e non, rappresentazione.
MP - Metodologie di Programmazione
+
PL-PP - Programming paradigms (Imperative, Functional, ?)
Paradigmi di programmazione ed evoluzione dei linguaggi di programmazione
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Matematica Discreta
Nome
Matematica Discreta
CFU
9
Ore di didattica frontale per CFU
9
Settore Scientifico Disciplinare
MAT/02
Commento
I 9 CFU sono 7 di lezioni frontali e 2 di esercitazioni
9 cfu così ripartiti nelle aree:
9 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+
DS-BC - Basics of Counting
La matematica discreta: i segni, linguaggi formali, la rappresentazione e ilpensiero formale
MAT/02 - Algebra
+
DS-BL - Basic Logics
Logica delle proposizioni: grammatica e semantica. Connettivi e tavole di verità. Espressioni, tautologie e contraddizioni
MAT/02 - Algebra
+
DS-SRF - Sets, Relations, and Functions
Teoria degli insiemi. Linguaggio logico e linguaggio insiemistico. Combinatoria
MAT/02 - Algebra
+
DS-BL - Basic Logics
Il calcolo logico: la deduzione naturale e sottoderivazioni. Metalingiaggio e linguaggio oggetto. Predicati e Quantificatori
MAT/02 - Algebra
+
DS-BC - Basics of Counting
Numeri naturali e principio di induzione. Numeri interi , relativi, primi e irriducibili: Fattorizzazione
MAT/02 - Algebra
+
DS-SRF - Sets, Relations, and Functions
Definizione di relazione e funzione. funzioni ingettive, surgettive, bigettive. Inversa. Composizione tra funzioni
MAT/03 - Geometria
+
DS-PT - Proof Techniques
La dimostrazione matematica, dimostrazioni per assurdo. Consistenza , correttezza, completezza, decidibilità. Teorie assiomatizzate e modelli
MAT/03 - Geometria
+
DS-BC - Basics of Counting
Relazione di equivalenza, classi di equivalenza. Partizioni. Congruenza modulo n e insieme Z. Insiemi ordinati. Elementi massimali e minimali
MAT/03 - Geometria
+
DS-BC - Basics of Counting
Gruppi. Il gruppo delle permutazioni. Cicli di fattorizzazione di una permutazione. Matrici a coefficienti reali, determinante e rango di una matrice. Operazioni su e tra matrici. Campi. Anelli di Boole
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Metodi avanzati di programmazione
Nome
Metodi avanzati di programmazione
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
Commento
I 9 CFU sono 7 di lezioni frontali e 2 di esercitazioni
9 cfu così ripartiti nelle aree:
7 CFU nell'area C - Programmazione
1 CFU nell'area D - Linguaggi
1 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
C - Programmazione
PP - Paradigmi di Programmazione
+
PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione ai paradigmi di programmazione: operazionale, definizionale e dimostrazionale.
*
POO - Programmazione Orientata agli Oggetti
+
PL-OOP - Object-Oriented Programming
Oggetti, classi concrete, classi astratte, metaclassi, ereditarietà singola ed ereditarietà multipla, polimorfismo, gerarchia di classi e gerarchia di interfacce. Composizione di classi. Confronto tra ereditarietà e composizione nel riuso del software.
*
POO - Programmazione Orientata agli Oggetti
+
PL-OOP - Object-Oriented Programming
Caratteristiche generali del linguaggio Java; Java e Internet; Java vs. C++. Ambienti di sviluppo Java. Oggetti in Java: costruttori; distruttori; metodi, argomenti e valori di ritorno. Controllare il flusso di esecuzione in Java: uso degli operatori Java; il controllo di esecuzione; l'inizializzazione. Nascondere le implementazioni in Java: i package; i modificatori di accesso; le interfacce. Il riuso delle classi in Java: ereditarietà, derivazione protetta; polimorfismo.
*
POO - Programmazione Orientata agli Oggetti
PL-APC - Advanced Programming Constructs
I contenitori: array; collezioni; le nuove collezioni. Il trattamento delle eccezioni; identificazione di tipo al run-time; programmazione generica in Java; il sistema I/O di Java. Connessione con le Basi di Dati: JDBC.
*
POO - Programmazione Orientata agli Oggetti
*
PL-EDRP - Event-Driven and Reactive Programming
Approfondimenti su Java: Creazione di interfacce per applicazioni: il package SWING. Applet
*
POO - Programmazione Orientata agli Oggetti
PL-LP - Language Pragmatics
Esercitazioni in laboratorio sulla definizione singole classi; definizione di più classi organizzate gerarchicamente e in package; definizione di classi astratte e uso del polimorfismo; definizione di classi conn contenitori e trattamento delle eccezioni.
*
POO - Programmazione Orientata agli Oggetti
PL-LP - Language Pragmatics
Esercitazioni in laboratorio sulla definizione di classi con I/O da file; definizione di classi per la connessione a database; definizione di classi per la realizzazione di GUI mediante con SWING; definizione di classi per la realizzazione di applicazioni client-server e multithreading, definizione di applet.
D - Linguaggi
MP - Metodologie di Programmazione
+
PL-OOP - Object-Oriented Programming
Principi di programmazione con linguaggi orientati ad oggetti. Astrazione, ereditarietà e polimorfismo.
H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
+
PD-PF - Parallelism Fundamentals
Programmazione in rete: socket, invocazione di metodi remoti. Il multithreading: creazione di classi attive; sincronizzazione nell'accesso dei metodi.
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Metodi per il ritrovamento dell'informazione
Nome
Metodi per il ritrovamento dell'informazione
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
Commento
I 9 CFU sono 7 di lezioni frontali e 2 di esercitazioni
9 cfu così ripartiti nelle aree:
1 CFU nell'area G - Basi di dati
1 CFU nell'area H - Computazione su rete
7 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
G - Basi di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
+
IM-IMC - Information Management Concepts
Gestire informazione non strutturata
H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
IM-ISR - Information Storage And Retrieval
Motori di ricerca
M - Rappresentazione della conoscenza
*
SBC - Sistemi Basati su Conoscenza
IM-ISR - Information Storage And Retrieval
Sistemi per il ritrovamento e il filtraggio delle informazioni
ARC - Acquisizione e Rappresentazione della Conoscenza
*
IS-BKRR - Basic Knowledge Representation and Reasoning
Modelli di rappresentazione della conoscenza
RA - Ragionamento Automatico
*
IM-In - Indexing
Tecnologie semantiche nel ritrovamento e filtraggio dell'informazione
ARC - Acquisizione e Rappresentazione della Conoscenza
*
IS-BML - Basic Machine Learning
Apprendimento automatico per categorizzazione di testi
*
SBC - Sistemi Basati su Conoscenza
+
IM-DMo - Data Modeling
Integrazione di conoscenza lessicale ed enciclopedica
AIA - Applicazioni della Intelligenza Artificiale
*
IS-BML - Basic Machine Learning
Content based recommender systems, collaborative filtering
AIA - Applicazioni della Intelligenza Artificiale
IM-ISR - Information Storage And Retrieval
Framework per lo sviluppo e la valutazione di sistemi "intelligenti" per il ritrovamento e il filtraggio dell'informazione
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
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
INF/01
Commento
I 9 CFU sono 7 di lezioni frontali e 2 di esercitazioni
9 cfu così ripartiti nelle aree:
2 CFU nell'area B - Algoritmi
6 CFU nell'area C - Programmazione
1 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
B - Algoritmi
*
A - Algoritmi fondamentali
+
AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi elementari. Algoritmi di ricerca. Algoritmi di ordinamento.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+
AL-BA - Basic Analysis
Progettazione di algoritmi. Programmazione strutturata.
C - Programmazione
*
PSA - Problem Solving e Algoritmi
+
PL-PP - Programming paradigms (Imperative, Functional, ?)
Fasi per la soluzione di un problema
*
CB - Costrutti di Base
+
PL-BTS - Basic Type Systems
Sequenza, selezione e iterazione
*
P - Procedure
+
PL-LTE - Language Translation and Execution
Procedure e funzioni come astrazione di istruzioni e operatori. Parametri.
*
R - Ricorsione
+
AL-AS - Algorithmic Strategies
Funzioni Ricorsive
*
SDTD - Strutture Dati e Tipi di Dati astratti
+
PL-BTS - Basic Type Systems
Array, Record, Puntatori, File
*
SCP - Sviluppo e Correttezza dei Programmi
*
PL-SyA - Syntax Analysis
Compilatori e interpreti. Documentazione.
D - Linguaggi
MP - Metodologie di Programmazione
PL-LP - Language Pragmatics
Programmazione con linguaggi imperativi
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Reti di Calcolatori
Nome
Reti di Calcolatori
CFU
9
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
ING-INF/05
Commento
I 9 CFU sono 7 di lezioni frontali e 2 di esercitazioni
9 cfu così ripartiti nelle aree:
9 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
H - Computazione su rete
*
FCD - Fondamenti del Calcolo Distribuito
+
NC-I - Introduction: Computer Network Architecture
Introduzione alle reti di calcolatori. Commutazione e multiplazione. Prestazioni
*
ARTC - Architettura delle Reti di Calcolatori
+
NC-I - Introduction: Computer Network Architecture
Stratificazione. Modello ISO/OSI. Interconnessione di reti. Architettura di Internet
*
MIR - Modelli di Interazione in Rete
+
NC-NA - Networked Applications
Modelli client-server e peer to peer. Socket API. Scelta del tipo di servizio
*
PT - Protocolli
+
NC-NA - Networked Applications
Livello applicazione:HTTP. DNS
*
PT - Protocolli
+
NC-RDD - Reliable Data Delivery
Livello trasporto: UDP e TCP
*
ARTC - Architettura delle Reti di Calcolatori
+
NC-RF - Routing And Forwarding
Livello di rete:Algoritmi di instradamento.IPv4 e IPv6 DHCP.NAT
*
PT - Protocolli
+
NC-LAN - Local Area Networks
Protocolli di accesso multiplo. Standard IEEE 802.3: Ethernet. Interconnessione delle LAN
*
SR - Sicurezza delle Reti
+
IAS-FCS - Foundational Concepts in Security
Attacchi alla sicurezza. Firewall e IDS. Principi di crittografia e applicazione nelle reti
PASR - Programmazione di Applicazioni e Servizi di Rete
+
NC-NA - Networked Applications
Programmazione di applicazioni di rete con socket API. Collaudo di applicazioni di rete
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
Riepilogo dell'insegnamento: Ulteriori 12 CFU a scelta libera
Nome
Ulteriori 12 CFU a scelta libera
CFU
12
Ore di didattica frontale per CFU
8
Settore Scientifico Disciplinare
--libero--
12 cfu così ripartiti nelle aree:
12 CFU nell'area NCP - Crediti Non Classificabili a priori
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.