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

MODERNA LOGIKA


Semester: 2
ECTS: 5
Status: Obavezan
Lessons: 2+2+0
Double: Ne
ECTS catalogue
Learning outcomes:

After students pass this exam they are expected to be able to: 1. Explain the idea of predicate logic, its syntax and its semantics. 2. Explain the idea of satisfiability and truth of the formula of predicate logic. 3. Describe the concepts of semantic consequences and syntactic consequences. 4. They use logical laws that characterize equality, existential and universal quantifiers, as well as to prove these laws in the natural-deductive and Hilbertian formulation of predicate logic. 5. Explain the reasons why predicate logic is not decidable. 6. Formulate the completeness theorem of predicate logic and understand its proof. 7. They reconstruct all forms of Aristotles syllogistic reasoning in predicate logic.

Teaching staff

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

New announcement - 21.04.2021 00:02

New announcement - 13.04.2021 22:51

New announcement - 06.04.2021 21:36

New announcement - 30.03.2021 21:48

New announcement - 23.03.2021 20:42

New announcement - 16.03.2021 22:54

New announcement - 10.04.2020 22:15

New announcement - 02.04.2020 00:04

New announcement - 27.03.2020 17:58

New announcement - 23.03.2020 22:55

New announcement - 23.03.2020 22:48

//