Teaching

     red bullet Laboratorio di ASD A.A. 2008/2009 e 2009/2010 .
             green bullet Corsi LASD anni Precedenti: A.A. 2007/2008, A.A. 2006/2007, A.A. 2005/2006, A.A 2004/2005
     red bullet Calcolabilita' e Complessita' A.A. 2009/2010. .
     red bullet Fondamenti di LP A.A. 2008/2009. Anni precedenti
     red bullet SICSI
         green bullet SICSI VIII ciclo: Storia dell'Informatica e del Calcolo Automatico
         green bullet SICSI VII ciclo: Storia dell'Informatica e del Calcolo Automatico
         green bullet Corsi abilitanti 2006/2007: Storia dell'Informatica e del Calcolo Automatico
     red bullet Corso di Metodi Formali per la Verifica di Sistemi Aperti - Dottorato di Ricerca in Informatica - Salerno 22 e 29 Maggio 2006
NEWS
Pubblicati i risultati della prova del 8 febbraio
l'8 marzo riprende il corso di Calcolabilita' e complessita'. La prima lezione sara' solo una descrizione degli argomenti del corso, le modalita' di lezione e di valutazione. Il programma di corso iniziera' invece il 15 marzo .
Ricevimento studenti: su appuntamento, studio 0f29/b.
La correzione degli esami sostenuti a Febbraio e' rinviata alla seconda settimana di marzo 2010.
I progetti di LASD vanno consegnati all'indirizzo http://moodleweblab.dmi.unisa.it. Progetto sui grafi (NEW) completo . Prova del 22 dicembre.
Pubblicati i risultati della prova del 25 Gennaio
La prova intercorso di Calcolabilitā e complessitā č fissata per l'08/02/10 aula B5 ore 9:30.
La prova d'esame di Fondamenti e' fissata per l'08/02/10 aula B5 ore 9:30.
HOME