DISCRETE MATHEMATICS (4 Credits)

Learning Outcomes:

On successful completion of this course, student will be able to: Evaluate the logic of compound and quantified statements and how do to proof; Explain Set Theory, Counting method and Number Theory; Explain Function, recursion, fuzzy set, Relations and Graph Theory; Explain Trees & Graph theory and its application; Explain Automata and graph its application in computer science.

Topics:

1. The logic of compound statements part 1;
2. The logic of compound statements part 2;
3. The logic of quantified statements;
4. Methods of proof; Counting;
5. Set Theory;
6. Number Theory;
7. Function, recursion, and fuzzy set;
8. Relations;
9. Graph Theory;
10. Trees;
11. Graph Applications;
12. Finite Automata.