Corso di Logica matematica

Anno accademico 2011/2012

Docente: Prof. S. Ghilardi

Programmazione in Prolog: Dr. A. Morpurgo     Esercitazioni di Logica: Dr. A. Bucalo


AVVISO IMPORTANTE. Si avvisano gli studenti che il corso di Logica dall'anno accademico 2012/2013 sarà tenuto dal prof. Ornaghi. Il programma del corso non sarà variato nella sostanza e il materiale del corso sarà largamente basato sul materiale delle edizioni precedenti, tenute dal prof. Ghilardi.
Il link corretto alla pagina del corso per l'anno accademico 2012/13 è il seguente:
http://mercurio.srv.di.unimi.it/~ornaghi/Logica/index.html
Il materiale aggiornato sarà man mano caricato sul sito. Il link sarà corretto appena possibile anche sul sito del collegio didattico.


AVVISI
COMUNICAZIONI


PROGRAMMA DEL CORSO

(Programma preliminare)

ORARIO DELLE LEZIONI

Secondo semestre

ORARIO DI RICEVIMENTO STUDENTI


DISPENSE E TESTI CONSIGLIATI


LINK A LINGUAGGI DI PROGRAMMAZIONE E STRUMENTI SOFTWARE


APPELLI D'ESAME


MODALITÀ D'ESAME

L'esame consiste di una parte scritta (comprendente 7-8 esercizi da svolgere in due ore) e di una parte orale (comprendente, in alternativa, un colloquio sui concetti e sulle dimostrazioni dei risultati principali, o un colloquio su argomenti storico-filosofici da definire con il Prof. Ghilardi, o un progetto in Prolog, da definire con la Dr. Morpurgo). La parte orale è facoltativa, ma omettendola la valutazione non sarà superiore a 27/30. Coloro che intendono sostenere l'orale o sviluppare un progetto possono comunicarlo ai docenti per email.

Parte Scritta. Si richiede sicurezza e precisione sui seguenti tipi di esercizi:

      Gli esercizi della prova scritta sono di tre tipi:       Per passare la prova scritta è richiesta la soluzione di almeno un esercizio per ogni tipo, per un totale di almeno 4 esercizi risolti. Non è ammessa la consultazione di materiale (didattico, appunti personali, ecc.).

Parte Orale. Lo studente può scegliere tra tre alternative:

1. Orale tradizionale

2. Orale di storia e filosofia della logica 3. Progetto in Prolog


ESERCIZI E TEMI D'ESAME


A cura di A. Morpurgo.
WebCounter segnala  accessi a questa pagina dal 19/04/2002.