Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
 
[Anno 2005/2006] Informazioni generali
Clicca QUI per vedere il messaggio nel forum
Flavia
Il corso di Logica per le Applicazioni (oppure Logica Matematica, è lo stesso corso con due nomi diversi! ) inizierà regolarmente lunedì 3 ottobre e sarà tenuto dal prof. Silvio Ghilardi.

L'orario delle lezioni è il seguente:

-Lunedì: 11.30-13.30 (aula Beta)
-Mercoledì: 9.30-11-30 (aula Beta)
-Venerdì: 9.30-11.30 (aula Delta)

Si prevedono lezioni trisettimanali in ottobre/novembre onde concludere il corso anticipatamente. Accanto alle lezioni frontali, si terranno un corso integrativo (a cura dell'ing. Ranise dell'INRIA) e delle esercitazioni in laboratorio (a cura del dott. Zucchelli). Il corso integrativo offrirà l'opportunità (agli studenti frequentanti che fossero interessati) di sostenere l'esame secondo modalità integrative (tramite progetto).

La pagina del corso sembra essere per ora:
http://homes.dsi.unimi.it/~ghilardi/ls/lpa.html

anche se aspettiamo la conferma del prof il primo giorno di lezione.

N.B. Le lezioni iniziano tenendo conto del quarto d'ora accademico. Si raccomanda la puntualità: chi fosse in sensibile ritardo è pregato di entrare in aula durante l'intervallo fra la prima e la seconda ora.

Flavia
Aggiornato il WIKI ;)
http://wiki.dsy.it/w/Logica_per_le_applicazioni

Flavia
L'orario della lezione del venerdì è stata cambiato!

http://wiki.dsy.it/w/Logica_per_le_applicazioni

Flavia
Da lunedì prossimo inizierà il corso integrativo, nelle stesse ore di lezione ;)

Flavia
Per le slide del corso integrativo, consultate questo sito:

http://www.loria.fr/~ranise/milano2005/index.html

Non sono ancora state messe online le lezioni di quest'anno!

Flavia
Eccole qua:
http://www.loria.fr/~ranise/milano2006/

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate