In questo insegnamento è presente il materiale relativo anche ai seguenti mutuati:
B026251 (B200) - LOGICA (CURRICULUM: LETTERE ANTICHE - D85) 2021-2022
B026251 (B200) - LOGICA (CURRICULUM: LETTERE MODERNE - D86) 2021-2022
Il corso introduce gli studenti alle principali problematiche della logica c on t e m p o r a n e a , fornendo le conoscenze basilari relative a: logica
enunciativa e dei predicati; alberi di refutazione; deduzione naturale;
semantica tarskiana; computabilità (un approccio intuitivo via macchine
di Turing).
Information
- Anno accademico
- 2021-2022
- Semestre / Annualità
- Primo Semestre
- Teacher: CANTINI ANDREA
- Teacher: DONATI BEATRICE
Course access
To view course materials, participate in activities, or check your registration status. Go to the page.