Discrete - Structure Weekly Breakup.
Discrete - Structure Weekly Breakup.
PREREQUISITES
None
COURSE DESCRIPTION:
The purpose of this course is to understand and use (abstract) discrete structures that are backbones of computer
science. In particular, this class is meant to introduce logic, proofs, sets, relations, functions, counting, and probability,
with an emphasis on applications in computer science.
Weekly Plane
Lecture
Weeks Title of Chapter Contents
Numbers
1 Introduction to logic
Week 1 2 Propositional calculus
3 Predicate calculus
Week 2 4 Negation
5 Disjunction Connector
6 Conjunction Connector
7 Mathematical Reasoning Implication Connector
Week 3 8 Equivalence Connector
Construction of Truth Tables for Compound/Complex
9
Expressions
10 Methods of proofs
Week 4 11 Direct proof
12 Indirect proof
13 Method of Contradiction, Pigeon Hole Principle
Week 5 14 Mathematical Induction, Examples, Odd Pie Fights
15 Definition of sets
16 Proof by Induction
Week 6 17 Set Theory Union, Intersection
18 Mathematical Functions
19 Representation of Functions by Graph
Difference concepts and Functions among Union and
Week 7 20
Intersection
21 Universal set, Compliment of set
Week 8 Mid Examination
22 Properties of relations
23 Partial ordering
Week 9
Cartesian Product, Producing Cartesian Product from Set
24 Set Theory (cont.)
Builder Notation, Ordered Pairs
25 Set Partitions, Venn Diagrams
Week 10
26 Mappings
Page 2 of 4
27 Injection and surjection
28 Introduction to functions
Week 11 29 Composition of functions
30 Inverse function
Functions
31 Recursive function theory: Odd positive, Sum
Week 12 32 Recursive function theory: Factorial, Fibonacci Sequence
33 Tower of Hanoi
34 Introduction to Graph Theory
Week 13 35 Applications and Benefits of Graph Theory
36 Graph Theory Basic Elements of Graph Theory
37 Planar graphs, Euler Formula
Week 14 38 Graph Coloring
39 Shortest-Path Problems
40 Introduction and Importance of Trees, Application of Trees
Tree, Forest, Rooted Tree, Balanced Tree, Tree Traversal,
Week 15 41 Trees
Universal Addressing Method
42 Spanning Trees, Minimum Spanning Trees
Week 16 Final Examination
ASSESSMENT SCHEME
Internal Assessment: 20%
Mid Semester Examination: 30%
Final Semester Examination: 50%
ACADEMIC HONESTY
Students are expected to conduct themselves in accordance with the highest ethical standards of the Profession of
Engineering and Technology and evince academic integrity in all their pursuits and activities at the university. As such, in
accordance with the general academic regulations and requirements of the University of Faisalabad, students are reminded
that plagiarism or any other form of cheating in examinations, assignments, laboratory reports or term tests is subject to
serious academic penalty (e.g. cancellation of exam/assignment/quiz). A student found guilty of contributing to cheating in
examinations or term assignments is also subject to serious academic penalty.
Note:-The above course outline covers all contents of the subject as prescribed by HEC and respective accreditation
Council.
Page 4 of 4