Logica

A.A. 2021/2022
9
Crediti massimi
60
Ore totali
SSD
M-FIL/02
Lingua
Italiano
Obiettivi formativi
L'insegnamento si propone di fornire agli studenti, con un approccio orientato all'acquisizione sia di conoscenze sia di abilità pratiche, le nozioni e i metodi di base della logica contemporanea, spendibili per qualunque attività richieda capacità avanzate di ragionamento e risoluzione di problemi
Risultati apprendimento attesi
Conoscenze e comprensione:
Al termine del corso lo studente sarà in grado di:
- Presentare i concetti e i metodi principali della moderna logica formale;
- dimostrare padronanza della logica deduttiva
- descrivere i risultati fondamentali relativi alla logica proposizionale e alla logica della quantificazione: completezza, decidibilità della logica booleana, indecidibilità di quella quantificazionale, complessità computazionale della logica booleana.
Capacità di applicare conoscenze e comprensione:

Ci si attende che alla fine del corso lo studente sia in grado di applicare le conoscenze e i metodi appresi per
- definire linguaggi formali adeguati a risolvere una data classe di problemi;
- tradurre proposizioni dal linguaggio ordinario in un opportuno linguaggio booleano o quantificazionale;
- eseguire deduzioni e costruire controesempi per i ragionamenti scorretti.
- Applicare gli strumenti logici appresi nella risoluzione di problemi teorici e pratici
Programma e organizzazione didattica

Edizione unica

Responsabile
Periodo
Secondo semestre
Programma
La Logica booleana
La logica della quantificazione
Completezza, Decidibilità, Complessità

L'esame da 6 CFU verterà sui primi 2 argomenti (Dispense 1 e 2, prime 20 lezioni), quello da 9 CFU su tutti e tre gli argomenti (Dispense 1, 2 e 3, 30 lezioni).
Prerequisiti
Nessuno.
Metodi didattici
Lezioni frontali, esercitazioni guidate, tests di autovalutazione.
Materiale di riferimento
Dispense a cura dei proff. D'Agostino e Primiero.
Modalità di verifica dell’apprendimento e criteri di valutazione
Esame scritto: Test con domande teoriche ed esercizi a risposta chiusa o aperta mirato a verificare il livello di apprendimento in termini delle conoscenze e delle competenze che rientrano negli obiettivi formativi del corso. Il test contiene domande ed esercizi con vari livelli di difficoltà; la valutazione è pesata, alle domande più semplici viene riconosciuto un punteggio inferiore e il superamento del test richiede la verifica di tutte le competenze ritenute essenziali.
Moduli o unità didattiche
Unita' didattica A
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore

Unita' didattica B
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore

Unita' didattica C
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA - CFU: 3
Lezioni: 20 ore

Docente/i
Ricevimento:
Il prossimo ricevimento avrà luogo Martedì 07 Settembre, ore 14:00-17:00. Gli studenti sono sempre pregati di contattare il docente per email per confermare data e ora.
Teams/Slack