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