2015
2015
Sei collegato come utente non registrato
Il percorso ha la certificazione (STANDARD)
Il percorso non ha la certificazione (BETA)
Corso di Laurea: Informatica  -  Percorso: Informatica
Informazioni generali
Università ROMA "La Sapienza" Responsabile del Percorso Francesco Parisi Presicce
Livello del Cdl TRIENNALE Email parisi@di.uniroma1.it
Docenti che insegnano nel corso*: 37 Scheda Unica Annuale (SUA) del Corso di Laurea: Nessun documento SUA caricato
(*) 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 http://www.di.uniroma1.it/it/didattica 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
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
Insegnamenti e ripartizione CFU per area CFU A B C D E F G H I L M MAT A_M AL AR DS GV HCI IAS IM IS NC OS PBD PD PL SE SP MAT altro INF INF altro NCP
Algebra 9                       9                                 9        
Architettura degli elaboratori 6         6                   6                                    
Basi di dati 12             12                         12                          
Calcolo delle probabilità 9                       9                                 9        
Calcolo differenziale 6                       6                                 6        
Calcolo integrale 6                       6                                 6        
Fondamenti di programmazione 9     9                     9                                      
Ingegneria del software 6                 6                                   6            
Insegnamenti scelta libera 12                                                                 12
Introduzione agli algoritmi 6   6                       6                                      
Metodi matematici per l'informatica 6                       6                                 6        
Metodologici (M) 24                         24                                        
Metodologie di programmazione 9     9                     3                       6              
Progettazione di algoritmi 9   9                       9                                      
Progettazione di sistemi digitali 6         6                   6                                    
Reti di elaboratori 9               9                           9                      
Sistemi operativi 12           12                                 12                    
                                                                     
Attività Extracurriculari 0                                                                 0
Lingue Straniere 3                                                                 3
Prova Finale 6                                                                 6
Tirocinio 15                                                                 15
TOTALE 180 0 15 18 0 12 12 12 9 6 0 0 36 24 39 15 6 12 6 12 12 18 6 36 0 0 0 36
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
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
Insegnamenti e ripartizione CFU per area CFU A B C D E F G H I L M MAT A_M AL AR DS GV HCI IAS IM IS NC OS PBD PD PL SE SP MAT altro INF INF altro NCP
Algebra 9                       9                                 9        
Architettura degli elaboratori 6         6                   6                                    
Basi di dati 12             12                         12                          
Calcolo delle probabilità 9                       9                                 9        
Calcolo differenziale 6                       6                                 6        
Calcolo integrale 6                       6                                 6        
Fondamenti di programmazione 9     9                     9                                      
Ingegneria del software 6                 6                                   6            
Insegnamenti scelta libera 12                                                                 12
Introduzione agli algoritmi 6   6                       6                                      
Metodi matematici per l'informatica 6                       6                                 6        
Metodologici (M) 24                         24                                        
Metodologie di programmazione 9     9                     3                       6              
Progettazione di algoritmi 9   9                       9                                      
Progettazione di sistemi digitali 6         6                   6                                    
Reti di elaboratori 9               9                           9                      
Sistemi operativi 12           12                                 12                    
                                                                     
Attività Extracurriculari 0                                                                 0
Lingue Straniere 3                                                                 3
Prova Finale 6                                                                 6
Tirocinio 15                                                                 15
TOTALE 180 0 15 18 0 12 12 12 9 6 0 0 36 24 39 15 6 12 6 12 12 18 6 36 0 0 0 36

Riepilogo dell'insegnamento: Algebra
Nome Algebra CFU 9
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare MAT/02
   

9 cfu così ripartiti nelle aree:

  • 9 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Calcolo combinatorio
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Aritmetica modulare
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Trasformazioni lineari
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Applicazioni lineari
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Spazi vettoriali
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Sistemi lineari
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Autovalori e autovettori
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Matrici
    • MAT/02 - Algebra
      MAT/02 - Algebra
      Elementi di teoria dei gruppi

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Architettura degli elaboratori
Nome Architettura degli elaboratori CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area E - Architetture

Sillabo dell'insegnamento

  • E - Architetture
    • * LMP - Livello di Microprogrammazione
      + AR-DLDS - Digital Logic and Digital Systems
      Microprogrammazione
    • * LII - Livello Instruction Set
      + AR-MLRD - Machine Level Representation of Data
      Insieme di istruzioni, classi di istruzioni e loro esecuzione
    • GM - Gestione della Memoria
      + AR-MSOA - Memory System Organization and Architecture
      Gerarchia di memoria, memoria cache e virtuale
    • V - Varie
      + AR-DLDS - Digital Logic and Digital Systems
      Macchina di von Neumann. Unita' di controllo, ALU.
    • GIO - Gestione dell'Input/Output
      * AR-IO - Interfacing and Communication
      Moduli di input/output. Interruzioni e traps
    • * CCS - Circuiti combinatori e sequenziali
      + AR-DLDS - Digital Logic and Digital Systems
      Richiamo di circuiti elettronici notevoli e loro significato logico

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 12
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

12 cfu così ripartiti nelle aree:

  • 12 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

  • G - Basi di dati
    • * PC - Progettazione concettuale
      + IM-IMC - Information Management Concepts
      Schemi ER
    • * LI - Linguaggi di Interrogazione di Basi di Dati
      + IM-DS - Database Systems
      Linguaggi di interrogazione
    • * LI - Linguaggi di Interrogazione di Basi di Dati
      + IM-RDQL - Relational Databases and Query Languages
      SQL
    • * PL - Progettazione Logica
      + IM-DMo - Data Modeling
      Schemi relazionali
    • * PL - Progettazione Logica
      IM-PDD - Physical Database Design
      Normalizzazione di schemi relazionali
    • * PC - Progettazione concettuale
      + IM-IMC - Information Management Concepts
      Metodologie di progetto
    • * DBMS - Sistemi di Gestione di Basi di Dati
      + IM-IMC - Information Management Concepts
      Introduzione ai sistemi di gestione di basi di dati
    • OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
      + IM-DS - Database Systems
      Organizzazione fisica dei dati
    • * DBMS - Sistemi di Gestione di Basi di Dati
      + IM-DS - Database Systems
      Gestione della concorrenza
    • * ML - Modelli logici
      + IM-DS - Database Systems
      Modello relazionale
    • V - Varie
      + IM-DMo - Data Modeling
      Attività di laboratorio
    • V - Varie
      * IM-In - Indexing
      Attività di laboratorio

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Calcolo delle probabilità
Nome Calcolo delle probabilità CFU 9
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare MAT/06
   

9 cfu così ripartiti nelle aree:

  • 9 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
      Schema di Bernoulli
    • MAT/06 - Probabilita' e Statistica Matematica
      MAT/06 - Probabilita' e Statistica Matematica
      Variabili aleatorie discrete
    • MAT/06 - Probabilita' e Statistica Matematica
      MAT/06 - Probabilita' e Statistica Matematica
      Probabilità e indipendenza
    • MAT/06 - Probabilita' e Statistica Matematica
      MAT/06 - Probabilita' e Statistica Matematica
      Modellizzazione di esperimenti indipendenti
    • MAT/06 - Probabilita' e Statistica Matematica
      MAT/06 - Probabilita' e Statistica Matematica
      Richiami di teoria degli insiemi ed analisi combinatoria
    • MAT/06 - Probabilita' e Statistica Matematica
      MAT/06 - Probabilita' e Statistica Matematica
      Permutazioni, combinazioni
    • 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
      Algebra degli eventi
    • MAT/06 - Probabilita' e Statistica Matematica
      MAT/06 - Probabilita' e Statistica Matematica
      Principio di inclusione/esclusione

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Calcolo differenziale
Nome Calcolo differenziale CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare MAT/05
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      limitidi funzioni e funzioni continue
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      funzioni reali di variabile reale
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      numeri reali
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Successioni
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Serie numeriche
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Derivate e applicazioni allo studio di funzioni

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Calcolo integrale
Nome Calcolo integrale CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare MAT/05
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Equazioni Differenziali Ordinarie.
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Integrale secondo Riemann
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Serie di Taylor e sviluppi in serie delle funzioni elementari.
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Successione e Serie di Funzioni.
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Formule di integrazione per parti e per sostituzione
    • MAT/05 - Analisi Matematica
      MAT/05 - Analisi Matematica
      Integrale Indefinito.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Fondamenti di programmazione
