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
Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
Privacy Policy