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).

Pagina in costruzione!
Attività Didattica A.A. 2008-09

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)
  ( Sillabo, Riferimenti bibliografici)
  

  24/12/2009
  I risultati della prova intermedia scritta del 14/12/2009 sono disponibili alla pagina della didattica dell'A.A. 2009-10.
  
  

  Sono disponibili i testi di alcune delle ultime prove scritte:
  21/02/2008, 17/06/2008, 25/07/2008, 24/09/2008, 28/01/2009, 16/02/2009.
  
  Per gli appunti sulle lezioni svolte, si consiglia di seguire gli appunti sulle lezioni e gli esercizi svolti nell'a.a. precedente (il programma del corso è rimasto invariato).
  Per maggiori dettagli sugli argomenti del corso ed i capitoli corrispondenti nei libri di testo adottati, si prega di fare riferimento alle informazioni dell'A.A. 2007-08.

  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)
  
  

  24/12/2009
  I risultati della prova intermedia scritta del 14/12/2009 sono disponibili alla pagina della didattica dell'A.A. 2009-10.
  
  Sillabo del corso e riferimenti bibliografici.
  Per la parte sul linguaggio Java fare riferimento alle informazioni presenti nella pagina web della didattica dell'A.A.2007-08 e agli appunti del corso.

  Sono disponibili i testi di alcune delle ultime prove scritte:
  prova intermedia 28/11/2008 (una versione),
  prova conclusiva 28/01/2009 (una versione),
  prova conclusiva 16/02/2009,
  prova totale 28/01/2009 (una versione),
  prova totale 16/02/2009.
  
  Si ricorda che gli studenti che devono sostenere l'esame di Laboratorio di Informatica-DM509 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 interessati ad informazioni su questi corsi sono pregati di contattare la docente tramite posta elettronica (monica.nesi@univaq.it).
  




• Teoria della Riscrittura all'interno del modulo di Metodi Formali dell'Informatica
  
  Per il materiale relativo al corso, si prega di fare riferimento alla pagina relativa al corso dell' A.A. 2005-06.
  
  Nuovo materiale inserito per l'insegnamento del corso a distanza (maggio 2009):
  
  1. Scansione della dispensa sui Sistemi di Riduzione Astratti
  
  2. Esercizi svolti: terminazione, unificazione sintattica, coppie critiche, completamento di teorie equazionali, divergenza del completamento, E-unificazione.
  
  
  Le attività didattiche relative al modulo di Metodi Formali dell'Informatica si sono interrotte quando, dopo aver trattato i termini del prim'ordine e l'unificazione sintattica, stava per essere introdotto il concetto di sistema di riscrittura di termini. A partire da tale concetto le lezioni successive sono organizzate nella forma di quattro macro-lezioni spiegate tramite posta elettronica + materiale didattico sulle pagine web dedicate al corso.
  Gli argomenti delle quattro macro-lezioni sono i seguenti:
  1. terminazione e ordinamenti di riduzione;
  2. locale confluenza e coppie critiche;
  3. completamento di teorie equazionali;
  4. narrowing ed E-unificazione.
  
  Di seguito sono riportati alcuni messaggi inviati dalla docente della parte di Riscrittura sulla mailing list costituita dagli indirizzi di posta elettronica degli studenti di Informatica che, in occasione del censimento svolto ad aprile 2009, si sono dichiarati interessati al corso di Metodi Formali dell'Informatica.
  
  10/06/09 (Subject: MFI(4) - esercizi di E-unificazione + ricevimento a Corropoli)
  06/06/09 (Subject: MFI(4) - narrowing ed E-unificazione)
  02/06/09 (Subject: MFI(3) - esercizi di completamento divergente)
  25/05/09 (Subject: MFI(3) - esercizio di completamento)
  19/05/09 (Subject: MFI(3) - Completamento di teorie equazionali)
  12/05/09 (Subject: MFI - ricevimento rinviato)
  08/05/09 (Subject: MFI(2) esercizi e altro)
  04/05/09 (Subject: MFI(2) - Locale confluenza e coppie critiche)
  29/04/09 (Subject: MFI(1) - Esercizi su terminazione)
  24/04/09 (Subject: MFI(1) - Terminazione)
  23/04/09 (Subject: corso di MFI)