Nome Fondamenti di programmazione CFU 9
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

9 cfu così ripartiti nelle aree:

  • 9 CFU nell'area C - Programmazione

Sillabo dell'insegnamento

  • C - Programmazione
    • * PSA - Problem Solving e Algoritmi
      + AL-FDA - Fundamental Data Structures and Algorithms
      Analisi, formalizzazione e codifica della soluzione di semplici problemi
    • * SS - Sintassi e Semantica
      + AL-FDA - Fundamental Data Structures and Algorithms
      Introduzione alla programmazione
    • * CB - Costrutti di Base
      + AL-FDA - Fundamental Data Structures and Algorithms
      Gestione dell' I/O
    • * CB - Costrutti di Base
      + AL-FDA - Fundamental Data Structures and Algorithms
      Puntatori
    • * R - Ricorsione
      + AL-FDA - Fundamental Data Structures and Algorithms
      Strutture ricorsive sequenziali (liste), funzioni ricorsive numeriche e su arrays
    • * P - Procedure
      + AL-FDA - Fundamental Data Structures and Algorithms
      Funzioni, passaggio dei parametri, frame stack
    • * CB - Costrutti di Base
      + AL-FDA - Fundamental Data Structures and Algorithms
      Strutture di dati elementari: vettori, stringhe, record
    • * CB - Costrutti di Base
      + AL-FDA - Fundamental Data Structures and Algorithms
      Strutture di base del linguaggio C
    • V - Varie
      + AL-FDA - Fundamental Data Structures and Algorithms
      Attività di laboratorio

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Ingegneria del software
Nome Ingegneria del software CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • I - Ingegneria del software
    • * AR - Analisi dei Requisiti
      + SE-SPRE - Software Processes and Requirement Engineering
      Metodologie di analisi
    • * PSC - Progettazione del Software e Codifica
      * SE-SPM - Software Project Management
      Metodologie di progettazione orientate a oggetti
    • * PSS - Processi di Sviluppo del Software
      + SE-SVV - Software Verification and Validation
      Documentazione mediante il linguaggio UML
    • MSQ - Misure del Software e Qualita'
      + SE-SVV - Software Verification and Validation
      Metriche software ed analisi dei rischi
    • * PSS - Processi di Sviluppo del Software
      + SE-SDC - Software Design and Construction
      Produzione, in gruppo, di un documento di progetto
    • * TVV - Testing, Verifica e Validazione
      * SE-SPM - Software Project Management
      Cenni sulle tecniche di testing

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Insegnamenti scelta libera
Nome Insegnamenti scelta libera CFU 12
Ore di didattica frontale per CFU 10 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.


