Lezioni di LOGICA 2019/2020

INFO su esame di LOGICA:



appello scritto + prova parziale con bonus

info sulla valutazione delle prove scritte

ORARIO LEZIONI:

giovedi' e venerdi 10.45-12.30

AVVISI:

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

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






V appello telematico 15 settembre ore 15.15
info in moodle al link





SCADUTI:

SIMULAZIONE APPELLO parte teoria venerdi' 20 dicembre ore 10.45-12.30 P200

SIMULAZIONE APPELLO parte classificazione sequenti giovedi' 9 gennaio ore 10.45-12.30 P200

CORREZIONE simulazione venerdi' 10/1 e giovedi' 16/1 e venerdi' 17/1 ore 10.45-12.30 P200



LEZIONE RECUPERO mercoledi' 30 ottobre ore 13-14.30
AULA C edificio GALILEI -FISICA via MARZOLO n. 8

SIMULAZIONE prova parziale venerdi' 8 novembre ore 10.45-12.30 P200

CORREZIONE simulazione giovedi 14/11 e venerdi' 15/11 ore 10.45-12.30 P200

Questionario di valutazione corso

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

orario di ricevimento:
giovedi' 17.30-19.30
(si prega di inviare email per conferma)
o brevemente dopo le lezioni

TUTOR di LOGICA:

Riccardo Agatea riccardo.agatea@studenti.unipd.it

Christian Micheletti christian.micheletti@studenti.unipd.it

Dispensa

allegato 4/10 test di logica per robot
+ lezione 4/10
soluzione ultimo quesito test di logica nella dispensa in appendice 1.7 p.16
lettura consigliata: cap.1-2-4 dispensa

allegato 5/10 verita' e falsita'
+ lezione 5/10
(con spiegazione ex.9 test)
lettura consigliata: cap.3 dispensa

allegato 10/10 consigli su formalizzazione + esercizi 10/10 formalizzazione in linguaggio proposizionale
+ lezione 10/10
lettura consigliata: da cap.5 fino a 6.5 dispensa

allegato 11-17/10 tabelle di verita' e classificazione proposizioni
allegato 11-17/10 (formato doppio)
per costruire tabelle di proposizioni complesse vedi sezione 6.6.6 pp 40-42 dispensa online
+ lezione 11/10
+ lezione 17/10
lettura consigliata: da 6.6 a 6.10 dispensa
per approndimento facoltativo: cap.7

allegato 18-24/10 calcolo dei sequenti proposizionale classico
+ lezione 18/10
+ lezione 24/10
lettura consigliata: da 9.1 a 9.2 dispensa
per approfondimento facoltativo: cap.8

allegato 25/10 classificazione sequenti, procedura di decisione, esercizi
+ lezione 25/10

lettura consigliata: da 9.3 a 9.8 dispensa

CALCOLO dei sequenti PROPOSIZIONALE in 2 versioni (con proposizioni pr e con variabili A,B)

spiegazione regole calcolo dei sequenti proposizionale

+ lezione 30/10
lettura consigliata: cap.10 dispensa

allegato 31/10 validita'/sicurezza delle regole ed esercizi
+ lezione 31/10
lettura consigliata: da 9.9 fino a 9.10 + esercizi da 9.11 fino a fine cap.9 dispensa

allegato 7/11 teorie proposizionali + esercizi
+ lezione 7/11
lettura consigliata: cap.11 dispensa


SIMULAZIONE Prova Parziale 8/11 (new!)

Potete spedirmi via email le vostre soluzioni
per pubblicazione in questa bacheca studenti dopo proof-checking della loro correttezza! (new! soluzione esercizio facoltativo + soluzione tutti gli altri esercizi)

allegato 28/11 formalizzazione in linguaggio predicativo
+ lezione 28/11
lettura consigliata: cap.12: da 12.1.1 a 12.1.5 dispensa

allegato 29/11 calcolo dei sequenti predicativo
+ lezione 29/11
lettura consigliata: cap.12: da 12.1.6 a 12.2.3 dispensa

allegato 5/12 uguaglianza e sue regole
+ lezione 5/12
lettura consigliata: cap.12: sez.12.3
CALCOLO dei sequenti predicativo con uguaglianza in 2 versioni (con predicati fr e con predicati atomici A,B, A(x),B(x))
sulla sostituzione: attenzione agli errori di sostituzione!

consigli su come derivare nel calcolo predicativo

allegato 6/12 Test di comprensione su uso regole predicative
+ lezione 6/12
lettura consigliata: cap.12: sez.12.4,12.8

allegato 12/12 modelli della logica classica predicativa
+ lezione 12/12
lettura consigliata: cap.12: sez.12.5

allegato 13/12 consigli su classificazione
+ lezione 13/12
lettura consigliata: cap.12: sez.12.6

allegato 19/12 teorie predicative test di logica predicativa
+ lezione 19/12 ( new! soluzione test logica completo)

lezione 20/12 (soluzione esercizio)

consigli su formalizzazione in linguaggio predicativo

SIMULAZIONE parte teorie 20/12

SIMULAZIONE appello completo 9/1/20 (new!)
soluzioni in bacheca studenti dopo proof-checking della loro correttezza!