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).