SIMBOLIČKA LOGIKA

Semestar: 5

ECTS: 5

Status: Obavezan

Fond: 2+2+0

Duplikat: Ne

Ishodi učenja:

Nakon što student položi ovaj ispit, biće u mogućnosti da: 1. Formuliše Peanovu aritmetiku u predikatskoj logici. 2. Objasni osnovne pojmove teorije izračunljivosti i prepoznaje mogućnost i značaj kodiranja sintaksnih objekata u prirodnim brojevima. 3. Opiše kompletnost teorije u predikatskoj logici. 4. Formuliše i objašnjava smisao Gedelovih teorema nepotpunosti. 5. Objašnjava najvažnije filozofske posljedice Gedelovih teorema.