Riepilogo dell'insegnamento: Introduzione agli algoritmi
Nome Introduzione agli algoritmi CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

  • B - Algoritmi
    • * A - Algoritmi fondamentali
      + AL-BA - Basic Analysis
      Specifica di algoritmi; astrazione dei dati
    • * A - Algoritmi fondamentali
      + AL-AS - Algorithmic Strategies
      Ordinamenti e selezione
    • * SDF - Strutture di Dati Fondamentali
      + AL-FDA - Fundamental Data Structures and Algorithms
      Code, pile, alberi
    • * SDF - Strutture di Dati Fondamentali
      AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
      Gestione di dizionari; alberi binari di ricerca, criteri di bilanciamento
    • * SDF - Strutture di Dati Fondamentali
      + AL-FDA - Fundamental Data Structures and Algorithms
      Gestione di dizionari; tabelle hash, code di priorità
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      + AL-AS - Algorithmic Strategies
      Analisi e verifica di algoritmi

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Metodi matematici per l'informatica
Nome Metodi matematici per l'informatica CFU 6
Ore di didattica frontale per CFU 10 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
      Logica predicativa
    • MAT/01 - Logica Matematica
      + DS-BL - Basic Logics
      Algebra di Boole
    • MAT/01 - Logica Matematica
      + DS-BC - Basics of Counting
      Logica proposizionale
    • MAT/01 - Logica Matematica
      + DS-PT - Proof Techniques
      Teoria degli insiemi.
    • MAT/01 - Logica Matematica
      + DS-BL - Basic Logics
      Funzioni e relazioni
    • MAT/01 - Logica Matematica
      + DS-SRF - Sets, Relations, and Functions
      Ragionamento induttivo

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Metodologici
Nome Metodologici CFU 24
Ore di didattica frontale per CFU N/A Settore Scientifico Disciplinare INF/01
Commento fra questi quattro sono da scegliere per completare il piano di studi

24 cfu così ripartiti nelle aree:

  • 24 CFU nell'area A_M - Una qualunque delle aree da A a M

Riepilogo dell'insegnamento: Metodologie di programmazione
Nome Metodologie di programmazione CFU 9
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

9 cfu così ripartiti nelle aree:

  • 9 CFU nell'area C - Programmazione

Sillabo dell'insegnamento

  • C - Programmazione
    • * POO - Programmazione Orientata agli Oggetti
      + PL-OOP - Object-Oriented Programming
      Classi, oggetti, ereditarieta', polimorfismo
    • * POO - Programmazione Orientata agli Oggetti
      + PL-OOP - Object-Oriented Programming
      Linguaggio Java
    • * SCP - Sviluppo e Correttezza dei Programmi
      * PL-EDRP - Event-Driven and Reactive Programming
      Tecniche di produzione di software modulare.
    • * SCP - Sviluppo e Correttezza dei Programmi
      PL-PR - Program Representation
      Tecniche elementari di testing/debugging
    • * R - Ricorsione
      + PL-PP - Programming paradigms (Imperative, Functional, ?)
      Ricorsione in coda, ricorsione su liste e alberi
    • * PSA - Problem Solving e Algoritmi
      + AL-FDA - Fundamental Data Structures and Algorithms
      Algoritmi di interrogazione, visita, modifica di pile, code, alberi
    • * SDTD - Strutture Dati e Tipi di Dati astratti
      + AL-FDA - Fundamental Data Structures and Algorithms
      Tipi di dato astratto e loro implementazioni.
    • * SCP - Sviluppo e Correttezza dei Programmi
      + PL-PP - Programming paradigms (Imperative, Functional, ?)
      Cenni sulla complessita' di tempo e di spazio dei programmi
    • V - Varie
      + AL-FDA - Fundamental Data Structures and Algorithms
      Attività di laboratorio

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Progettazione di algoritmi
Nome Progettazione di algoritmi CFU 9
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

9 cfu così ripartiti nelle aree:

  • 9 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

  • B - Algoritmi
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      + AL-AS - Algorithmic Strategies
      Divide et Impera
    • V - Varie
      + AL-BACC - Basic Automata, Computability and Complexity
      Nozioni di base sulle classi di complessità
    • SDA - Strutture di Dati Avanzate
      + AL-FDA - Fundamental Data Structures and Algorithms
      Grafi e loro varianti
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      + AL-AS - Algorithmic Strategies
      Branch and bound
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      + AL-AS - Algorithmic Strategies
      Programmazione Dinamica
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      + AL-AS - Algorithmic Strategies
      Backtracking
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      + AL-AS - Algorithmic Strategies
      Metodo Greedy
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      + AL-AS - Algorithmic Strategies
      Esemplificazione delle tecniche presentate tramite algoritmi
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
      Analisi di diverse tecniche di programmazione

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Progettazione di sistemi digitali
Nome Progettazione di sistemi digitali CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area E - Architetture

