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
MCI uses cookies to align content and recommendations with your interests. Detail information on the use of cookies and services for web analysis and online marketing can be found in our privacy policy. By using our website, you consent to the use of our cookie policy.
Privacy Policy