Life changes fast.
Life changes in the instant.
You sit down to dinner and life as you know it ends.
The question of self-pity.

from ''The Year of Magical Thinking'' by Joan Didion (2005).

Attività Didattica A.A. 2009-10

08/02/2011
Formal Methods
A short note on higher order logic and the HOL proof assistant is available.
An electronic version of the HOL basic rules of inference is available here (modulo rotation of the document).

26/01/2011
Corso di Informatica (CdL Matematica)
Disponibile una versione elettronica del capitolo sul linguaggio macchina.

19/10/2010
The English versions of the two lecture notes on abstract reduction systems and term rewriting systems are now also available at the photocopy shop inside the Faculty near the main entrance of the building Coppito 1.
For preliminary information on the course of Formal Methods see section below.

Insegnamenti A.A. 2009-10

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

Corso di Informatica [6 cfu] (Laurea Base in Matematica, DM 270)

Modulo di Metodi Formali dell'Informatica [6 cfu]
(all'interno del corso di Metodi Formali e di Verifica [12 cfu] della Laurea Magistrale in Informatica)

• Modulo di Laboratorio di Programmazione I (Laurea Base in Informatica)
  
  Disponibile una versione elettronica della dispensa sui diagrammi di flusso e dei disegni dei diagrammi relativi agli esercizi presentati nella dispensa (grazie a Francesca Marzi per la realizzazione della versione elettronica dei diagrammi).
  Si prega di comunicare ogni errore o imprecisione eventualmente presente nelle dispense alla docente del corso.
  
  

  27/09/2010
  Risultati della prova scritta del 27/09/2010 del modulo di Laboratorio di Programmazione I (CdL Informatica):
  matr. 194047: voto 17 - ORALE
  matr. 182821: voto 19 - ORALE
  matr. 189603: voto 16 - ORALE
  

  Risultati della prova scritta del 10/09/2010 del modulo di Laboratorio di Programmazione I (CdL Informatica):
  matr. 195352: voto 25 (venticinque)
  matr. 159936: voto 27 (ventisette)
  
  Disponibili i risultati della prova scritta del 13/07/2010 del modulo di Laboratorio di Programmazione I (CdL Informatica) e di Informatica (CdL Matematica).
  
  Risultati della prova scritta del 24/06/2010 del modulo di Laboratorio di Programmazione I (CdL Informatica) e di Informatica (CdL Matematica): risultati.
  I testi della prova scritta: Lab. Programmazione I, Informatica.
  
  Risultati della prova scritta del 01/03/2010: II parziale, prova totale.
  Una versione del compito totale.
  
  Risultati della prova scritta del 15/02/2010: II parziale, prova totale.
  Una versione del compito totale.
  
  Risultati della prova intermedia scritta del 14/12/2009: Lab. Progr. I.
  Una versione del compito.
  
  
  Programma del corso
  Gli argomenti trattati durante la seconda parte del corso e che saranno oggetto della seconda prova parziale si trovano nei capitoli seguenti dei testi di riferimento:
  
  [1] Marco Bertacca e Andrea Guidi, Programmare in Java, Casa editrice McGraw-Hill, 2007.
  Sez.7.7 (ricorsione)
  Cap. 8-9 (fino a Sez.9.10 inclusa, NO inizializzatore d'istanza e finalizzazione in Sez.9.9)
  
  [2] Cay Horstmann, Concetti di informatica e fondamenti di JAVA, Casa editrice Apogeo, 2007.
  Sez.2.6-2.7-2.8
  Cap.3 (fino a Errori Comuni 3.2 incluso)
  Sez.8.4-8.6-8.8
  Cap.10 (fino a Sez.10.6 incluso)
  
  Si raccomanda comunque di partire sempre dagli appunti ed esercizi presenti alla pagina dell' A.A. 2007-08, soprattutto per quanto riguarda lo svolgimento degli esercizi sulle classi.
  
  Per lo svolgimento della prova totale vanno considerati anche i contenuti della prima parte del corso:
  
  Testo [1]:
  Cap. 1-2-3-4 (escluse Sez.4.4.4, 4.5 e 4.6)
  Cap.5 (escluso Sez.5.6)
  Cap.6 (fino a Sez.6.4 inclusa)
  Cap.7 (fino a Sez.7.6 inclusa, tranne Sez.7.4)
  Sez.11.3 (fino a par. 11.3.2 incluso)
  
  Testo [2]:
  Cap.1-2 (fino a Sez.2.5 incluso)
  Cap.4 (escluso Sez.4.7)
  Cap. 5 (NO switch)
  Cap. 6 (NO break, continue e Sez.6.5)
  Cap.7 (solo array monodimensionali e bidimensionali in Sez. 7.1 e 7.6)
  
  Per informazioni sul corso, al momento si prega di fare riferimento alla pagina relativa all' A.A. 2008-09.

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




• Corso di Informatica (Laurea Base in Matematica, DM 270)
  
  Sillabo del corso e riferimenti bibliografici.
  Per la parte sul linguaggio Java fare riferimento alle informazioni presenti nella sezione precedente in questa stessa pagina dedicata al modulo di Laboratorio di Programmazione I.
  
  

  26/01/2011
  Disponibile una versione elettronica del capitolo sul linguaggio macchina.

  Risultati della prova scritta del 27/09/2010 dell'esame di Informatica (CdL Matematica):
  matr. 180633: voto 18
  matr. 196595: voto 18
  matr. 193738: Grav. Insuff. (5)
  
  Risultati della prova scritta del 01/03/2010: II parziale e totale.
  Una versione del compito totale.
  
  Risultati della prova scritta del 15/02/2010: II parziale e totale.
  Una versione del compito totale.
  
  Risultati della prova intermedia scritta del 14/12/2009: Informatica.
  Una versione del compito.
  
  



• Formal Methods in the framework of the course Metodi Formali e di Verifica (12 credits)
  
  The final English version of (part of) the notes on Abstract Reduction Systems is available.
  The Italian version can be found here.
  
  A preliminary English version of the Notes on Term Rewriting Systems is now available. Please, report any errors or problems to monica.nesi@univaq.it.
  The Italian version can be found here.
  
  A preliminary English version of (part of) Prof. Théry's notes on logic is available. This version is partial as some notes on Stalmarck algorithm, predicate logic, natural deduction and prenex DNF are still to be translated.
  The complete Italian version can be found here.
  
  For more details on the course, for the moment please refer to the page of the academic year 2008-09.
  
  

  28/07/2010
  The results of the written exam of Formal Methods held on Tuesday, July 27, are available here.