National Computer Education Accreditation Council

NCEAC
NCEAC.FORM.001-C

INSTITUTION PAF-KIET

PROGRAM (S) TO BE BACHELORS OF SCIENCE IN COMPUTER SCIENCE

EVALUATED BS (CS) FOUR YEAR DEGREE

A. Course Description

Course Code QT212

Course Title Discrete Mathematics
Credit Hours 3+0
Prerequisites by Course(s) and Algebra & Trigonometry
Topics
Assessment Instruments with Quizzes 10%
Weights (homework, quizzes, Midterm 20%
midterms, final, programming Assignment 10%
assignments, lab work, etc.)
Final Exam 40%
Project 20%
Course Coordinator Muhammad Affan Alim
URL (if any) -
Current Catalog Description The course is designed to teach fundamental mathematical principles
and techniques which are widely used in computer science
applications and to introduce students to the ideas of proof and
algorithm in the context of discrete mathematics.
Textbook (or Laboratory Manual Code Title Author Publisher Year
for Laboratory Courses) 0-07- Discrete Kenneth H. McGraw 2012
113974-5 Mathematics Rosen Hill Inc.
and Its Seventh
Applications. Edition
Reference Material Code Title Author Publisher Year
0-021- Discrete and Ralph P. Maxwell 1989
54983-2 combinatorial Grimaldi Macmillan
Mathematics Third
Edition
0-7167- A Primer of Daniel and Freeman 1987
1815-4 Discrete Wendell
Mathematics
0-13- Discrete Edgar and Prentice- 1998
790445-2 Mathematics Michael Hall Inc.
with Graph
Theory
Course Goals -
Topics Covered in the Course, Sheet is attached
with Number of Lectures on Each
Topic (assume 15-week instruction
and one-hour lectures)

1 NCEAC.FORM.001.C
 National Computer Education Accreditation Council
NCEAC
NCEAC.FORM.001-C

Laboratory Projects/Experiments No lab included

Done in the Course
Programming Assignments Done Different project are given to student related to Discrete mathematics
in the Course topics: some titles are as follows:
1) Implementation of generation of truth table
2) implementation of image encryption
3) Implementation of shortest path algorithm
etc
Class Time Spent on (in credit Theory Problem Solution Social and Ethical
hours) Analysis Design Issues
50 mins 50 mins 50 mins 15 mins
Oral and Written Communications Following vivas are conducted for oral and written communication
write
i) after submission of theoretical assignments, viva is taken of related
assignment
ii) viva is conducted of after submission of each project assignment
iii) atleast 6 quizes and 3 assignments are given

Instructor Name Instructor Signature

Date
Session No.

Signature
Book Ch.

Date
Topics to be Covered

Logic, propositions, logical operators, negations

conjunctions, disjunctions, exclusive – OR,
1 1
implications, bi-conditional.
Construction of truth table
Equivalence of logical expression, properties of logical
expression. Examples
2 1
Predicates, propositional function, universe of
discourse. examples

3 1 Quantifiers, type of quantifiers, negation of quantifiers.

Examples question of predicate and quantifiers and

4 1
negation of quantifier
Set Theory, set builder notation, equivalent of set.
Set operations, union, intersection, subtraction,
5 2 complement.
Power set, subset, Cartesian product, related
Exercises.
Properties of set and related questions
6 2 Venn diagram, Venn diagram using all operations,
shedding the region
2 NCEAC.FORM.001.C
 National Computer Education Accreditation Council
NCEAC
NCEAC.FORM.001-C

7 2 Application of set, related questions

Functions, Introduction, types of functions, one – to –
one (injective), onto (surjective) and bijective
8 2
functions.
Properties of functions and related questions
Inverse Functions, Composite Functions.
9 2
Related Exercises.
Sequences, summation.
10 2 Properties of sequence and summation
Related questions
Ceil and floor function
11 2 Application of ceil and floor functions
Related questions
12 2 Growth of function, asymptotic notations of function
Big O notation of functions,
13 2
Efficiency and complexity of algorithm
Complexity of Algorithms.
14 2
Related Exercises.
15 , 16 Mid term
Algorithm, how to write an algorithm, abstract nature
17 3
of algorithm

18 3 Some algorithm, bubble sort, linear search etc

Number theory, the Integers, definition of even
number, odd numbers, prime numbers and composite
19 4 number.
Theorems: sum of two integers, division, transitivity
theorem
20 4 Modular arithmetic, theorem of modular arithmetic
Chinese modular arithmetic theorem
21 4 Application of modular arithmetic
Implementation of hash function, cryptography
Methods of Proof, introduction, rules of Inferences,
22 3 fallacies, method of proving theorems, theorem and
Quantifiers. Related Exercises,
Mathematical Induction, introduction, well – ordering
23 3 Property, proof of Mathematical Induction.
Related Exercises.
Recursive Definitions, introduction, recursively defined
24 8 functions, recursively Defined Sets.
Related Exercises.
Recursive based algorithms; application, compound
25 8 profit, tower of Honai, Rabbit counting in Island
26 8 Solution of recursion and related exercise
The Basics of Counting, introduction, basic counting
principles, the inclusion – exclusion principle.
27 6
Permutations and Combinations,
Related Exercises.
3 NCEAC.FORM.001.C
 National Computer Education Accreditation Council
NCEAC
NCEAC.FORM.001-C

Independence and dependence. Random variables.

28 7 Discrete probability
Related Exercises.
29 , 30 Course project presentation

4 NCEAC.FORM.001.C