Attività Didattica A.A. 2007-08

Modulo di Laboratorio di Programmazione I
(all'interno del corso di Fondamenti di Programmazione con Laboratorio [12 cfu] della Laurea Base in Informatica) e
Corso di Laboratorio di Programmazione (Laurea Base in Matematica)

Corso di Metodi Formali dell'Informatica (Laurea Specialistica in Informatica)

• Modulo di Laboratorio di Programmazione I (Laurea Base in Informatica) e
  Corso di Laboratorio di Programmazione (Laurea Base in Matematica)
  ( Orario delle lezioni, Sillabo, Riferimenti bibliografici)
  

  Disponibile una versione del compito totale del 30 gennaio 2008.

  Sono disponibili alcuni appunti sulle lezioni e gli esercizi svolti.
  

  Gli argomenti trattati durante il corso e che saranno oggetto delle prove di esame si trovano nei capitoli seguenti del testo di riferimento [1]:
  Cap. 1
  Cap. 2 (escluse Sez.2.4.4 e 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.10, 6.11 e 6.12 e le nozioni di protected, inizializzatore d'istanza, finalize)
  
  Relativamente ai contenuti della seconda parte del corso, possono essere consultati anche i capitoli seguenti del testo di riferimento [2]:
  Cap. 2
  Cap. 7 (fino a Sez.7.8 inclusa, ma Sez.7.7 esclusa)
  Sez.8.2 e Sez.8.3
  Cap. 10 (fino a Sez.10.5 inclusa)
  Cap. 15 (fino a Sez.15.3 inclusa)
  

  N.B. Il programma del corso del corrente anno accademico non include le eccezioni in Java, la loro definizione e gestione. Tale argomento non sarà oggetto della prova di esame, mentre sono stati trattati con maggior attenzione la sovrascrittura di metodi ed il meccanismo del late binding.
  [1] Marco Bertacca e Andrea Guidi, Introduzione a Java, seconda edizione, Casa editrice McGraw-Hill, 2000.
  [2] Cay S. Horstmann, Concetti di informatica e fondamenti di JAVA 2, seconda edizione, Casa editrice Apogeo, 2002.
  
  

  Per gli esercizi di esame degli appelli degli anni scorsi, vedere alle sezioni dedicate agli anni accademici precedenti
  (A.A. 2006-07, A.A. 2005-06, A.A. 2004-05, A.A. 2003-04, A.A. 2002-03, A.A. 2001-02).




• Teoria della Riscrittura all'interno del corso di Metodi Formali dell'Informatica (Laurea Specialistica in Informatica)
  Pagina in costruzione!!! Si prega di fare riferimento alla pagina relativa al corso dell' A.A. 2005-06.