Lezioni di LOGICA MATEMATICA 2019/2020

info esami

AVVISI

orario ricevimento

note del corso

programma svolto

allegati alle lezioni

materiale anni precedenti

INFO su esame di LOGICA MATEMATICA:

appello scritto + prova parziale con bonus (+ orale facoltativo)

info sulla valutazione delle prove scritte

AVVISI:

gli appelli III - IV -V sono tutti TELEMATICI via zoom

Iscrivetevi in moodle al link per ricevere info su di loro !!!!






III appello telematico 15 giugno ore 16 info in moodle


Questionario di valutazione corso

Potete riporre le vostre valutazioni nella mia buca delle lettere al piano terra scala A in Torre

NO lezione martedi' 17 dicembre

SI' lezione nei mercoledi' di 4 dic. / 11 dic./ 18 dic./8 gen.

orario di ricevimento: martedi' ore 17-19 o brevemente dopo le lezioni

note aggiornate al 14/1/20 sez 3.12 +sez. 4.6 (estesa) + esempio in 5.10 + dim. th. 8.16 titolo cap.8 e cap.11 + correzioni ortografia cap.11 + esempi di contromodelli fine sez. 11.1.5 e 11.3 ( new! )

Programma svolto:

cap 1-3-4 (cap. 2 e' facoltativo)
cap. 5: 5.0.1, (def. 5.1, def.5.2, def. 5.3) 5.1.3 (def. 5.4, 5.5, 5.6, def. 5.10), prop. 5.18 (solo enunciato- dimostrazione facoltativa), 5.2.2, 5.3, 5.3.1, 5.4, 5.5, 5.12, 5.13
per esercizi teorici: teoremi 5.43, 5.48, 5.49, 5.54, 5.55, 5.58, 5.59, 5.68, 5.69
cap.7
cap.8: 8.1, 8.5 (sez. da 8.2 a 8.4 facoltative ma raccomandata lettura 8.2 e 8.3), 8.6, 8.7

cap.11: 1.1, 11.3 (solo def. valutazione e validita') (sez. 11.1.3 e 11.1.4 e 11.2 e 11.3 (completezza) facoltative)

cap.9: 9.0.1, 9.0.2, 9.1, 9.2
cap.10

FORMALIZZAZIONE : esercizi su formalizzazione 7/10

alcuni consigli su come formalizzare

esempio

esercizi 15-22/10 su derivazioni
esercizi 21/10 su comprensione negazione ed ex-falso-quodlibet
calcoli di deduzione naturale intuizionista e classica
esercizio su consequentia mirabilis

raccomandazione su sostituzione

consigli su come derivare in deduzione naturale molto importante!

perle classiche molto importante!


Raccolta di calcoli logici


raccomandata lettura dispensa in sez.4.6, 4.7 (spiegazione regole) + 5.4, 5.5, 5.6 (procedura decisione in logica classica proposizionale e sua correttezza) si svolgano gli esercizi lasciati al lettore!

esercizi di classificazione preparazione alla Prova Parziale

consigli sulla classificazione classica ed intuizionista degli enunciati con esempi

esercizi su regole ammissibili ( corrette le regole comp e in-sx new! )

esercizi di comprensione su traduzione tra deduzione naturale e calcoli dei sequenti alla Gentzen (corretti esercizi 5. e 6. new! )


scopo della semantica di una logica

perche` derivare nel calcolo LC con uguaglianza

esercizi su validita' regole classiche (proposizionali) new!

simulazione Prova Parziale 4/12

esercizi su algebre di Heyting

esercizi su contromodelli intuizionisti

su validita' e completezza

su aritmetica

vedi esempi in cap. 16 in manuale logica ad informatica

simulazione Appello 13/1/20


esercizi da test di logica

materiale corso 2019

I compitino 12/12/2017

I appello 2017

I appello 2018

I appello 2019