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).
Informazioni
- Anno accademico
- 2021-2022
- Semestre / Annualità
- Primo Semestre
- Docente: CANTINI ANDREA
- Docente: DONATI BEATRICE
Accesso al corso
Per visualizzare il materiale didattico, partecipare alle attività o verificare lo stato della tua iscrizione, accedi alla pagina.