| Informazioni generali | ||||
| Università | ROMA "La Sapienza" | Responsabile del Percorso | Francesco Parisi Presicce | |
|---|---|---|---|---|
| Livello del Cdl | TRIENNALE | parisi@di.uniroma1.it | ||
| Scheda Unica Annuale (SUA) del Corso di Laurea: | Visualizza documento SUA caricato | E' un percorso interdisciplinare | No | |
| Commento | Sito: http://w3.uniroma1.it/dipinfo/corsi_di_studio/default.asp?iId=JKLFE | |||
| Legenda delle Aree | |||||
| A: | Fondamenti | G: | Basi di dati | altro INF: | Crediti di INFORMATICA non classificati nelle aree |
|---|---|---|---|---|---|
| B: | Algoritmi | H: | Computazione su rete | INF: | Crediti di INFORMATICA non classificabili a priori |
| C: | Programmazione | I: | Ingegneria del software | MAT: | Crediti di MATEMATICA |
| D: | Linguaggi | L: | Interazione, grafica e multimedialità | altro: | Crediti NON dell'INFORMATICA nè della MATEMATICA |
| E: | Architetture | M: | Rappresentazione della conoscenza | NC: | Crediti Non Classificabili a priori |
| F: | Sistemi operativi | A_M: | Una qualunque delle aree da A a M | ||
| Insegnamenti e ripartizione CFU per area | CFU | A | B | C | D | E | F | G | H | I | L | M | A_M | altro INF | INF | MAT | altro | NC |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Algebra | 9 | 9 | ||||||||||||||||
| Architettura degli elaboratori | 6 | 6 | ||||||||||||||||
| Basi di dati | 12 | 12 | ||||||||||||||||
| Calcolo delle probabilità | 9 | 9 | ||||||||||||||||
| Calcolo differenziale | 6 | 6 | ||||||||||||||||
| Calcolo integrale | 6 | 6 | ||||||||||||||||
| Fondamenti di programmazione | 9 | 9 | ||||||||||||||||
| Ingegneria del software | 6 | 6 | ||||||||||||||||
| Insegnamenti scelta libera | 12 | 12 | ||||||||||||||||
| Introduzione agli algoritmi | 6 | 6 | ||||||||||||||||
| Metodi matematici per l'informatica | 6 | 6 | ||||||||||||||||
| Metodologici (M) | 24 | 24 | ||||||||||||||||
| Metodologie di programmazione | 9 | 9 | ||||||||||||||||
| Progettazione di algoritmi | 9 | 9 | ||||||||||||||||
| Progettazione di sistemi digitali | 6 | 6 | ||||||||||||||||
| Reti di elaboratori | 9 | 9 | ||||||||||||||||
| Sistemi operativi | 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 | 24 | 0 | 0 | 36 | 0 | 36 |
| 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
Calcolo combinatorio -
MAT/02 - Algebra
Aritmetica modulare -
MAT/02 - Algebra
Trasformazioni lineari -
MAT/02 - Algebra
Applicazioni lineari -
MAT/02 - Algebra
Spazi vettoriali -
MAT/02 - Algebra
Sistemi lineari -
MAT/02 - Algebra
Autovalori e autovettori -
MAT/02 - Algebra
Matrici -
MAT/02 - Algebra
Elementi di teoria dei gruppi
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Microprogrammazione - *
LII - Livello Instruction Set
Insieme di istruzioni, classi di istruzioni e loro esecuzione -
GM - Gestione della Memoria
Gerarchia di memoria, memoria cache e virtuale -
V - Varie
Macchina di von Neumann. Unita' di controllo, ALU. -
GIO - Gestione dell'Input/Output
Moduli di input/output. Interruzioni e traps - *
CCS - Circuiti combinatori e sequenziali
Richiamo di circuiti elettronici notevoli e loro significato logico
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Schemi ER - *
LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggi di interrogazione - *
LI - Linguaggi di Interrogazione di Basi di Dati
SQL - *
PL - Progettazione Logica
Schemi relazionali - *
PL - Progettazione Logica
Normalizzazione di schemi relazionali - *
PC - Progettazione concettuale
Metodologie di progetto - *
DBMS - Sistemi di Gestione di Basi di Dati
Introduzione ai sistemi di gestione di basi di dati -
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Organizzazione fisica dei dati - *
DBMS - Sistemi di Gestione di Basi di Dati
Gestione della concorrenza - *
ML - Modelli logici
Modello relazionale -
V - Varie
Attività di laboratorio -
V - Varie
Attività di laboratorio
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Schema di Bernoulli -
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie discrete -
MAT/06 - Probabilita' e Statistica Matematica
Probabilità e indipendenza -
MAT/06 - Probabilita' e Statistica Matematica
Modellizzazione di esperimenti indipendenti -
MAT/06 - Probabilita' e Statistica Matematica
Richiami di teoria degli insiemi ed analisi combinatoria -
MAT/06 - Probabilita' e Statistica Matematica
Permutazioni, combinazioni -
MAT/06 - Probabilita' e Statistica Matematica
Spazi di probabilità -
MAT/06 - Probabilita' e Statistica Matematica
Algebra degli eventi -
MAT/06 - Probabilita' e Statistica Matematica
Principio di inclusione/esclusione
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| Nome | Calcolo differenziale | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | MAT/05 |
| Commento | |||
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
limitidi funzioni e funzioni continue -
MAT/05 - Analisi Matematica
funzioni reali di variabile reale -
MAT/05 - Analisi Matematica
numeri reali -
MAT/05 - Analisi Matematica
Successioni -
MAT/05 - Analisi Matematica
Serie numeriche -
MAT/05 - Analisi Matematica
Derivate e applicazioni allo studio di funzioni
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| Nome | Calcolo integrale | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | MAT/05 |
| Commento | |||
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
Equazioni Differenziali Ordinarie. -
MAT/05 - Analisi Matematica
Integrale secondo Riemann -
MAT/05 - Analisi Matematica
Serie di Taylor e sviluppi in serie delle funzioni elementari. -
MAT/05 - Analisi Matematica
Successione e Serie di Funzioni. -
MAT/05 - Analisi Matematica
Formule di integrazione per parti e per sostituzione -
MAT/05 - Analisi Matematica
Integrale Indefinito.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Analisi, formalizzazione e codifica della soluzione di semplici problemi - *
SS - Sintassi e Semantica
Introduzione alla programmazione - *
CB - Costrutti di Base
Gestione dell' I/O - *
CB - Costrutti di Base
Puntatori - *
R - Ricorsione
Strutture ricorsive sequenziali (liste), funzioni ricorsive numeriche e su arrays - *
P - Procedure
Funzioni, passaggio dei parametri, frame stack - *
CB - Costrutti di Base
Strutture di dati elementari: vettori, stringhe, record - *
CB - Costrutti di Base
Strutture di base del linguaggio C -
V - Varie
Attività di laboratorio
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Metodologie di analisi - *
PSC - Progettazione del Software e Codifica
Metodologie di progettazione orientate a oggetti - *
PSS - Processi di Sviluppo del Software
Documentazione mediante il linguaggio UML -
MSQ - Misure del Software e Qualita'
Metriche software ed analisi dei rischi - *
PSS - Processi di Sviluppo del Software
Produzione, in gruppo, di un documento di progetto - *
TVV - Testing, Verifica e Validazione
Cenni sulle tecniche di testing
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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 NC - Crediti Non Classificabili a priori
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
| 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
Specifica di algoritmi; astrazione dei dati - *
A - Algoritmi fondamentali
Ordinamenti e selezione - *
SDF - Strutture di Dati Fondamentali
Code, pile, alberi - *
SDF - Strutture di Dati Fondamentali
Gestione di dizionari; alberi binari di ricerca, criteri di bilanciamento - *
SDF - Strutture di Dati Fondamentali
Gestione di dizionari; tabelle hash, code di priorità -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi e verifica di algoritmi
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Logica predicativa -
MAT/01 - Logica Matematica
Algebra di Boole -
MAT/01 - Logica Matematica
Logica proposizionale -
MAT/01 - Logica Matematica
Teoria degli insiemi. -
MAT/01 - Logica Matematica
Funzioni e relazioni -
MAT/01 - Logica Matematica
Ragionamento induttivo
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Insegnamenti "a scelta" che possono essere selezionati
| 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
Classi, oggetti, ereditarieta', polimorfismo - *
POO - Programmazione Orientata agli Oggetti
Linguaggio Java - *
SCP - Sviluppo e Correttezza dei Programmi
Tecniche di produzione di software modulare. - *
SCP - Sviluppo e Correttezza dei Programmi
Tecniche elementari di testing/debugging - *
R - Ricorsione
Ricorsione in coda, ricorsione su liste e alberi - *
PSA - Problem Solving e Algoritmi
Algoritmi di interrogazione, visita, modifica di pile, code, alberi - *
SDTD - Strutture Dati e Tipi di Dati astratti
Tipi di dato astratto e loro implementazioni. - *
SCP - Sviluppo e Correttezza dei Programmi
Cenni sulla complessita' di tempo e di spazio dei programmi -
V - Varie
Attività di laboratorio
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Divide et Impera -
V - Varie
Nozioni di base sulle classi di complessità -
SDA - Strutture di Dati Avanzate
Grafi e loro varianti -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Branch and bound -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Programmazione Dinamica -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Backtracking -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Metodo Greedy -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Esemplificazione delle tecniche presentate tramite algoritmi -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi di diverse tecniche di programmazione
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Circuiti combinatori notevoli - *
CCS - Circuiti combinatori e sequenziali
Algebra Booleana - *
CCS - Circuiti combinatori e sequenziali
Circuiti Combinatori, porte logiche - *
AC - Aritmetica dei calcolatori
Rappresentazione dell'Informazione - *
CCS - Circuiti combinatori e sequenziali
Metodi di analisi e sintesi di circuiti combinatori e sequenziali - *
CCS - Circuiti combinatori e sequenziali
Circuiti Sequenziali elementari e notevoli
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Sviluppo di semplici applicazioni server -
PASR - Programmazione di Applicazioni e Servizi di Rete
Sviluppo di semplici applicazioni client - *
SR - Sicurezza delle Reti
Cenni alla crittografia simmetrica e asimmetrica - *
PT - Protocolli
Livello Rete - *
ARTC - Architettura delle Reti di Calcolatori
Introduzione alle reti di elaboratori e alla architettura TCP/IP - *
ARTC - Architettura delle Reti di Calcolatori
Reti locali e geografiche. Livelli, protocolli e servizi - *
PT - Protocolli
Livello collegamento dati e sottolivello MAC - *
PT - Protocolli
Livello Trasporto - *
PT - Protocolli
Livello delle Applicazioni
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
Gestione dei file: system call - *
GM - Gestione della Memoria
Gestione della memoria: system call - *
AMM - Amministrazione di sistema
Strumenti di amministrazione e la shell - *
AMM - Amministrazione di sistema
Comandi di base in ambiente Linux - *
AMM - Amministrazione di sistema
Linguaggi di scripting - *
GSP - Gestione e Sincronizzazione dei Processi
Processi: system call, comunicazione e sincronizzazione tra processi - *
GSP - Gestione e Sincronizzazione dei Processi
Programmazione concorrente: semafori e monitors, produttore-consumatore,lettore scrittore. - *
FS - File System
Strutture dati: superblocco, I-node, directory, buffer cache - *
FS - File System
Sicurezza e protezione dei files, controllo degli accessi - *
GSP - Gestione e Sincronizzazione dei Processi
Sezioni critiche, realizzazione semafori, primitive P e V - *
GM - Gestione della Memoria
Partizionamento statico e dinamico, paginazione, segmentazione e memoria virtuale - *
SCO - Struttura e Componenti di un sistema operativo
Gestore della memoria, del processore, del file system e delle periferiche
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| 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
| 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
| 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
Agenti intelligenti, razionalità, tipologie di ambienti e di agenti - *
LPD - Logica e Programmazione Dichiarativa
Conoscenza e ragionamento: agenti logici, logica del primo ordine, inferenza nella logica del primo ordine. - *
RP - Risoluzione di Problemi
Risolvere i problemi con la ricerca, ricerca informata ed esplorazione, problemi di soddisfacimento di vincoli. -
ARC - Acquisizione e Rappresentazione della Conoscenza
Pianificazione e azione nel mondo reale. Conoscenza e ragionamento in presenza di incertezza. -
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento automatico da osservazioni e per rinforzo. -
V - Varie
Elaborazione del linguaggio naturale.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| 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
Il paradigma funzionale, Il paradigma imperativo e il paradigma a oggetti -
TAV - Tecniche di Analisi e Verifica
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
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
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
Binding statico e binding dinamico Valutazione lazy e valutazione eager - *
S - Semantica
Le locazioni Il passaggio dei parametri (valore, reference e nome)
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| 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
Algoritmo del simplesso per la programmazione lineare e sua variante per problema di flusso in reti. - *
A - Algoritmi fondamentali
Algoritmi per il problema del flusso massimo. - *
A - Algoritmi fondamentali
Algoritmi ed euristiche per la programmazione intera. -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Programmazione dinamica -
V - Varie
Concetto di modello: lineari, di flusso in una rete, interi e non lineari. -
V - Varie
Metodi euristici per problemi disegno di reti, ecc.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| 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
