Lezioni di LOGICA 2020/2021

INFO su esame di LOGICA:

appello scritto

info su valutazioni prove scritte

ORARIO LEZIONI:

giovedi' e venerdi 10.30-12.30

AVVISI:


Iscrivetevi in moodle al link per ricevere info sulle lezioni


lezioni in fiera da giovedi' 29/10

CORREZIONE simulazione venerdi' 8/1/21 e giovedi' 14/1/21 ore 10.30 -12.30





AVVISI SCADUTI :

lezioni solo ONLINE in ZOOM giovedi' 15/10 e 22/10 e venerdi' 16/10 e 23/10

SIMULAZIONE verifica parziale in presenza e online venerdi' 30 ottobre dalle 11.30 alle 12.30

CORREZIONE simulazione giovedi' 5/11 e venerdi' 6/11 ore 10.30 -12.30



VERIFICA PARZIALE SOLO IN PRESENZA sabato 14 novembre dalle 12.30 alle 13.30 (convocazione ore 12)
iscrizione obbligatoria via UNIWEB (attiva)



LEZIONE RECUPERO mercoledi' 18 novembre 14-17 (solo online al solito link zoom in moodle )

NO lezione in fiera giovedi' 19/11 e venerdi' 20/11



SIMULAZIONE appello in presenza e online venerdi' 18 dicembre e giovedi' 7 gennaio dalle 10.30 alle 12.30





orario di ricevimento online:
martedi' 17.30-19.30
(su richiesta via email)
o brevemente dopo le lezioni





Assistenti al corso di LOGICA: per ricevimento online

Filippo Mancini filippo.mancini@phd.unipd.it

Tommaso Padoan padoan@math.unipd.it



TUTOR di LOGICA:

Egon Galvan egon.galvani@studenti.unipd.it

Giulio Umbrella giulio.umbrella@studenti.unipd.it









Dispensa







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


allegato 2/10 verita' e falsita'
lezione 2/10
lettura consigliata: cap.3 dispensa


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

allegato 9-15/10 tabelle di verita' e classificazione proposizioni
per costruire tabelle di proposizioni complesse vedi sezione 6.6.6 pp 40-42 dispensa online
lezione 9/10
lettura consigliata: da 6.6 a 6.10 dispensa
per approndimento facoltativo: cap.7

allegato 15/10 calcolo dei sequenti proposizionale classico
lezione 15/10
lezione 16/10
lettura consigliata: da 9.1 a 9.2 dispensa
per approfondimento facoltativo: cap.8

allegato 22/10 Procedura decisione sequenti proposizionali in sez 7 p.3 + costruzione riga falsa p.4 ( molto importante! )
lezione 22/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 23/10
lettura consigliata: cap.10 dispensa

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

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

SIMULAZIONE Prova Parziale 30/10 (new!)

SIMULAZIONE Prova Parziale del 2019 (si raccomanda la svolgimento come ulteriore esercitazione!)

con soluzioni in bacheca studenti

Prova Parziale 14/11

allegato 18/11 formalizzazione in linguaggio predicativo
lezione 28/11 (prima parte)
lettura consigliata: cap.12: da 12.1.1 a 12.1.5 dispensa

allegato 18/11 calcolo dei sequenti predicativo
lezione 18/11 (seconda parte)
lettura consigliata: cap.12: 12.1.6
lezione 26/11
lettura consigliata: cap.12: da 12.2.1 a 12.2.3 dispensa + cap.13

allegato 27/11 uguaglianza e sue regole
lezione 27/11
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 3/12 Test di comprensione su uso regole predicative
lezione 3/12
lettura consigliata: cap.12: sez.12.4, sez.12.8

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

allegato 10/12 procedura di classificazione enunciati predicativi
lezione 10/12
lettura consigliata: cap.12: sez.12.6, sez.12.9

allegato 11/12 teorie predicative
test di logica predicativa
lezione 11/12 (con correzione test logica)
lettura consigliata: cap.15

lezione 17/12
lettura consigliata: cap.12: sez.12.10

consigli su formalizzazione in linguaggio predicativo

SIMULAZIONE appello completo 7/1/20

ERRORI da evitare nelle PROVE SCRITTE


SIMULAZIONE appello del 2019 (si raccomanda la svolgimento come ulteriore esercitazione!)

con soluzioni in bacheca studenti