Mauro Di Nasso
> HOME > CV > PAPERS > DIDATTICA > TESI > LINKS


Bacheca di LOGICA MATEMATICA - 2015/2016 - I semestre


I primi due appelli di esame sono fissati come segue:

18 Gennaio, ore 14,30 - Aula 1
22 Febbraio, ore 14,30 - Aula 2 

Si pregano gli studenti di iscriversi online sull'apposita pagina di esami.unipi.it

(N.B. La data precedentemente concordata in modo ufficioso, cioe' il 24 Febbraio,
cade fuori dal periodo di esami, ed e' stata spostata)

Per la valutazione ai fini dell'esame, la soluzione degli esercizi deve essere inviata
entro il 17 Gennaio.




Durante il corso verranno assegnati esercizi; si invitano gli studenti a lavorare sulle loro risoluzioni, e ad inviarle sotto forma di file pdf per email
al docente.

L'esame e' orale. La profondita' dell'esame dipendera' da quanto gia' dimostrato dallo studente con l'invio di soluzioni dei problemi assegnati. In particolare, in assenza o scarsita' di file inviati, ad inizio esame verra' richiesta la soluzione scritta di alcuni esercizi.

Il programma previsto puo' essere consultato qua.

Orario di ricevimento studenti: Martedi 14-16.


DISPENSA su calcolo proposizionale e calcolo dei predicati del primo ordine:
Versione 1.0 (ancora incompleta e con parti da rivedere)

Appunti presi a lezione da uno studente sono scaricabili qua sotto:
Parte 1Parte 2

Esercizi risolti da studenti (Attenzione, NON sono stati controllati, potrebbero contenere errori).









i