Programmazione

Il corso di programmazione si propone lo scopo di formare le basi teoriche e pratiche elementari nella programmazione strutturata e funzionale (ricorsiva). Il corrispondente corso di laboratorio è strutturato in modo tale da permettere la sperimentazione pratica dei concetti elementari della programmazione in un linguaggio commerciale a oggetti quale JAVA.

Programma del corso:

• Fondamenti matematici per la programmazione (30 ore)
  Cenni al calcolo dei predicati.
  Il concetto di algoritmo.
  Una macchina per eseguire algoritmi: URIM.
  Funzioni calcolabili e ricorsive.
  Cenni alla Tesi di Church.

• Elementi di sintassi dei linguaggi di programmazione (5 ore)
  Elementi lessicali e costrutti sintattici.
  Forma BNF e grammatiche.

• Principi di programazione iterativa (40 ore)
  Costrutti di base dei linguaggi imperativi: espressioni, dichiarazioni, comandi.
  Il concetto di stato. Semantica informale dei programmi.
  Logica di Hoare: specifica, verifica e sintesi di programmi iterativi.
  Astrazioni di controllo: procedure/funzioni.
  Passaggio dei parametri per valore e per riferimento.

• Principi di programmazione ricorsiva (40 ore)
  Costrutti base dei linguaggi funzionali: ML.
  Semantica dei costrutti funzionali.
  Definizione di funzioni, pattern matching, tipi, cenni di controllo e inferenza dei tipi
  Principi di induzione e dimostrazioni induttive di proprietà dei programmi ricorsivi
  Semplici strutture dati ricorsive.
  Semantica di un linguaggio imperativo in ML.