Sillabo dell'insegnamento

  • E - Architetture
    • * CCS - Circuiti combinatori e sequenziali
      + AR-ALMO - Assembly Level Machine Organization
      Circuiti combinatori notevoli
    • * CCS - Circuiti combinatori e sequenziali
      + AR-MSOA - Memory System Organization and Architecture
      Algebra Booleana
    • * CCS - Circuiti combinatori e sequenziali
      + AR-MLRD - Machine Level Representation of Data
      Circuiti Combinatori, porte logiche
    • * AC - Aritmetica dei calcolatori
      + AR-DLDS - Digital Logic and Digital Systems
      Rappresentazione dell'Informazione
    • * CCS - Circuiti combinatori e sequenziali
      + AR-DLDS - Digital Logic and Digital Systems
      Metodi di analisi e sintesi di circuiti combinatori e sequenziali
    • * CCS - Circuiti combinatori e sequenziali
      * AR-IO - Interfacing and Communication
      Circuiti Sequenziali elementari e notevoli

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Reti di elaboratori
Nome Reti di elaboratori CFU 9
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

9 cfu così ripartiti nelle aree:

  • 9 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      + NC-I - Introduction: Computer Network Architecture
      Sviluppo di semplici applicazioni server
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      + NC-NA - Networked Applications
      Sviluppo di semplici applicazioni client
    • * SR - Sicurezza delle Reti
      + NC-RDD - Reliable Data Delivery
      Cenni alla crittografia simmetrica e asimmetrica
    • * PT - Protocolli
      + NC-RF - Routing And Forwarding
      Livello Rete
    • * ARTC - Architettura delle Reti di Calcolatori
      + NC-LAN - Local Area Networks
      Introduzione alle reti di elaboratori e alla architettura TCP/IP
    • * ARTC - Architettura delle Reti di Calcolatori
      + NC-I - Introduction: Computer Network Architecture
      Reti locali e geografiche. Livelli, protocolli e servizi
    • * PT - Protocolli
      + NC-I - Introduction: Computer Network Architecture
      Livello collegamento dati e sottolivello MAC
    • * PT - Protocolli
      + NC-I - Introduction: Computer Network Architecture
      Livello Trasporto
    • * PT - Protocolli
      + NC-I - Introduction: Computer Network Architecture
      Livello delle Applicazioni

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 12
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

12 cfu così ripartiti nelle aree:

  • 12 CFU nell'area F - Sistemi operativi

Sillabo dell'insegnamento

  • F - Sistemi operativi
    • * FS - File System
      + OS-O - Overview of Operating Systems and Principles
      Gestione dei file: system call
    • * GM - Gestione della Memoria
      + OS-C - Concurrency
      Gestione della memoria: system call
    • * AMM - Amministrazione di sistema
      + OS-MM - Memory Management
      Strumenti di amministrazione e la shell
    • * AMM - Amministrazione di sistema
      + OS-MM - Memory Management
      Comandi di base in ambiente Linux
    • * AMM - Amministrazione di sistema
      + OS-O - Overview of Operating Systems and Principles
      Linguaggi di scripting
    • * GSP - Gestione e Sincronizzazione dei Processi
      + OS-SD - Scheduling and Dispatch
      Processi: system call, comunicazione e sincronizzazione tra processi
    • * GSP - Gestione e Sincronizzazione dei Processi
      + OS-SD - Scheduling and Dispatch
      Programmazione concorrente: semafori e monitors, produttore-consumatore,lettore scrittore.
    • * FS - File System
      + OS-O - Overview of Operating Systems and Principles
      Strutture dati: superblocco, I-node, directory, buffer cache
    • * FS - File System
      + OS-MM - Memory Management
      Sicurezza e protezione dei files, controllo degli accessi
    • * GSP - Gestione e Sincronizzazione dei Processi
      * OS-SPr - Security and Protection
      Sezioni critiche, realizzazione semafori, primitive P e V
    • * GM - Gestione della Memoria
      * OS-VM - Virtual Machines
      Partizionamento statico e dinamico, paginazione, segmentazione e memoria virtuale
    • * SCO - Struttura e Componenti di un sistema operativo
      + OS-O - Overview of Operating Systems and Principles
      Gestore della memoria, del processore, del file system e delle periferiche

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).


