Logica
A.A. 2021/2022
Learning objectives
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
Expected learning outcomes
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
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
Periodo: Secondo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Course syllabus and organization
Edizione unica
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
Professor(s)
Ricevimento:
Martedì, ore 14:00-17:00. Gli studenti sono sempre pregati di contattare il docente per email per confermare data e ora.
Teams/Slack