.dsy:it. - [Logica Matematica] Diario del corso 2004/2005

.dsy:it.
//www.dsy.it

[Logica Matematica] Diario del corso 2004/2005

Posted by Polsy on 28-02-2005 18:25

Docenti: Silvio Ghilardi per la parte teorica, Anna Morpurgo per la parte di prolog e Lorenzo Sacchetti per le esercitazioni

Orari: lunedì e venerdì dalle 9.00 alle 10.30

Orario ricevimento del prof: Venerdì alle 11.30

Materiale didattico: niente libri di testo, solo la dispensa scaricabile dal sito del corso

Sito del corso: http://homes.dsi.unimi.it/~logica/logimat/

Modalità d'esame: parte scritta obbligatoria e parte facoltativa. La parte facoltativa può essere di 3 tipi:

matematico-logica: dimostrazioni matematiche e logiche, i docenti di riferimento sono Ghilardi e Sacchetti
filosofico-culturale: approfondimento sulla storia e filosofia della logica, il docente di riferimento è Ghilardi
di programmazione: progettino in prolog, il docente di riferimento è Morpurgo

non si sa ancora se ci sarà la possibilità di sostituire lo scritto con prove in itinere (dipende da Sacchetti, l'anno scorso cmq ci sono state)
lo scritto non vale per appelli successivi, in ogni caso non ci sono salti d'appello

Norme per una serena convivenza col prof:
NON arrivate in ritardo, il prof si arrabbia davvero tanto, piuttosto aspettate la pausa (9.45 circa) per entrare
non parlate durante la lezione (anche per rispetto verso gli altri studenti, dato che il prof non usa il microfono)
non mandate email al prof e attenetevi agli orari di ricevimento

Altri consigli: La frequenza non è obbligatoria, ma è consigliata la presenza alle lezioni di prolog in particolare