Riepilogo dell'insegnamento: Automi Calcolabilità e Complessità
Nome Automi Calcolabilità e Complessità 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
    • * ALF - Automi e Linguaggi Formali
      + AL-BACC - Basic Automata, Computability and Complexity
      Automi, Calcobilita e Complessità
    • * ALF - Automi e Linguaggi Formali
      + AL-BACC - Basic Automata, Computability and Complexity
      Automi, Calcobilita e Complessità
    • * ALF - Automi e Linguaggi Formali
      + AL-BACC - Basic Automata, Computability and Complexity
      Automi, Calcobilita e Complessità
    • * ALF - Automi e Linguaggi Formali
      + AL-BACC - Basic Automata, Computability and Complexity
      Automi, Calcobilita e Complessità
    • COM - Complessità
      AL-ACC - Advanced Computational Complexity
      Automi, Calcobilita e Complessità
    • * CAL - Calcolabilità
      + AL-BACC - Basic Automata, Computability and Complexity
      Automi, Calcobilita e Complessità

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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

  1. Metodologici

Riepilogo dell'insegnamento: Combinatoria per informatica
Nome Combinatoria per informatica 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.

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

  1. Metodologici

Riepilogo dell'insegnamento: Fisica
Nome Fisica CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare FIS/01
   

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.

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

  1. Metodologici

Riepilogo dell'insegnamento: Intelligenza artificiale
Nome Intelligenza artificiale CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • M - Rappresentazione della conoscenza
    • AI - Agenti Intelligenti
      * IS-BKRR - Basic Knowledge Representation and Reasoning
      Agenti intelligenti, razionalità, tipologie di ambienti e di agenti
    • * LPD - Logica e Programmazione Dichiarativa
      * IS-BKRR - Basic Knowledge Representation and Reasoning
      Conoscenza e ragionamento: agenti logici, logica del primo ordine, inferenza nella logica del primo ordine.
    • * RP - Risoluzione di Problemi
      * IS-BKRR - Basic Knowledge Representation and Reasoning
      Risolvere i problemi con la ricerca, ricerca informata ed esplorazione, problemi di soddisfacimento di vincoli.
    • ARC - Acquisizione e Rappresentazione della Conoscenza
      * IS-FI - Fundamental Issues
      Pianificazione e azione nel mondo reale. Conoscenza e ragionamento in presenza di incertezza.
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      * IS-BML - Basic Machine Learning
      Apprendimento automatico da osservazioni e per rinforzo.
    • V - Varie
      * IS-BSS - Basic Search Strategies
      Elaborazione del linguaggio naturale.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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

  1. Metodologici

