Attività Didattica A.A. 2002-03

• Corso di Laboratorio di Programmazione - (Laurea in Informatica triennale)
  (Sillabo del corso, Programma del corso)
  

  Riferimenti bibliografici:
  [1] Marco Bertacca e Andrea Guidi, Introduzione a Java, seconda edizione, Casa editrice McGraw-Hill, 2000.
  (usato come testo di riferimento per l'a.a. 2002-03)
  [2] Cay S. Horstmann, Concetti di informatica e fondamenti di JAVA 2, Casa editrice Apogeo, 2000.
  (usato come testo di riferimento per l'a.a. 2001-02)

  Gli argomenti trattati durante il corso e che saranno oggetto della prova d'esame si trovano ai capitoli seguenti del testo di riferimento [1]:
  Cap. 1
  Cap. 2 (esclusa Sez.2.5)
  Cap. 3 (esclusa Sez.3.6)
  Cap. 4 (esclusa Sez.4.4)
  Sez.8.3 (fino a par.8.3.2 incluso)
  Cap. 6 (escluse Sez.6.11 e 6.12 e le nozioni di protected, inizializzatore d'istanza, finalize, inizializzatore statico)
  Cap. 9 (esclusa Sez.9.2)
  

  Relativamente ai concetti di classe, oggetto ed ereditarietà, sono utili anche i capitoli seguenti del testo di riferimento [2]:
  Cap. 3 (esclusa Sez.3.10)
  Cap. 7 (fino a Sez.7.6 inclusa)
  Cap. 9 (fino a Sez.9.6 inclusa)
  

  Prova intermedia scritta del 4/11/2002:
  i testi dei compiti (versione1, versione2, versione3, versione4) + soluzioni.
  

  Prova conclusiva scritta del 13/12/2002:
  i testi dei compiti totali (versione1, versione2) e degli esoneri (versione1, versione2).

  Recupero del 18/7/2003: il testo del compito + soluzione.

  Recupero del 19/9/2003: il testo del compito.

  Per gli esercizi di esame degli appelli degli anni precedenti, vedere alla sezione dedicata all'A.A. 2001-02.




• Corso di Laboratorio di Informatica - (Laurea in Matematica triennale)
  
  Programma del corso
  

  Testo di riferimento
  S. Ceri, D. Mandrioli, L. Sbattella, Informatica arte e mestiere, Casa editrice McGraw-Hill, 1999.

  Gli argomenti trattati durante il corso si trovano ai capitoli seguenti del testo di riferimento:

  Cap. 1-2-3-4-5-6-7-8
  Cap. 11
  Cap. 13 (solo introduzione e Sez. 13.1)
  Sez. 14.1
  
  Per il linguaggio macchina e le relative istruzioni fare riferimento al Cap. 4 (fino alla Sez. 4.5 inclusa) del libro Istituzioni di Informatica, Linguaggio di riferimento Pascal di S. Ceri, D. Mandrioli, L. Sbattella, Casa editrice McGraw-Hill, 1993 (fotocopia disponibile presso la copisteria interna della facoltà).
  
  Esercizi e Soluzioni (file aggiornato al 10/2/2003)
  
  Prova intermedia scritta del 13/2/2003: i testi dei compiti (versione1, versione2)
  
  Esercizi e Soluzioni su funzioni, procedure e ricorsione (file aggiornato al 10/3/2003)
  

  Prova conclusiva scritta del 21/3/2003: i testi del secondo esonero (versione1, versione2) e del compito totale (versione1, versione2) con alcune soluzioni.

  Recupero del 16/7/2003: il testo del compito.

  Recupero del 18/9/2003: il testo del compito.

  Recupero del 12/12/2003: il testo del compito.




• Teoria della Riscrittura all'interno del Corso di Metodi Formali dell'Informatica (Laurea in Informatica quinquennale), mutuato dal Corso di Metodi Formali dell'Informatica + Laboratorio (Laurea Specialistica in Informatica)
  (Programma di M.F.I., Note SRT, Esercizi di riscrittura)
  
  Alcuni compiti di riscrittura
  A.A. 2001-02: 27/6/02, 11/7/02, 17/9/02, 19/3/03.
  
  A.A. 2002-03: 17/6/03, 1/7/03, 15/7/03, 15/9/03.