(*) 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
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
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
*
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
*
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 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
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
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
Specica e verica nei linguaggi imperativi Il metodo delle invarianti Hoare Logic { Specica e verica 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 specica Inferenza dei tipi come verica. Il polimorsm.o Tipi generici. Il polimorsmo 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
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