Mathematics for Business Informatics III (MATH 305)
Offered By:
Media Engineering and Technology Faculty
Description
- Formal logic: propositional and predicate logic. Application: Correctness proofs, Hoare triples.
- Proof techniques: Contraposition, contradiction, and induction.
- Basic set theory: Sets and set operations, relations and functions.