Riepilogo dell'insegnamento: Programmazione
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
- C - Programmazione
- *
SDTD - Strutture Dati e Tipi di Dati astratti
Informazioni strutturate
- *
SS - Sintassi e Semantica
Il linguaggio Java: controllo del flusso.
- *
SS - Sintassi e Semantica
Il linguaggio Java: metodi e ricorsione.
- *
POO - Programmazione Orientata agli Oggetti
Oggetti in Java
- *
SS - Sintassi e Semantica
Introduzione al linguaggio Java.
- *
SS - Sintassi e Semantica
Il linguaggio Java: tipi primitivi
- *
SS - Sintassi e Semantica
Breve rassegna di concetti matematici. Linguaggi formali: grammatiche context-free loro correttezza e completezza, rappresentazione dell'informazione. Alberi d'analisi e cenni al problema del ricoscimento/analisi di stringhe.
- *
CB - Costrutti di Base
Il paradigma della programmazione procedurale: il linguaggio alla Von Neumann VN: assegnazione, I/O, controlli, iterazione, variabili semplici e matriciali, sottoprogrammi funzione e procedura.
- *
PSA - Problem Solving e Algoritmi
Costruzione di programmi e sottoprogrammi JVN. Principali algoritmi di sorting di vettori.
- *
SCP - Sviluppo e Correttezza dei Programmi
Prove di correttezza di frammenti di programmi: proprieta' invarianti di cicli e prove induttive.
- *
R - Ricorsione
Il paradigma della programmazione dichiarativa: i termini e i sistemi di riscrittura ed uso della ricorsione. Il concetto di lista e sue manipolazioni.
- *
SS - Sintassi e Semantica
La semantica operazionale dei linguaggi di programmazione: definizione della semantica operazionale del linguaggio VN.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa