From costa@disi.unige.it Fri Oct 15 19:00:18 1999 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Fri, 15 Oct 1999 15:07:35 +0100 To: students@selene.educ.disi.unige.it From: Gerardo COSTA Subject: vecchi Metodi Cc: astes@disi.unige.it, moggi@disi.unige.it, costa@disi.unige.it ** Messaggio per gli studenti che nel 97/98 erano iscritti al 4o anno della ** laurea (e che quest'anno diventano fuori corso) ** e NON hanno ancora sostenuto l'esame di Metodi Formali dell'Informatica, ** tenuto da Astesiano e Moggi, chiamiamolo MFI_97 In particolare il messaggio e` per le persone che non hanno seguito, o hanno seguito poco e che ora si chiedono: cosa faccio ? ---------------------------------------------------- Il programma di MFI_97 e` all'indirizzo http://www.disi.unige.it/person/MoggiE/MFI/ L'anno scorso, MFI non e` stato attivato, ma Moggi ha diviso il corso di Algoritmi del 3o anno in modo da "simulare" un MFI per quelli che erano al 4o anno; chiamiamo MFI_98 questa simulazione. Alcuni di quelli che avrebbero dovuto seguire MFI_97 (ma non lo avevano fatto) sono stati dirottati a seguire MFI_98; queste persone possono tranquillamente dare quell'esame, con quel programma (molto simile a quello di MFI_97), che e` all'indirizzo http://www.disi.unige.it/person/MoggiE/MFI4-98/ Restano gli altri. Quest'anno si attiva MFI_99, il cui programma e`, in sintesi: -- una parte di semantica, che riprende cose che si facevano a programmazione e poi ad LP del 3o anno -- una seconda parte che riprende i contenuti della prima parte di MFI_97: tipi di dati astratti, specifiche, modelli per la concorrenza,.... Rispetto ad MFI_97, quello che manca e` la parte sulla Calcolabilita` e sulla complessita`. Le persone che vogliono liquidare il problema di MFI quest'anno, -- per l'esame fanno riferimento al programma di MFI_97, oppure quello di MFI_98 (magari andando a parlare con Moggi, per definire meglio) -- per la preparazione: per la calcolabilita` e la complessita`, devono fare da soli (ma ovviamente, possono fare domande a Moggi.... ) per il resto, possono seguire la seconda parte di MFI_99, oppure fare da soli (e possono fare domande a Moggi). Segnalatemi punti oscuri, problemi,.... costa ******************************************************************** prof. Gerardo COSTA DISI (Dipartimento di Informatica e Scienze dell'Informazione) Universita' di Genova Via Dodecaneso, 35 - 16146 GENOVA (Italy) costa@disi.unige.it http://www.disi.unige.it Phone: ++ 39 - 010 - 353 6729 Fax: ++ 39 - 010 - 353 6699 *********************************************************************