DISCRETE MATHEMATICS (4 Credits)

Learning Outcomes:

On successful of this Course, students 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;
5. Counting;
6. Set Theory;
7. Number Theory;
8. Function, recursion, and fuzzy set;
9. Relations;
10. Graph Theory;
11. Trees;
12. Graph Applications;
13. Finite Automata.