Lezioni di LOGICA MATEMATICA 2021/2022
info esami
AVVISI
orario ricevimento
note del corso
allegati alle lezioni
materiale anni precedenti
INFO su esame di LOGICA MATEMATICA:
appello scritto + verifiche parziale
info sulla valutazione delle prove scritte
AVVISI:
I appello
in presenza
19 gennaio
convocazione ore 15.30 aula ??
(iscrizione obbligatoria in uniweb)
avvisi scaduti:
verifica parziale
in presenza
14 dicembre
15.30 -17 in 1A150
(iscrizione obbligatoria in uniweb)
Info su lezioni: iscrivetevi in
moodle
al link
per ricevere
link zoom
delle lezioni !!!!
Orario delle lezioni: (
live via zoom
e
in presenza in 1AD100
)
Lunedi'
15.30-17.30
Martedi'
15.30-18.30
orario di ricevimento
:
su richiesta via email
dispensa aggiornata al 11/1/2022
presentazione del corso
esercizi su formalizzazione
new!
alcuni consigli su come formalizzare
come formalizzare negazioni con "tutti"
esempio
raccomandata lettura cap. 1 dispensa
esercizi su derivazioni
new!
esercizi su comprensione negazione ed ex-falso-quodlibet
calcoli di deduzione naturale intuizionista e classica
raccomandazione su sostituzione
esercizio su consequentia mirabilis
consigli su come derivare in deduzione naturale
molto importante!
esercizi su ammissibilita' regola di composizione in deduzione naturale
raccomandata lettura dispensa in sez.5.1 e sezione 5.9
formulazioni alternative di deduzione naturale classica
(da dimostrare per esercizio)
Raccolta di calcoli logici
raccomandata lettura cap. 2 dispensa
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)
consigli sulla classificazione classica ed intuizionista degli enunciati con esempi
raccomandata lettura da 5.3 a 5.6 e 5.12 (specie 5.12.1) e 5.13
fallimento classico di proprieta' esistenza e disgiunzione
raccomandata lettura dispensa sez 7.1
esercizi di classificazione
simulazione Prova 2021 (per esercizio)
lucidi lezione 15/11
traduzione dei calcoli di Gentzen in deduzione naturale
raccomandata lettura da sez. 5.7 a 5.11
esercizi su regole ammissibili
esercizi di comprensione su traduzione tra deduzione naturale e calcoli dei sequenti alla Gentzen
lucidi lezione 16/11
traduzione doppia negazione di Goedel
raccomandata lettura sez.7.2
lucidi 22/11 e 23/11
semantica classica proposizionale
raccomandata lettura da sez. 8.1 a 8.5
esercizi su validita' regole classiche (proposizionali)
lucidi 29/11 e 30/11
semantica classica predicativa
raccomandata lettura da sez. 8.6 a 8.7
lucidi 6/12 e 7/12
algebre di Heyting, Boole e semantica intuizionista
raccomandata lettura sez. 11.1 e 11.4 e 11.6 (versione aggiornata attuale)
esercizi su algebre di Heyting
esercizi su contromodelli intuizionisti
simulazione verifica parziale 2021
lucidi 20/12 e 21/12
Aritmetica di Peano e di Heyting e teoremi di incompletezza di Goedel.
raccomandata lettura cap.9 e cap.10 (versione aggiornata attuale)
esercizi su aritmetica
vedi esempi in cap. 16 in
manuale logica ad informatica
lucidi 10/1/22
Semantica della logica intuizionista predicativa con uguaglianza
raccomandata lettura sez. 11.7 e 11.8 (versione aggiornata)
verifica parziale 2021
simulazione Appello 2022
I Appello 2022
simulazione Appello 2021
simulazione verifica parziale 2019
materiale corso 2019
I compitino 12/12/2017
I appello 2017
I appello 2018
I appello 2019
Info su lezioni: iscrivetevi in moodle
al link per ricevere link zoom delle lezioni !!!! 