Logica

A.A. 2020/2021
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:

- Conoscenza di base dei concetti e dei metodi principali della moderna logica formale;
- Padronanza degli studenti fondamentali della logica deduttiva
- Conoscenza di base dei 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

(A-K)

Responsabile
Periodo
Secondo semestre
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

(L-Z)

Responsabile
Periodo
Secondo semestre
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:
Fino alla fine dell'emergenza COVID-19 il ricevimento si svolge via Skype senza limitazioni di orario (contattare il docente via email per un appuntamento).
Dipartimento di Filosofia 2ndo piano (Cortile della Ghiacciaia)
Ricevimento:
Su appuntamento. Gli studenti sono pregati di scrivere per email per concordare data e ora. Appuntamenti via Skype e Slack.
Dipartimento di Filosofia (Cortile Ghiacciaia) - secondo piano