Lezioni di LOGICA 2021/2022

INFO su esame di LOGICA:

appello scritto

info su valutazioni prove scritte

ORARIO LEZIONI in presenza e online:

mercoledi' e venerdi 10.30-12.30 (inizio 10.40 online) LUM250 (via Luzzati)

AVVISI :







CORREZIONE simulazione venerdi' 17/12 e mercoledi' 12/1 ore 10.30 -12.30 in LUM 250




AVVISI SCADUTI :

LEZIONE RECUPERO giovedi' 9 dicembre 12.45-14 in presenza Torre Archimede aula 1A150



SIMULAZIONE APPELLO in presenza e online mercoledi' 15 e 22 dicembre dalle 10.30 alle 12.30 in LUM250

ORARIO DI RICEVIMENTO ONLINE:

su richiesta via email

o brevemente dopo le lezioni

Assistenti al corso di LOGICA:

Filippo Mancini filippo.mancini@phd.unipd.it

TUTOR di LOGICA:

Chiara Bigarella chiara.bigarella.1@studenti.unipd.it

Riccardo Borsetto riccardo.borsetto@studenti.unipd.it

Dispensa

allegati

allegato 29/9 test di logica per robot
lezione 29/9
curiosita': la soluzione ultimo quesito test di logica dei lucidi (non svolto a lezione) si trova nella dispensa in appendice 1.7 p.16
lettura consigliata : cap.1-2-4 dispensa


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


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

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

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

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

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

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

SIMULAZIONE Prova Parziale 29/10

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

con soluzioni in bacheca studenti

allegato 17/11 formalizzazione in linguaggio predicativo
lezione 17/11
lettura consigliata: da 12.1.1 a 12.1.6 cap.12 dispensa

allegato 19/11 calcolo dei sequenti predicativo
lezione 19/11
lettura consigliata: cap.12: da 12.2.1 a 12.2.3 e cap.13 dispensa

allegato 24/11 uguaglianza e sue regole
lezione 24/11
lettura consigliata: cap.12: sez.12.3

CALCOLO dei sequenti predicativo con uguaglianza in 2 versioni

consigli su come derivare nel calcolo predicativo
allegato 26/12 Test di comprensione su uso regole predicative
lezione 26/12
lettura consigliata: cap.12: sez.12.4, sez.12.8

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

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

allegato 9/12 teorie predicative
lezione 9/12
lettura consigliata: cap.15

test di logica predicativa
lezione 10/12

classificazione enunciati in una teoria

consigli su formalizzazione in linguaggio predicativo
si riveda pure consigli su formalizzazione in linguaggio proposizionale

SIMULAZIONE appello (completa) 22/12/21 ( new! aggiornato il punteggio di alcuni esercizi)
con soluzioni in bacheca studenti




ERRORI da evitare nelle PROVE SCRITTE

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

con soluzioni in bacheca studenti