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.
Name | Lectures | Exercises | Laboratory |
---|---|---|---|
DARKO BLAGOJEVIĆ | 3x1 15B+1S | ||
VLADIMIR DREKALOVIĆ | 2x1 15B+1S |