Samuel Rota Bulò, PhD - Researcher at Bruno Kessler Foundation of Trento, Italy

Back to Home page

Programmazione A.A. 2011/2012 (parte II)

Comunicazioni

Obiettivi

Il corso si propone di introdurre gli elementi base della programmazione per affrontare i problemi che ammettono soluzioni algoritmiche.
Al termine del corso lo studente dovrà saper progettare e formalizzare semplici programmi, sviluppati secondo il paradigma funzionale.

Contenuti

Programmazione funzionale e linguaggio oCaML.

Orari

Le lezioni si tengono il mercoledý 18.15 - 19.45 in aula A, e il sabato 10:30 - 12:00 in aula 1.

Calendatio delle lezioni

15 febbraio 2012. Orario: 18.15 - 19.45.
Introduzione alla programmazione
18 febbraio 2012. Orario: 10.30 - 12.00.
Caratteri e stringhe.
Booleani.
Il tipo unit.
Ennuple
Liste.
Funzioni: prima parte.
25 febbraio 2012. Orario: 9.00 - 12.00.
Espressioni condizionali.
Variabili.
Funzioni: seconda parte.
3 marzo 2012. Orario: 9.00 - 12.00.
Pattern Matching.
10 marzo 2012. Orario: 9.00 - 12.00.
Ricorsione.
17 marzo 2012. Orario: 9.00 - 12.45.
Ricorsione.
24 marzo 2012. Orario: 9.00 - 12.45.
Esercizi.
31 marzo 2012. Orario: 9.00 - 12.45.
Ricorsione in coda.
07 aprile 2012. Orario: 9.00 - 12.45.
Ricorsione in coda.
14 aprile 2012. Orario: 9.00 - 12.00.
Esercizi.
21 aprile 2012. Orario: 9.00 - 12.00.
Definizione di nuovi tipi.
28 aprile 2012. Orario: 9.00 - 12.00.
Esercizi.

Materiale didattico

  • Introduzione alla programmazione [pdf]
  • Tipi primitivi ed ennuple [pdf]
  • Liste e funzioni I [pdf]
  • Espressioni condizionali e variabili [pdf]
  • Funzioni II [pdf]
  • Pattern matching [pdf]
  • Ricorsione [pdf]
  • Ricorsione in coda [pdf]
  • Definizione di nuovi tipi [pdf]

Soluzioni di alcuni esercizi proposti nelle slides

  • Soluzioni esercizi 1 [ml]
  • Soluzioni esercizi 2 [ml]
  • Soluzioni esercizi 3 [ml]
  • Soluzioni esercizi 4 [ml]
  • Soluzioni esercizi 5 [ml]
  • Soluzioni esercizi 6 [ml]
  • Soluzioni esercizi 7 [ml]
  • Mini progetto esemplificativo [ml]

Tracce di alcuni esami passati

  • Esame del 18.06.2010 [pdf]
  • Esame del 06.07.2010 [pdf]
  • Esame del 17.09.2010 [pdf]
  • Esame del 13.01.2011 [pdf]
  • Esame del 10.05.2011 [pdf]
  • Esame del 14.01.2012 [pdf]

Testi consigliati