Attività Didattica A.A. 2011-12

15/02/2013
Per i risultati delle prove scritte relative all'anno accademico 2012-2013, si prega di fare riferimento alla pagina qui.
For the results of the written exams concerning the academic year 2012-2013, please refer to the page here.

Insegnamenti/Teaching

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

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

Course on Formal Methods [6 credits] (Laurea Magistrale in Informatica, DM 270)

• Modulo di Laboratorio di Programmazione I (Laurea Base in Informatica)
  (Sillabo, Riferimenti bibliografici)
  
  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 (esclusa 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)
  Cap.12 (esclusa Sez.12.2)
  
  [2] Cay Horstmann, Concetti di informatica e fondamenti di JAVA, Casa editrice Apogeo, 2007.
  Cap.1-2 (fino a Sez.2.8 inclusa)
  Cap.3 (fino a Errori Comuni 3.2 incluso)
  Cap.4 (esclusa 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 inclusa)
  Cap.11 (esclusa Sez.11.5)
  
  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. Il programma del corso è rimasto invariato, tranne che per l'aggiunta quest'anno dell'argomento relativo alle eccezioni.
  
  
  Esami: prove scritte
  Prova scritta del 24/09/2012 di Lab. Programmazione I (CdL Informatica) e di Informatica (CdL Matematica):
  Matr. 178836 Insufficiente (12)
  Matr. 211361 Grav. Insuff. (0)
  Matr. 211413 21
  Matr. 188130 16-orale
  
  Prova scritta del 16/07/2012 di Lab. Programmazione I (CdL Informatica) e di Informatica (CdL Matematica): risultati
  Prova scritta del 25/06/2012 di Lab. Programmazione I (CdL Informatica) e di Informatica (CdL Matematica): risultati
  Appello 01/03/2012: una versione del compito totale, risultati.
  Appello 15/02/2012: una versione del compito totale, risultati.
  Prova intermedia 21/11/2011: una versione del compito, risultati.
  
  

  Per gli esercizi di esame degli appelli degli anni scorsi, vedere anche alle sezioni dedicate agli anni accademici precedenti
  (A.A. 2010-11, 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.
  
  

  11/09/2012
  Corso di Informatica (CdL Matematica) - Risultati della prova scritta del 10/09/2012:
  Matr. 211413 Insufficiente (10)
  Matr. 193873 23
  Matr. 188130 Insufficiente (11)
  

  18/07/2012
  Risultati della prova scritta svolta il 17/07/2012:
  Matr. 211413 Insufficiente (13)
  Matr. 211711 Grav.Insuff. (3)
  

  Esami: prove scritte
  Appello 01/03/2012: una versione del compito totale, risultati.
  Appello 15/02/2012: una versione del compito totale, risultati.
  Prova intermedia 21/11/2011: una versione del compito, risultati.
  
  

  Per gli esercizi di esame degli appelli degli anni scorsi, vedere anche alle sezioni dedicate agli anni accademici precedenti
  (A.A. 2010-11, A.A. 2009-10, A.A. 2008-09, A.A. 2007-08, A.A. 2006-07, A.A. 2005-06, A.A. 2004-05).

  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 (Metodi Formali - F0191, Laurea Magistrale in Informatica - DM 270)
  

  01/02/2013
  Formal Methods 2012/2013:
  Available the texts of some past written exams:
  1/03/2012, 27/06/2012, 24/09/2012, 30/11/2012

  18/07/2012
  Available the results of the written exam of July 16th, 2012.
  

  04/07/2012
  Available the results of the written exam of June 27th, 2012.
  

  17/05/2012
  Midterm exam May 4th, 2012: text, results.

  02/05/2012
  Some exercises for the midterm exam are available here.

  For all information on this course (syllabus, bibliography, lecture notes, exercises, copies of written exams, etc.), please refer to the related section in the web page for A.A. 2010-11.