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
- Enseignant: CANTINI ANDREA
- Enseignant: DONATI BEATRICE
Accès au cours
Pour consulter le matériel de cours, participer aux activités ou vérifier l'état de votre inscription, veuillez visiter la page.