Riepilogo dell'insegnamento: Linguaggi di Programmazione
Nome Linguaggi di Programmazione CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • D - Linguaggi
    • PLN - Paradigmi Linguistici
      + PL-PP - Programming paradigms (Imperative, Functional, ?)
      Il paradigma funzionale, Il paradigma imperativo e il paradigma a oggetti
    • TAV - Tecniche di Analisi e Verifica
      + PL-BTS - Basic Type Systems
      Speci ca e veri ca nei linguaggi imperativi  Il metodo delle invarianti  Hoare Logic { Speci ca e veri ca nei linguaggi funzionali  Teorie equazionali  Una teoria dei tipi dipendenti
    • * S - Semantica
      PL-FS - Formal Semantics
      Semantica di un (mini) linguaggio funzionale. Semantica di un (mini) linguaggio Algol-like.
    • * MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
      * PL-CP - Concurrency and Parallelism
      I tipi nei linguaggi funzionali  Annotazioni di tipo come speci ca  Inferenza dei tipi come veri ca. Il polimor sm.o  Tipi generici.  Il polimor smo in ML
    • * S - Semantica
      PL-LP - Language Pragmatics
       Binding statico e binding dinamico  Valutazione lazy e valutazione eager
    • * S - Semantica
      PL-FS - Formal Semantics
      Le locazioni  Il passaggio dei parametri (valore, reference e nome)

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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

  1. Metodologici

Riepilogo dell'insegnamento: Modelli e Ottimizzazione
Nome Modelli e Ottimizzazione CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

  • B - Algoritmi
    • * A - Algoritmi fondamentali
      + AL-AS - Algorithmic Strategies
      Algoritmo del simplesso per la programmazione lineare e sua variante per problema di flusso in reti.
    • * A - Algoritmi fondamentali
      + AL-AS - Algorithmic Strategies
      Algoritmi per il problema del flusso massimo.
    • * A - Algoritmi fondamentali
      + AL-AS - Algorithmic Strategies
      Algoritmi ed euristiche per la programmazione intera.
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      + AL-AS - Algorithmic Strategies
      Programmazione dinamica
    • V - Varie
      + AL-AS - Algorithmic Strategies
      Concetto di modello: lineari, di flusso in una rete, interi e non lineari.
    • V - Varie
      + AL-FDA - Fundamental Data Structures and Algorithms
      Metodi euristici per problemi disegno di reti, ecc.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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

  1. Metodologici

Riepilogo dell'insegnamento: Programmazione di sistema
Nome Programmazione di sistema CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area C - Programmazione
  • 3 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • C - Programmazione
    • * CB - Costrutti di Base
      AR-PE - Performance Enhancements
      Costrutti di Base
    • PP - Paradigmi di Programmazione
      AR-PE - Performance Enhancements
      paradigmi di programmazione
    • V - Varie
      AR-PE - Performance Enhancements
      varie
  • H - Computazione su rete
    • * ARTC - Architettura delle Reti di Calcolatori
      + NC-NA - Networked Applications
      Architetture Calcolatore
    • GRC - Gestione di Reti di Calcolatori
      + NC-NA - Networked Applications
      Gestione Reti di Calcolatori
    • * SR - Sicurezza delle Reti
      + NC-NA - Networked Applications
      sicurezza reti

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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

  1. Metodologici

Riepilogo dell'insegnamento: Programmazione di sistemi multicore
Nome Programmazione di sistemi multicore CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area C - Programmazione
  • 3 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • C - Programmazione
    • PCC - Programmazione Concorrente
      * PL-CP - Concurrency and Parallelism
      Programmazione Concorrente
    • V - Varie
      * PL-CP - Concurrency and Parallelism
      varie
    • * CB - Costrutti di Base
      PL-APC - Advanced Programming Constructs
      Costrutti di Base
  • D - Linguaggi
    • V - Varie
      * PL-CP - Concurrency and Parallelism
      Sistemi multicore
    • PLN - Paradigmi Linguistici
      PL-APC - Advanced Programming Constructs
      paradigmi linguistici
    • TAV - Tecniche di Analisi e Verifica
      PL-APC - Advanced Programming Constructs
      Tecniche e analisi di verifica

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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

  1. Metodologici

Riepilogo dell'insegnamento: Sicurezza
Nome 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.

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

  1. Metodologici

Riepilogo dell'insegnamento: Verifica e Validazione dei Sistemi
Nome Verifica e Validazione dei Sistemi CFU 9
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

9 cfu così ripartiti nelle aree:

  • 6 CFU nell'area I - Ingegneria del software
  • 3 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree

Sillabo dell'insegnamento

  • I - Ingegneria del software
    • V - Varie
      + HCI-DI - Designing Interaction
      HCI
    • V - Varie
      + HCI-PIS - Programming Interactive Systems
      HCI
    • V - Varie
      + HCI-UCD - User-Centered Design
      HCI
    • * PSS - Processi di Sviluppo del Software
      + HCI-DI - Designing Interaction
      Sviluppo
    • * TVV - Testing, Verifica e Validazione
      + HCI-PIS - Programming Interactive Systems
      Testing
    • V - Varie
      * HCI-HFS - Human Factors & Security
      Analisi requsiti

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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

  1. Metodologici