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

UVOD U LOGIKU


Semester: 1
ECTS: 6
Status: Obavezan
Lessons: 2+3+0
Double: Ne
ECTS catalogue
Learning outcomes:

When students pass this exam they are expected to be able to do the following:1.Explain the idea of a formal language in the case of propositional logic and clearly distinguishes the syntax from its semantics; 2. Define syntactic concepts and use mathematical induction for proving the properties of these concepts; 3. Explain the basic properties of propositional logic connectives and logical laws that characterize them. 4. Explain completeness and decidability of the formal system. 5. Prove basic form of completeness theorem of propositional logic.

Teaching staff

Name Lectures Exercises Laboratory
DARKO BLAGOJEVIĆ3x1
VLADIMIR DREKALOVIĆ2x1
21B+1S+3P

New announcement - 14.12.2020 20:07

New announcement - 07.12.2020 14:27

New announcement - 30.11.2020 14:07

New announcement - 23.11.2020 18:42

New announcement - 16.11.2020 11:47

New announcement - 10.11.2020 09:08

//