DISCRETE MATHEMATICS (4 Credits)

Learning Outcomes:

On successful completion of this course, students will be able to: explain the logic of compound statements, digital logic circuits, and quantified statements; solve problems of number theory, methods of proof, and counting problems; explain set theory, properties of function, fuzzy set, and relations; apply the theory of graphs and tree for some real problems; evaluate regular expressions, finite state automata and its applications.

Topics:

1. The Logic of Compound Statements;
2. The Logic of Quantified Statements;
3. Methods of Proof;
4. Number Theory;
5. Set Theory;
6. Properties of Functions and Fuzzy Set;
7. Properties of Relation;
8. Counting and Probability;
9. Graphs Theory;
10. Trees Theory;
11. Regular Expressions and Finite State Automata.