CSE-131: Discrete Mathematics
Dear Students,
Welcome to the Fall2022 Semester!
Welcome back, Students. I can’t wait to see all your smiling faces! I am here to support you every step of the way.
I encourage you to make the most of your time here. Remember to make it a great year. I will see you soon.
INSTRUCTION/GUIDELINE FOR THE COURSE
- All the students registered for this course have to enroll in Moodle
- Students can find all the course materials from Moodle.
- All the students have to submit the soft copy of their "Assignment
" in Moodle under assignment
section created here and for this they will be graded here.
- One discussion or feedback forum is created under each of the lecture. Students have to give their feedback on these forum and marks will be given for their feedback
- Announcement regarding the class will be posted on Moodle.
- Quizzes and presentation
may be held on face to face class and may be few of the class will be held on online (Moodle) and it will be announced before the class
- The question pattern and the syllabus for the quizzes, midterm and final exam is given here under each of the section (quizzes, midterm and final)
- There are midterm and final exam preparation
forum under these sections where students can discuss with each other about their midterm and final exam syllabus, any problem regarding the exam etc.
COURSE RATIONALE
Concepts and notations from discrete mathematics
are useful in studying and describing objects and problems in all branches of
computer science, such as computer algorithms, programming languages,
cryptography, automated theorem proving, and software development. It helps
improving reasoning power and problem-solving skills. Therefore, it can be
considered as the backbone of computer science.
COURSE OBJECTIVE
- The goal of this course is to introduce students
to ideas and techniques from discrete mathematics that are widely used in
science and engineering for thinking logically and mathematically and apply
these techniques in solving problems.
- To achieve this goal, students will learn
logic and proof, sets, functions, mathematical reasoning as well as key topics
involving relations, graphs and trees.
COURSE OUTCOME
After completing this course satisfactorily, a student will:
CO1
|
Be
able to comprehend formal logical arguments as well as to construct logical
proofs with ability to verify them
|
CO2
|
Demonstrate
skills in expressing mathematical properties formally via the formal language
of propositional logic and predicate logic
|
CO3
|
Gain
experience in using various techniques of mathematical induction to prove
simple mathematical properties of a variety of discrete structures
|
| |
ASSESSMENT PLAN
COURSE OUTLINE
REFERENCE TEXTBOOKS
ADDITIONAL MATERIALS