Conoscenza e comprensione: conoscere le nozioni fondamentali della logica matematica. In particolare, la logica classica proposizionale. Comprendere i vari aspetti (sintassi, semantica, calcoli) e le loro relazioni. Applicare conoscenza e comprensione: Formalizzare enunciati ed argomenti in linguaggi logici. Classificare gli argomenti in validi e invalidi. Svolgere deduzioni formali. Costruire contro-modelli per refutare schemi invalidi. Autonomia di giudizio: Capire la natura e i motivi della logica matematica classica e la sua applicazione. Abilità comunicative: Acquisire il lessico fondamentale della disciplina e saper esporre gli argomenti con chiarezza e rigore. Capacità di apprendimento: Acquisire una conoscenza di base degli strumenti concettuali, con enfasi sulla comprensione e applicazione, piuttosto che sulla componente meramente mnemonica.

Nessuno.

Il corso presenta la moderna Logica Matematica. In particolare la logica classica proposizionale.

Il corso si basa principalmente su materiale presentato a lezione e messo a disposizione alla fine del ciclo di lezioni. I seguenti testi possono comunque essere usati come utile riferimento e integrazione e permettono, in ogni caso, la preparazione dell’esame in autonomia: - Varzi, Achille; Nolt, John, Logica. Milano: McGraw-Hill, 2007. - M. Carrara, F. Mancini, A. Strollo, Eserciziario di logica: Padova University Press, 2021. (Disponibile gratuitamente online sul sito della casa editrice)

Il corso presenta la moderna Logica Matematica. In particolare la logica classica proposizionale.

Gli argomenti trattati durante il corso saranno i seguenti:


- definizione di argomento
- linguaggio formale proposizionale (sintassi)
- nozioni di base di teoria degli insiemi e loro applicazioni alla logica matematica
- semantica e tavole di verità
- verità logica e conseguenza logica
- elementi di algebra della logica
- alberi di refutazione
- costruzione di contro-esempi
- deduzione naturali
- meta-teoremi (correttezza e completezza)

Il corso prevede didattica frontale, e una attiva partecipazione degli studenti alla lezione, unita alla risoluzione di esercizi.

Le lezioni si tengono in presenza. Le registrazioni sono disponibili sulla piattaforma Ateneo (MS Teams) per 12 mesi, periodo che inizia dalla fine della singola lezione. Le registrazioni possono essere interrotte se la frequenza alle lezioni cala in modo persistente e consistente, o non avvenire se la presenza e` bassa. L’eventuale interruzione delle registrazioni viene comunicata sul “team” dell’insegnamento e tra gli avvisi docente dei siti web di Dipartimento e di corso di studio. Gli studenti e le studentesse con particolari necessità (affetti/e da particolari disabilità, lavoratori/lavoratrici, atleti, "adulti" (non neo-diplomati), genitori, detenuti/e) che si trovano, in modo stabile o temporaneo, in condizioni particolari che comportano l'impossibilità a seguire le lezioni in presenza, saranno ammessi al collegamento in remoto su richiesta di tale modalità di frequenza al/alla docente. La richiesta, delle cui motivazioni lo studente/la studentessa si assume personalmente la responsabilità, va inviata via email al/alla docente con congruo anticipo rispetto all’inizio delle lezioni. Le informazioni di Ateneo sulla didattica digitale sono pubblicate al link https://www.units.it/studenti/didattica-digitale

L’esame prevede una prova scritta. La prova scritta consiste nella soluzione di esercizi e domande aperte di teoria.

Lo studente deve dimostrare conoscenza degli argomenti trattati e la capacita di applicarli.

La prova consiste di due parti. Una parte con domande aperte di teoria di logica; una parte di esercizi di logica.

Per superare l'esame (18/30) lo studente deve dimostrare di aver acquisito una conoscenza sufficiente degli argomenti del corso rispondendo, a giudizio del docente correttamente, alla maggior parte delle domande di ognuna delle due parti. Manifestando una comprensione adeguata di almeno i concetti fondamentali.

Per conseguire il punteggio massimo (30/30 e lode), lo studente deve invece dimostrare di aver acquisito una conoscenza eccellente di tutti gli argomenti trattati durante il corso, rispondendo correttamente a tutti i quesiti e risolvendo correttamente tutti gli esercizi. Manifestando cioe` una piena comprensione di tutti concetti, fondamentali e no, e padroneggiando il contenuto e saperlo applicare anche in contesti nuovi.

Questo insegnamento approfondisce argomenti strettamente connessi a uno o più obiettivi dell’Agenda 2030 per lo Sviluppo Sostenibile delle Nazioni Unite