Laboratorio di Programmazione (in Italian)

2022-2023, I e II semestre, Laurea Triennale in Informatica, Università di Udine

Orario lezioni di laboratorio di programmazione

• I semestre: le lezioni di laboratorio si svolgeranno in due turni
  • martedì dalle 8:30 alle 10:30 (matricole pari)
  • giovedì dalle 8:30 alle 10:30 (matricole dispari)
• II semestre: venerdì dalle 8:30 alle 10:30

Testi

Testo di riferimento sulla programmazione funzionale:
M. Hailperin, B. Kaiser, K. Knight
"Concrete Abstractions"
Disponibile online (Ediz. originale: Brooks/Cole)

Lezioni

I semestre

• Lezione 1 (martedì 25/10/22 e giovedì 27/10/22, 8:30-10:30): Problemi 1 e 2 [Parziale numero ore: 2]
  
  Materiale:

  [problema1.pdf]
  [problema2.pdf] [teachpack] [puzzle.rkt]
  Per scaricare il teachpack usare il tasto destro del mouse (o qualcosa di equivalente in sistemi Apple) e selezionare, nel menù risultante, la voce "save link as"
• Lezione 2 (giovedì 3/11/22, 8:30-10:30, e venerdì 4/11/22, 15:30-17:30): Problema 3 [Parziale numero ore: 4]
  
  Materiale:

  [problema3.pdf]
• Lezione 3 (martedì 8/11/22 e giovedì 10/11/22, 8:30-10:30): Problema 4 [Parziale numero ore: 6]
  
  Materiale:

  [problema4.pdf] [btr_digit_sum.scm] [balanced_ternary.scm (per verifica)]
• Lezione 4 (martedì 15/11/22 e giovedì 17/11/22, 8:30-10:30): Problemi 5 e 6 [Parziale numero ore: 8]
  
  Materiale:

  [problema5.pdf]
  [problema6.pdf] [teachpack] [tiles.rkt]
  Per scaricare il teachpack usare il tasto destro del mouse (o qualcosa di equivalente in sistemi Apple) e selezionare, nel menù risultante, la voce "save link as"
• Lezione 5 (martedì 22/11/22 e giovedì 24/11/22, 8:30-10:30): Problema 7 [Parziale numero ore: 10]
  
  Materiale:

  [problema7.pdf]
  
• Lezione 6 (martedì 29/11/22 e giovedì 1/12/22, 8:30-10:30): Problema 8 [Parziale numero ore: 12]
  
  Materiale:

  [problema8.pdf] [teachpack]
  Per scaricare il teachpack usare il tasto destro del mouse (o qualcosa di equivalente in sistemi Apple) e selezionare, nel menù risultante, la voce "save link as"
• Lezione 7 (martedì 6/12/22 e martedì 20/12/22, 8:30-10:30): Esercitazione su temi d'esame [Parziale numero ore: 14]
  
  Materiale:

  [esercitazione.pdf]
• Lezione 8 (martedì 13/12/22 e giovedì 15/12/22, 8:30-10:30): Problema 9 [Parziale numero ore: 16]
  
  Materiale:

  [problema9.pdf]

II semestre

• Lezione 9 (venerdì 24/3/23, 8:30-10:30): Esercitazione sulla codifica in Java [Parziale numero ore: 2]
  
  Materiale:

  [24-03-23.pdf] [recursion_strings.scm]
• Lezione 10 (venerdì 31/3/23, 8:30-10:30): Problema 10 [Parziale numero ore: 4]
  
  Materiale:

  [31-03-23.pdf]
• Lezione 11 (venerdì 14/4/23, 8:30-10:30): Problema 11 [Parziale numero ore: 6]
  
  Materiale:

  [14-04-23.pdf] [IntSList.java] [Queens.java]
• Lezione 12 (venerdì 21/4/23, 8:30-10:30): Problema 12 [Parziale numero ore: 8]
  
  Materiale:

  [21-04-23.pdf] [SList.java] [Queens.java] [queens.jar] [package_doc.txt]
• Lezione 13 (venerdì 28/4/23, 8:30-10:30): Progetto "Longest Increasing Subsequence" – I parte [Parziale numero ore: 10]
  
  Materiale:

  [28-04-23.pdf]
• Lezione 14 (venerdì 5/5/23, 8:30-10:30): Progetto "Longest Increasing Subsequence" – II parte [Parziale numero ore: 12]
  
  Materiale:

  [05-05-23.pdf] [llis_bottom_up.pdf] [lis_path.pdf] [BottomUpLIS.java]
• Lezione 15 (martedì 16/5/23, 11:30-13:30): Problema 13 [Parziale numero ore: 14]
  
  Materiale:

  [16-05-23.pdf] [puzzleboard.jar] [package_doc.txt]
• Lezione 16 (venerdì 19/5/23, 8:30-10:30): Progetto "Codifica di Huffman" – I parte [Parziale numero ore: 16]
  
  Materiale:

  [19-05-23.pdf] [Huffman.java] [Node.java] [huffman_toolkit.jar] [documentazione]
• Lezione 17 (venerdì 26/5/23, 8:30-10:30): Progetto "Codifica di Huffman" – II parte [Parziale numero ore: 18]
  
  Materiale:

  [26-05-23.pdf] [Huffman.java] [Node.java] [sample_1.txt] [sample_2.txt] [sample_3.txt]
• Lezione 18 (martedì 30/5/23, 11:30-13:30): Esercitazione su temi d'esame [Parziale numero ore: 20]
  
  Materiale:

  [30-05-23.pdf]
• Lezione 19 (venerdì 9/6/23, 8:30-10:30): Esercitazione su temi d'esame [Parziale numero ore: 22]
  
  Materiale:

  stesso materiale usato nell'esercitazione precedente

II semestre – lezioni frontali di teoria (non laboratorio)

• Lezione 1 (giovedì 25/5/23, 13:30-15:30): Correttezza dei programmi imperativi: invarianti e correttezza [Parziale numero ore: 2]
  
  Materiale:

  [slides by Claudio Mirolo] [codice per esercitazioni by Claudio Mirolo]
• Lezione 2 (lunedì 29/5/23, 8:30-10:30): Correttezza dei programmi imperativi (cont'd'): terminazione, esercizi ed esempi [Parziale numero ore: 4]
  
• Lezione 3 (giovedì 1/6/23, 13:30-15:30): Esercitazioni su temi d'esame [Parziale numero ore: 6]
  
  Materiale:

  [esame del 29/06/20] [esame del 25/06/19]