Insegnamenti "a scelta" che possono essere selezionati

1. Programmazione III
2. Calcolabilità e Complessità

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-BA - Basic Analysis
Problemi e Algoritmi: risolubilita', correttezza, complessita'.
* A - Algoritmi fondamentali
+ AL-BA - Basic Analysis
Analisi computazionale e complessita' asintotica
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento: algoritmi elementari quadratici, divide et impera: mergesort e quick sort
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento: risoluzione di relazioni di ricorrenza, limiti inferiori per l'ordinamento.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati: strutture concrete, astratte e code di priorita'
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi: definizione e visita, alberi di ricerca.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Grafi: definizione e visita, algoritmi greedy
• D - Linguaggi
MP - Metodologie di Programmazione
+ PL-OOP - Object-Oriented Programming
Realizzazione di algoritmi utilizzando il linguaggio Java
MP - Metodologie di Programmazione
+ PL-OOP - Object-Oriented Programming
Realizzazione utilizzando la libreria Java di tipi di dati astratti

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Serie numeriche
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrali
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Studio di funzione
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Derivate
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Continuita'
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Limiti di funzioni
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Numeri reali e funzioni elementari
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni di due variabili
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Equazioni differenziali elementari

Sillabo dell'insegnamento

• E - Architetture
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Numeri assoluti e frazionari, numeri relativi, numeri a virgola mobile,codifica di caratteri.
V - Varie
+ AR-ALMO - Assembly Level Machine Organization
Introduzione all'organizzazione strutturata dei calcolatori: macchine virtuali, evoluzione storica dei calcolatori
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Livello logico digitale: porte logiche e algebra di Boole, circuiti logici di base, latch, flip-flop, registri, chip di memoria.
V - Varie
+ AR-MSOA - Memory System Organization and Architecture
Memoria: organizzazione della memoria principale, memoria cache, memorie secondarie
* LMP - Livello di Microprogrammazione
+ AR-ALMO - Assembly Level Machine Organization
Il livello della microarchitettura: organizzazione della CPU ed esecuzione delle istruzioni
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Il livello ISA: caratteristiche delle istruzioni macchina, modelli di memoria, modalita' di indirizzamento
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Gestione input/output
* ASS - Linguaggio Assembler
+ PL-LTE - Language Translation and Execution
Assembler, linker, loader
• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Codifica di immagini, video e suoni.

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-IMC - Information Management Concepts
Funzionalita' e componenti dei sistemi di gestione di basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Fondamenti teorici delle basi di dati relazionali
* ML - Modelli logici
+ IM-DMo - Data Modeling
II modello relazionale delle basi di dati
* ML - Modelli logici
+ IM-RDQL - Relational Databases and Query Languages
Introduzione a SQL. Dizionario dei dati in un DBMS
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
+ IM-RDQL - Relational Databases and Query Languages
Dipendenze funzionali e teorie della normalizzazione. Memorizzazione efficiente dei dati.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Specifiche di interrogazioni e realizzazioni in SQL: esercitazioni in laboratorio su ORACLE
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Meccanismi di autorizzazione offerti da SQL con esercitazioni su ORACLE
* PC - Progettazione concettuale
* IM-TP - Transaction Processing
Introduzione alle transazioni: problemi di concorrenza e di affidabilita'.
* PL - Progettazione Logica
* IM-In - Indexing
Meccanismi di indicizzazione.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Programmazione lineare: teoria e algoritmi
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Modelli di programmazione lineare e lineare intera
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Teoria della dualita'
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Analisi di sensitivita'
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Programmazione lineare intera: teoria e algoritmi
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Introduzione ai grafi e problema di flusso a costo minimo su rete

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
test di ipotesi
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Distribuzione normale
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
Probabilità
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Probabilità elementare
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Varaibili casuali discrete

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a stati finiti ed espressioni regolari
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Analisi lessicale
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Analisi Lessicale . Implementazione di automi
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche e famiglie di linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-SyA - Syntax Analysis
Analisi sintattica: parsificazione top-down e buttom-up
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-SyA - Syntax Analysis
Realizzazione di analizzatori a discesa ricorsiva
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Traduzione diretta dalla sintassi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CG - Code Generation
Generazione di codice intermedio
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CG - Code Generation
Sviluppo di un compilatore per un semplice programma

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Linguaggio degli insiemi: fondamenti
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Linguaggio degli insiemi: relazioni
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Calcolo combinatorio
MAT/02 - Algebra
MAT/02 - Algebra
Strutture algebriche
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Gruppo delle permutazioni
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Aritmetica modulare
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Tecniche di dimostrazione
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Formalizzazione: linguaggi proposizionali
MAT/01 - Logica Matematica
+ DS-BC - Basics of Counting
Il principio di induzione
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Reticoli
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Algebre di Boole
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Insiemi infiniti

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Informazioni di base su linguaggi di programmazione
* P - Procedure
+ AL-AS - Algorithmic Strategies
Algoritmi iterativi e ricorsivi I
* P - Procedure
+ AL-AS - Algorithmic Strategies
Algoritmi iterativi e ricorsivi II
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Linguaggi di riferimento: variabili, tipi di dato fondamentali
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Linguaggi di riferimento: assegnazione e controllo del flusso
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Esercitazioni in laboratorio su algoritmi
* SCP - Sviluppo e Correttezza dei Programmi
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Correttezza parziale, terminazione e nozioni di costo.
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Esercitazioni in laboratorio su algoritmi
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Esercitazioni in laboratorio su algoritmi

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Esercitazioni in laboratorio
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Esercitazioni in laboratorio
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Esercitazioni in laboratorio
• C - Programmazione
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Concetti di base programmazione imperativa e java
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Incapsulamento, definizione di classe, creazione e uso di oggetti
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Relazioni tra classi, polimorfismo, classi parzialmente definite, interfacce
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Invarianti di classe, eccezione e gestione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Progettazione a oggetti e UML
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Progettazione e implementazione di strutture dati

