Faculty of Engineering and Natural Sciences · Software Engineering (English) · Undergraduate
Course Objective
To provide students with the fundamental knowledge of Discrete Mathematics alongside Basic Mathematics, which they will need throughout their undergraduate and graduate studies. The aim is to develop students' mathematical thinking, equip them with the ability to formulate algorithms and construct proofs, and enable the use of mathematical structures in other scientific disciplines. It also seeks to enhance mathematical thinking and problem-solving techniques, ensure the comprehension of their real-life applications, and foster students' understanding of Discrete Mathematics topics and applications while developing their analytical thinking and evaluation skills.
Course Content
Logic, Logical Statements and Arguments, Mathematical Proof Techniques, The Principle of Mathematical Induction, Application of Proof Techniques to Basic Number Theory, Sets, Relations and Functions,
Basic Combinatorics and Counting Principles, Graph Theory, Trees
Required Resources
I. Lecture Notes
II Susanna S. Epp, Discrete Mathematics with Applications, 4th Edition, International Edition.
Recommended Resources
Kenneth Rosen. Discrete Mathematics and Its Applications, 6 th Edition, McGraw Hill Publishing Co., 2007
Rules
- Calculators are NOT allowed in all exams and quizzes.
- Attendance: It is the university policy that if a student is absent 30% of the class sessions (which, in our case, amount to 9 hours), he/she will be withdrawn from the course with a grade of DZ.
3. Late attendance: Not only are you expected to be in class, but you are also expected to be there on time. Three (3) late attendances will count as one absence. Lateness is defined as: showing up to class after the instructor has finished calling the class roster, and within the first 10 minutes of the lecture. Showing up more than 10 minutes late to the lecture counts as an absence.
4. Missing quizzes or exams: Quizzes cannot be made up.
5. Academic integrity: You are expected to submit your own work. Copying, cheating or plagiarism, if detected, will be reported to the university administration and further action might be taking from the university.
6. Getting Help: Students are encouraged to consult their instructor during his office hours or by appointment.
Course Learning Outcomes
- To be able to comprehend logical statements and evaluate the validity of logical arguments.
- Apply mathematical proof techniques to basic number theoretical problems.
- Be able to construct mathematical proofs involving different techniques such as mathematical induction and contradiction
- Prove and solve problems related to relations and functions depending on their corresponding definitions.
- Apply operations and algebraic proofs on Set theoretical examples.
- Apply basic counting and probability techniques such as pigeonhole principle.
- Analyze, model, and solve real life problems using Graph Theoretical structures and trees.
- Deduce information about structural properties of graphs from their adjacency matrices
- Explore isomorphic relations between graphs
- Apply shortest path algorithms and identify minimum spannig tree of a graph