Accesibility Adjustments

Choose the right accessibility profile for you
OFF ON
Highlight Links Highlights all the links on the site!
OFF ON
Pause Animations Animations will be paused on the site!
OFF ON
Dyslexia Font Dyslexia Font will be applied on the site!
OFF ON
Hide Images All images will be hidden on the site!
Choose the right accessibility profile for you
Adjust Font Sizing
Default
High Saturation
High Contrast
Light Contrast
Dark Contrast
Adjust Letter Spacing
Default
Adjust Line Height
Default
Speak Mode
Align Center
Align Left
Align Right

SIMBOLIČKA LOGIKA


Semestar: 5
ECTS: 5
Status: Obavezan
Fond: 2+2+0
Duplikat: Ne
ECTS katalog

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.

Angažovano osoblje

Ime Predavanja Vježbe Laboratorija
DARKO BLAGOJEVIĆ2x1
VLADIMIR DREKALOVIĆ2x1
5B+2S
//