2013
2013
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Programmazione
Informazioni generali
Corso di Laurea Informatica Percorso
CFU 12 Università FIRENZE
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

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