2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Metodi Matematici per l'Informatica
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | curriculum tecnologico (coorte 2015/2016) |
|---|---|---|---|
| CFU | 6 | Università | SALERNO |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 4 CFU nell'area A - Fondamenti
- 1 CFU nell'area B - Algoritmi
- 1 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
- A - Fondamenti
-
L - Logica
+ DS-PT - Proof Techniques
metodi e strategia di dimostrazione -
L - Logica
+ DS-BL - Basic Logics
logica proposizionale e sue applicazioni -
L - Logica
+ DS-PT - Proof Techniques
metodi e strategie di dimostrazione -
L - Logica
+ DS-BL - Basic Logics
logica proposizionale e sue applicazioni - B - Algoritmi
-
V - Varie
SE-FM - Formal Methods
prove di correttezza dei programmi - C - Programmazione
-
*
R - Ricorsione
+ AL-FDA - Fundamental Data Structures and Algorithms
Induzione e ricorsione
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
