Course Description
The course includes two formal systems: The proposition logic (statements, connective, conditional, negation) and predicate logic (quantifier, occurrence, and free variables). The course starts by presenting a review of the basic concepts of the set theory, functions, and relations. The emphasis will be placed on types of the proof (direct, contra-positive, contradiction, counterexample, and existence). In addition, the course covers other proof techniques useful in computer sciences such as mathematical induction.
Course ID: MATH 401
Credit hours | Theory | Practical | Laboratory | Lecture | Studio | Contact hours | Pre-requisite | 3 | 3 | 3 | MATH 301 |
---|