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 1, Parte 2
Esercizi risolti da studenti (Attenzione, NON sono stati controllati, potrebbero contenere errori).
|
|
|
|