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. 2010-11

Insegnamenti/Teaching

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, DM 270)

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

Course on Formal Methods [6 credits]
(modulo di Metodi Formali dell'Informatica [6 cfu] all'interno del corso integrato di Metodi Formali e di Verifica [12 cfu] della Laurea Magistrale in Informatica, DM 270)

• Modulo di Laboratorio di Programmazione I (Laurea Base in Informatica)
  (Sillabo, Riferimenti bibliografici)
  
  29/09/2011
  Risultati della prova scritta del 27/09/2011
  144797 Insuff. (13)
  168486 19-ORALE
  202031 Insuff. (13)
  
  Esami: prove scritte
  Appello 20/07/2011: risultati.
  Appello 27/06/2011: compito, risultati.
  Appello 25/02/2011: una versione del compito totale, risultati.
  Appello 07/02/2011: una versione del compito totale, risultati prova conclusiva, risultati prova totale.
  Prova intermedia 22/11/2010: una versione del compito, risultati.
  
  Programma del corso
  Gli argomenti trattati durante il corso e che saranno oggetto delle prove scritte si trovano nei capitoli seguenti dei testi di riferimento:
  
  [1] Marco Bertacca e Andrea Guidi, Programmare in Java, Casa editrice McGraw-Hill, 2007.
  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.7 inclusa, tranne Sez.7.4)
  Cap. 8-9 (fino a Sez.9.10 inclusa, NO inizializzatore d'istanza e finalizzazione in Sez.9.9)
  Sez.11.3 (fino a par. 11.3.2 incluso)
  
  [2] Cay Horstmann, Concetti di informatica e fondamenti di JAVA, Casa editrice Apogeo, 2007.
  Cap.1-2 (fino a Sez.2.8 incluso)
  Cap.3 (fino a Errori Comuni 3.2 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)
  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 (il programma del corso è rimasto invariato), soprattutto per quanto riguarda lo svolgimento degli esercizi sulle classi.
  

  Per gli esercizi di esame degli appelli degli anni scorsi, vedere anche alle sezioni dedicate agli anni accademici precedenti
  (A.A. 2009-10, A.A. 2008-09, 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, 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.
  
  29/09/2011
  Risultati della prova scritta del 27/09/2011
  203299 Grav. Insuff. (8)
  202570 17-ORALE
  209379 23
  203681 Grav. Insuff. (8)
  
  Esami: prove scritte
  Appello 20/07/2011: risultati.
  Appello 27/06/2011: compito, risultati.
  Appello 25/02/2011: una versione del compito totale, risultati.
  Appello 07/02/2011: una versione del compito totale, risultati.
  Prova intermedia 22/11/2010: una versione del compito, risultati.
  
  Si ricorda che gli studenti che devono sostenere l'esame di Laboratorio di Informatica (Laurea Base in Matematica, DM 509) devono fare un esame in due parti, rispettivamente con la Prof.ssa Nesi (sulla parte a suo tempo insegnata dal Prof. Mignosi o dal Dott. Di Ruscio) e con la Prof.ssa Inverardi (sulla parte a suo tempo insegnata dalla Dott.ssa Di Marco).
  Gli studenti che devono sostenere l'esame di Laboratorio di Programmazione (Laurea Base in Matematica, DM 509) devono fare l'esame del modulo di Laboratorio di Programmazione I del Corso di Laurea in Informatica.
  Gli studenti interessati ad informazioni su questi corsi disattivati sono pregati di contattare la docente tramite posta elettronica (monica.nesi@univaq.it).



• Course on Formal Methods
  A 6-credit module of the 12-credit integrated course Metodi Formali e di Verifica of the Second Level Degree in Computer Science.
  (Syllabus, Bibliography)
  Some notes and exercises on the rewriting part are available (in Italian) in the Formal Methods section at the page of the academic year 2008-09, integrating the lecture notes on Term Rewriting Systems, as the teaching of the course was interrupted due to the earthquake.
  
  

  Written exams
  20 July 2011: no students at the written exam.
  27 June 2011: rewriting, logic.
  24 February 2011: rewriting, logic.
  10 February 2011: rewriting, logic.
  Some exercises on logic and theorem proving: text.
  Mid-term exam, 2 December 2010: text.
  Some exercises for the partial exam: text.