Logic & Predictability

Course contents

- Logic: propositional logic and predicate logic, specifications, arguments and proofs
- Set theory: concepts, set formations, tuples, relations, functions
- Predictability: runtime complexity, Landau notation, finite automata, pushdown automata, Turing machines

Department

Bachelor's program Digital Business & Software Engineering