Logical methods

A.A. 2020/2021
9
Crediti massimi
60
Ore totali
SSD
M-FIL/02
Lingua
Inglese
Obiettivi formativi
Logic, in its broad sense, can be seen on the one hand as a set of unifying languages for the systematization of scientific knowledge, on the other as a set of tools for any practical application based on information processing. This course will provide students with an overview of logical methods useful for both theoretical and practical applications. Students will learn how to design formal languages and compute with them for the resolution of theoretical and practical problems. The approach is thus at the same time abstract and practically oriented, so as to make the course useful for science as well as philosophy students.
Risultati apprendimento attesi
Knowledge acquisition and understanding
Students are expected to acquire a full understanding of the formal notions presented and master basic knowledge of the following topics:
- Formal Methods and their applications:
- Basic mathematical notions (sets and their operations, relations, functions)
- Basic data structures (lists, trees, graphs)
- Regular Expressions
- Finite State Machines
- Classical logic and its applications:
- The semantics of classical logic
- Proof systems for classical logic
- Main applications of classical logic (automated theorem proving, logic programming)
- Non-classical logics and their applications:
- Modal and epistemic logics
- Many-valued logics
- Logics for vagueness and uncertainty
Skills acquisition and ability to apply knowledge:
Students are also expected to develop an ability to apply this basic knowledge to solve simple problems and to engage in further research within more advanced projects in specific applications of their interest. Notions and methods will be introduced in a problematic way so as to stimulate a critical, rather than passive, attitude towards knowledge. We also expect that training students in the use of formal languages and logical tools will improve their capability of communicating ideas, both at a theoretical and practical level, with the required precision and a sufficient amount of rigour.
Programma e organizzazione didattica

Edizione unica

Responsabile
Periodo
Primo semestre
Due delle tre lezioni frontali settimanali saranno "voce-su-slides" erogate in modalità asincrona e caricate sul sito del corso, mentre una sarà una lezione sincrona di 2 ore, erogata via Teams, che verrà comunque registrata e caricata sul sito del corso.
Programma
1. Fondamenti di teoria della computazione
1a. Nozioni matematiche di base (insiemi e operazioni su insiemi, relazioni, funzioni)
1b. Linguaggi formali
1c. Strutture dei dati (liste, alberi, grafi)
1d. Macchine a stati finiti
2. Logica classica:
2a. La semantica della logica classica
2b. Sistemi di deduzione
2c. Principali applicazioni della logica classica per la risoluzione dei problemi
3. Logiche non-classiche:
3a. Logiche modali ed epistemiche
3b. Logiche polivalenti
3c. Logiche della vaghezza e dell'incertezza

Il corso da 6 CFU consiste dei primi due macro-argomenti (prime 20 lezioni, Dispense 1-2), il corso da 9 CFU consiste di tutti e tre i macro-argomenti (30 lezioni, dispense 1-3).
Prerequisiti
Nessuno
Metodi didattici
Lezioni frontali. Si seguirà un approccio didattico orientato ai problemi e gli studenti apprenderanno, attraverso esercizi, le tecniche di base per risolvere problemi logici.
Materiale di riferimento
Una dispensa per ciascuno dei macro-argomenti (1-3) fornita dal docenti.
Modalità di verifica dell’apprendimento e criteri di valutazione
La verifica dell'apprendimento avviene attraverso una prova scritta finale. La prova include domande a risposta aperta (30%), domande a risposta chiusa (20%) ed esercizi (50%), pesati in base al grado di difficoltà. Le domande a risposta aperta o chiusa mirano a verificare la comprensione di base dei concetti e delle definizioni, mentre gli esercizi mirano a valutare l'abilità della risoluzione di semplici problemi.
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
Docente: Hosni Hykel

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

Siti didattici
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:
Scrivere al docente per richiedere un appuntamento su piattaforma virtuale
Dipartimento di Filosofia (Cortile Ghiacciaia) - secondo piano
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