Sillabo dell'insegnamento

• H - Computazione su rete
GRC - Gestione di Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Introduzione ad internet e alle reti calcolatori
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Il livello di collegamento: collegamento, reti di accesso
* ARTC - Architettura delle Reti di Calcolatori
+ NC-LAN - Local Area Networks
Reti locali
* ARTC - Architettura delle Reti di Calcolatori
NC-M - Mobility
Reti wireless e mobili
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Il livello di rete I
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Il livello di rete II
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Il livello Il livello di trasporto I
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Il livello di trasporto II
* PT - Protocolli
+ NC-NA - Networked Applications
l livello Applicazioni
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Come creare applicazioni in rete. Socket.I
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Come creare applicazioni in rete. Socket.II
* SR - Sicurezza delle Reti
+ NC-RDD - Reliable Data Delivery
Gestione della rete. Sicurezza

Sillabo dell'insegnamento

• H - Computazione su rete
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Strumenti crittografici: cifrari simmetrici e asimmetrici, funzioni di Hash
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Strumenti crittografici; firma elettronica
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Sicurezza rete privata: analisi dei rischi, controllo accesso
* SR - Sicurezza delle Reti
* IAS-PSD - Principles of Secure Design
La sicurezza dei calcolatori: intrusioni, virus, worm
* SR - Sicurezza delle Reti
* IAS-PSD - Principles of Secure Design
La sicurezza delle reti locali: sistemi firewall
* SR - Sicurezza delle Reti
* IAS-DP - Defensive Programming
La sicurezza delle reti locali: reti private virtuali

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Costrutti principali del linguaggio C
PCC - Programmazione Concorrente
* PL-CP - Concurrency and Parallelism
System call per la creazione e la sincronizzazione di processi in Unix
PCC - Programmazione Concorrente
* PL-CP - Concurrency and Parallelism
System call per Interprocess communication e gestione dei segnali in Unix
• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Struttura e servizi offerti dal sistema operativo
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Processi e thread
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Scheduling della CPU
MA - Modelli e Architetture di sistemi operativi
+ AR-MSOA - Memory System Organization and Architecture
Gestione memoria centrale
* GSP - Gestione e Sincronizzazione dei Processi
+ PD-PF - Parallelism Fundamentals
Sincronizzazione di processi
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Memoria virtuale
* FS - File System
* OS-FS - File Systems
Gestione memoria secondaria: file system
GCA - Gestione e Controllo degli Accessi
* OS-SPr - Security and Protection
Tecniche di protezione
GP - Gestione delle Periferiche
OS-DM - Device Management
Gestione memoria secondaria e terziaria

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Il problema del software, il problema della software engeneering
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
L'approccio della software engeneering e il processo software
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
Raccolta e specifica dei requisiti: l'analisi del problema, la specifica dei requisiti, la validazione
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Pianificazione del progetto software: previsione di costi, tempi e risorse, pianificazione delle attivita'
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Progettazione in ambito funzionale e in ambito orientato agli oggetti. La validazione e le metriche
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Progetto di dettaglio e codifica. Verifica e metriche associate
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Testing. La nozione di fault, error e faillure.
* TVV - Testing, Verifica e Validazione
+ SE-SDC - Software Design and Construction
Test funzionali e strutturali, test di unit?, integrazione, sistema e accettazione
* AR - Analisi dei Requisiti
+ SE-TE - Tools and Environments
Le metriche approccio della software engeneering e il processo software

Sillabo dell'insegnamento

• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
* PBD-WP - Web Platforms
Progettazione base ed implementazione di siti Web
* MIR - Modelli di Interazione in Rete
* HCI-F - Foundations
Presentazione delle diverse strategie di navigazione e di organizzazione dei siti
V - Varie
+ HCI-UCD - User-Centered Design
Tecnologie client-side, tra cui HTML5, CSS, Javascript, JSON e JQuery
PASR - Programmazione di Applicazioni e Servizi di Rete
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Tecnologie server side, facendo particolare attenzione alle implementazioni in PhP
PASR - Programmazione di Applicazioni e Servizi di Rete
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Gestione dei dati in back end
V - Varie
* GV-FC - Fundamental Concepts
Tecnologie emergenti

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Teoria della computabilita'.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Teoria della computabilita' .Le macchine di Turing
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Problemi non risolubili: funzioni ricorsive
SLP - Semantica dei Linguaggi di Programmazione
+ AL-BACC - Basic Automata, Computability and Complexity
Problemi non risolubili:calcolabilita' e linguaggi di programmazione
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Teoria della complessita': misure e classi di complessita'.
COM - Complessità
AL-ACC - Advanced Computational Complexity
Teoria della complessita': classi P e NP, Problemi non NP completi

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. 1 a scelta tra

Sillabo dell'insegnamento

Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• H - Computazione su rete
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
* PBD-MP - Mobile Platforms
Introduzione alla programmazione per mobile. La piattaforma Android
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
* PBD-MP - Mobile Platforms
Processi ed applicazioni in Android
• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
* HCI-F - Foundations
Interazione uomo macchina. Definizioni, contesto, evoluzione, nuove direzioni
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-DI - Designing Interaction
Il fattore umano: percezione, attenziona, memoria, modelli mentali.
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
+ HCI-PIS - Programming Interactive Systems
Disegno di interazione; prototipazione
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
+ HCI-UCD - User-Centered Design
Tecniche di valutazione

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• D - Linguaggi
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione ai paradigmi di programmazione
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Calcolo come riscrittura: le basi della programmazione funzionale
PLN - Paradigmi Linguistici
+ PL-BTS - Basic Type Systems
Espressioni e loro tipi. Tipi di base
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Progettazione di linguaggi funzionali, tecniche di ricorsione.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
PL-APC - Advanced Programming Constructs
Ragionare sui programmi funzionali: tecniche di induzione
ALC - Astrazioni Linguistiche e Composizionalità
PL-APC - Advanced Programming Constructs
L'idea di astrazione funzionale. Funzioni di ordine superiore
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
La valutazione lazy
TAV - Tecniche di Analisi e Verifica
PL-FS - Formal Semantics
Analisi sintattica a discesa ricorsiva
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Monadi e programmazione imperativa

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Programmazione di eventi in Java
* CB - Costrutti di Base
+ HCI-PIS - Programming Interactive Systems
Organizzazione e uso di Interfacce grafiche
PCC - Programmazione Concorrente
+ OS-C - Concurrency
Programmazione Multithread: esecuzione concorrente di istruzioni
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Programmazione Multithread: i thread in Java
PCC - Programmazione Concorrente
+ PD-PF - Parallelism Fundamentals
Problemi di sincronizzazione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Programmazione in rete in Java

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. 1 a scelta tra

Sillabo dell'insegnamento

• G - Basi di dati
* PC - Progettazione concettuale
+ IM-IMC - Information Management Concepts
Introduzione sistemi informativi aziendali: sistemi ERP
V - Varie
+ HCI-DI - Designing Interaction
Integrazione con il cliente: i sistemi CIRM
V - Varie
+ IM-DMo - Data Modeling
Gestione dell'azienda orientata ai processi
• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Fondamenti della tecnologia ad oggetti: principi di base della programmazione ad oggetti
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
UML: elementi del modello e discussione dei diagrammi principali
* AR - Analisi dei Requisiti
+ SE-TE - Tools and Environments
Analisi dei requisiti: tecniche per la collezione e la specifica dei requisiti per il progetto di un sistema informativo

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
* IS-FI - Fundamental Issues
Introduzione automatica di Problemi: : definizione del concetto di problema e di soluzione. Risoluzione automatica di problemi
* RP - Risoluzione di Problemi
* IS-BSS - Basic Search Strategies
Tre approcci diversi alla soluzione di problemi e loro strategie di ricerca.
* RP - Risoluzione di Problemi
* IS-BSS - Basic Search Strategies
Tre approcci diversi alla soluzione di problemi e loro strategie di ricerca.
ARC - Acquisizione e Rappresentazione della Conoscenza
* IS-BKRR - Basic Knowledge Representation and Reasoning
Rappresentazione della conoscenza e ragionamento: formalismi logici e rappresentazioni strutturate
ARC - Acquisizione e Rappresentazione della Conoscenza
* IS-BKRR - Basic Knowledge Representation and Reasoning
Rappresentazione della conoscenza e ragionamento: formalismi logici e rappresentazioni strutturate
AASC - Apprendimento Automatico e Scoperta di Conoscenza
* IS-BML - Basic Machine Learning
Agenti e apprendimento automatico

Insegnamenti "macro" nell'ambito dei quali può essere scelto