BIRLA INSTITUTE OF TECHNOLOGY & SCIENCE, PILANI

WORK-INTEGRATED LEARNING PROGRAMMES DIVISION

BITS-WIPRO Collaborative Program
Second Semester 2021-2022

DISCRETE STRUCTURES FOR COMPUTER SCIENCE

COURSE HANDOUT

Part A: Content Design

Course Title DISCRETE STRUCTURES FOR COMPUTER SCIENCE
Course No(s) CSIWZC252
Credit Units

Course Description
Introduction to discrete mathematical structures; Formal logic and predicate calculus; Sets, relations
and functions; Proof techniques; Graphs and trees; Primes, factorization, greatest common divisor,
residues and application to cryptology; Permutations, combinations and partitions; Recurrence
relations.

Course Objectives
No Objective

CO1 To understand the logic which is the basis for programming

CO2 To understand techniques for analysis of algorithms- Recurrence relations

CO3 To learn the basics required for cryptology and Graph Theory

Text Book(s)
No Author(s), Title, Edition, Publishing House
T1 Kenneth H. Rosen, Discrete Mathematics and its Applications, Tata McGraw Hill, 7th Ed.,
2011.

Reference Book(s) & other resources

No Author(s), Title, Edition, Publishing House
R1 Kolman, Busby, Ross and Rehman, Discrete Mathematical Structures for Computer Science,
Pearson Education, 6th Edition, 2017.
R2 D.S. Malik and M.K. Sen, Discrete Mathematical Structures: Theory and Applications,
Thomson, 2004.
R3 Goodaire & Parmenter : Discrete Mathematics & Graph Theory, Pearson Education, 3rd Edition
2002.
R4 C.L. Liu, Elements of Discrete Mathematics, 2nd Edition, McGraw Hill, 1986.
Content Structure

Content Structure
No Title of the Module References
M1 Module1: Logic
 Propositional Logic, Propositional Equivalence, Predicate Logic
 Introduction to logic; basic concepts in propositional logic, operators on
propositions, knowledge representation in propositional logic,
propositional equivalence using truth tables, equivalence laws, and
fundamentals of predicate logic, quantifier expressions, knowledge
representation in predicate logic.

M2
Module 2: Proof Methods
 Inference Rules, Proof Methods, Strong & Weak induction
 Inference rules, proof methods – direct proof, indirect proof, vacuous
proof, trivial proof, proof by cases, proof by contradiction and strong /
weak induction.
M3 Module 3:Sets, Functions and Relations
 Set theory, Functions, Relations – Equivalence Relations, Partial Order
Relations, Lattices.
 Introduction to set theory, set relations, set operators, cardinality of sets,
Cartesian product of sets, fundamentals of functions – range, domain,
injection, surjection, bijection of functions, fundamentals of relations,
reflexive, symmetric and transitive properties in relations, representing
relations, applications of relations, equivalence relations, partial order
relations, lattices.
M4 Module 4: Combinatory, Recursion, Recurrence relation
 Combinatorics, Pigeonhole principle, Recursion, Recursively defined
functions, Recurrence relations
 Combinatorics: sum and product rules, inclusion/exclusion principle,
pigeonhole principle, recursion, recursively defined functions, recurrence
relations.
M5 Module 5:Graph Theory
 Introduction to graph theory, Trees, Minimum Spanning Trees.
 Introduction to graph theory, directed and undirected graphs, handshaking
theorem, special graph structures, graph representations and isomorphism
of graphs, connectedness, components, Euler, Hamilton paths and cycles,
trees, binary trees, binary search tree, spanning trees, minimum spanning
trees – Prim’s and Kruskal’s algorithms.
M6 Module 6:Introduction to Cryptography
 Basic Number Theory, Introduction to Cryptography, RSA Algorithm
 Basic concepts in number theory, prime factorization theorem, division
algorithm, primality, modular congruence, Euclid’s algorithm for GCD,
hash functions, modular exponential problem, Chinese remainder
theorem, RSA algorithm.

Learning Outcomes:
No Learning Outcomes

LO1 Student will be able to understand the logic behind the validation of statements in programming

L02 Student should be confident of analyzing algorithms in particular using recurrence relations

LO3 Students are confident of Graph theory concepts so that understanding data structures becomes
 very simple

Part B: Contact Session Plan

Academic Term II semester

Course Title DISCRETE STRUCTURES FOR COMPUTER SCIENCE

Course No SEWP ZC252 / CSIW ZC132

Lead Instructor Applied Mathematics Group

Course Contents

Contact Session-1, Module 1: Logic

Time Type Description References
Pre-CS-1 RL1.1, RL Introduction to Discrete Structures and Logic, Propositional T1 – 1.1, 1.2.
1.2 Logic and its applications.

During CS-1 CS-1 Discuss Examples: T1 – 1.1: 7, 8, 9, 10,12,18,19, 14, 15,18,19 T1 – 1.1, 1.2.
Solve Exercises: T1 – 1.1 - 3,7,17,31,55,56,57,58,59.
Discuss Examples: T1 – 1.2: 5, 6, 7, 8.

Solve Exercises: T1 – 1.2: 9,23,31,43 and 45.

Post-CS-1 HW Exercises of T1 – 1.1: 5, 13,19, 21, 33, 35, 37, 43,47, 63 T1 –1.1, 1.2.
Exercises of T1 – 1.2: 7, 11, 15, 17, 25, 27.

Contact Session-2, Module 1: Logic

Time Type Description References
Pre-CS-2 RL 1.3,RL 1.4 Propositional Equivalence, Predicates and Quantifiers Nested T1 – 1.3,1.4, 1.5
Quantifiers.
During CS- CS-2 Discuss Examples: T1 – 1.3: 3, 4, 7, 8, 12, 13, 15, 16, 17, 20, T1 – 1.3,1.4,
2 22, 26, 27 1.5
Solve Exercises: T1 – 1.3: 7,9,25,27,33,41,55
Discuss Examples: T1 – 1.4: 2,4,8,12,15
Solve Exercises: T1 – 1.4: 1,7,19,30,37
Discuss Examples T1 – 1.5: 3, 4, 7, 8, 9, 13,15, 16, 17.
Solve Exercises: T1 – 1.5: 4,9,15,23,30,35

Post-CS-2 HW Exercises of T1 – 1.3: 3, 6, 11, 13, 29, 34, 37, 39, 43, 57 T1 – 1.3,1.4, 1.5
Exercises of T1 – 1.4: 4,12,13,23,31,33,40,45
Exercises of T1 – 1.5: 5, 7, 11, 13, 17, 19, 23, 25, 29, 31
Contact Session-3, Module 2: Proof Methods -Inferences
Time Type Description Reference
Pre-CS-3 RL 2.1,RL 2.2 Inference Rules, Introduction to proofs. T1 – 1.6,1.7
During CS- CS-3 Discuss examples T1 – 1.6: 2, 4, 6,7,8, 9, 11, 12,14, 15, 18 T1 – 1.6,1.7
3 Solve Exercises: T1 – 1.6: 5,11,22,27,28,39
Discuss examples T1 – 1.7: 1, 4, 8, 9, 12,13,14, 17, 18
Solve Exercises: T1 – 1.7: 4,12,23,26,29,35,41

Post-CS-3 HW Exercises of T1 -1.6: 4,9, 13,16, 17, 23,15,31,38 T1 – 1.6,1.7

Exercises of T1 -1.7 - 6,17,25,29,34,37,40

Contact Session-4, Module 2: Proof Methods - Mathematical Induction

Time Type Description References
Pre-CS-4 RL 2.2 Continuation of Proofs :Mathematical Induction, Strong and T1 – 5.1,5.2
Weak Induction
During CS- CS-4 Discuss examples T1 – 5.1: 4,6,8, 9,14 T1 – 5.1,5.2
4 Solve Exercises: T1 – 5.1: 3,7,12,21
Discuss examples T1 – 5.2: 1, 3,4
Solve Exercises: T1 – 5.2: 1,2,5,14

Post-CS-4 HW Exercises of T1 - 5.1: 6,9,19,35, 27, 37 T1 – 5.1,5.2

Exercises of T1 - 5.2: 3, 7, 9, 13

Contact Session-5, Module 3: Sets, Relations and Functions.

Time Type Description References

Pre-CS-5 RL 3.1,RL 3.2, Sets, Operation on Sets ,Venn diagrams ,Theorems on sets T1 –2.1, 2.2
During CS- CS-5 Discuss examples T1 – 2.1: 13, 14, 18,20 T1 –2.1, 2.2
5 Solve Exercises: T1 – 2.1:1,6,9,20,28,30,41,44
Discuss examples T1 - 2.2: 10,11,14,18, 19, 20
Solve Exercises: T1 – 2.2:16, 18, 27,30,39,46,50,55,59.

Post-CS-5 HW Exercises of T1 – 2.1: 7,12,17,19, 21, 29,43 T1 –2.1, 2.2

Exercises of T1 – 2.2: 2,17,22,25,38,41, 45, 49, 51, 53,57
Contact Session-6, Module 3: Sets, Relations and Functions.

Time Type Description Content

Reference
Pre-CS-6 RL 3.3 Functions, types of functions, operations on functions, T1 – 2.3
properties with Examples
During CS-6 CS-6 Discuss examples T1 – 2.3: 9,10, 12, 13, 17, 18, 19,26, 27, 28 T1 – 2.3
Solve Exercises: T1 – 2.3: 4,15,19,27,39,55,57,65,70,73,77

Post-CS-6 HW Exercises of T1 - 2.3: 3,12, 21, 23, 29, 31,42,47,54,57,58. T1 – 2.3

Contact Session-7, Module 3: Sets, Relations and Functions

Time Type Description Reference
Pre-CS-7 RL 3.4, RL 3.5 Relations ,Representing Relations, Equivalence Relations, T1 –
Partial Orderings,Lattices. 9,1,9,3,9,5,9,6
During CS- CS-7 Discuss examples T1 – 9.1: 6, 7, 8, 9, 11, 12, 13, 14, 15, 16,20 T1 –
7 Solve Exercises: T1 – 9.1: 3,6,29,37,39,48,54 9,1,9,3,9,5,9,6
Discuss examplesT1 – 9.3: 1, 2, 3, 10
Solve Exercises: T1 – 9.3: 3,11,13,16,22.31
Discuss examplesT1 – 9.5: 3,6, 7, 9,10,14.
Solve Exercises: T1 – 9.5: 35,43,49,48,57
Theorem 1 of 9.5 in T1
Discuss examples T1 – 9.6: 2, 3, 4, 5, 12, 14, 17, 18, 22, 23, 24
Solve Exercises: T1 – 9.6: 4,19,31,35,43,47,62,65

Post-CS-7 HW Exercises T1 - 9.1: 4,5, 7,8, 15, 23,37,39,41, 42,45 T1 –

ExercisesT1 – 9.3: 5, 7, 9, 14, 21. 9,1,9,3,9,5,9,6
Exercises T1 – 9.5: 2,11, 13, 15, 24,25, 29,36,41
Exercises T1 – 9.6: 3, 5, 7, 23, 29, 33, 49, 51

Contact Session-8, Review

Time Type Description References
Review

Syllabus for Mid-Semester Test: Topics covered in the first

8 contact session
Contact Session-9, Module 4: Combinatorics, Recursion, Recurrence relation

Time Type Description Content

Reference
Pre-CS-9 RL 4.1 Combinatorics, Pigeon hole Principle. T1 - 6.1, 6.2
During CS- CS-9 Discuss examplesT1- 6.1: 3, 4,5, 8, 10, 12 ,18,19,21 T1 - 6.1, 6.2
9 Solve Exercises: T1 –6.1: 3,7,11,20,30,40,53,61
Discuss examplesT1 – 6.2: 4,6, 8, 9, 11, 13
Solve Exercises: T1 –6.2: 2,4,17,23,30,42

Post-CS-9 HW ExercisesT1 – 6.1 :16,17, ,23,35, 39, 45, 47,49,52,60 T1 - 6.1, 6.2
Exercises T1 – 6.2: 5, 7, 11, 12,15, 20,22,25,31,34,45

Contact Session-10, Module 4: Combinatorics, Recursion, Recurrence relation

Time Type Description Reference

Pre-CS-10 RL 4.2 Recurrence Relations - Introduction and Types of recurrence T1 –8.1
relations
During CS- CS-10 Discuss examplesT1 – 8.1: 1, 2,3,4,5 6. T1 –8.1
10 Solve Exercises: T1 –8.1: 1,5,8,19,22,31,34,36,48

Post-CS-10 HW ExercisesT1 – 8.1: 1, 11, 16,21, 29 T1 –8.1

Contact Session-11, Module 4: Combinatorics, Recursion, Recurrence relation

Time Type Description References

Pre-CS-11 RL 4.2 Solving Recurrence Relations, Generating Functions and T1 – 8.2, 8.4,
Inclusion Exclusion principle. 8.5
During CS- CS-11 Discuss examplesT1- 8.2: 3, 4,5, 8, 10, 12 T1 –8.2, 8.4, 8.5
11 Solve Exercises: T1 –8.2: 6,7,11,20,30,40,53
Discuss examplesT1 – 8.4: 3, 4, 5, 8, 15
Solve Exercises: T1 –8.4: 28,36,49,53
Discuss examplesT1 – 8.5: 1,2,3 ,4, 5
Solve Exercises: T1 –8.5: 5,11,23,28

Post-CS-11 HW Exercises T1 – 8.2: 18,26, 27,31, 43,52. T1 –8.2, 8.4, 8.5

Exercises T1 – 8.4: 33, 35, 41, 43,54,55
Exercises T1 – 8.5: 7,14,17,24.
Contact Session-12, Module 5: Graph Theory
Time Type Description Reference
Pre-CS-12 RL 5.1, RL 5.2 Introduction to Graph Theory, Graph Representation and Graph T1 –10.1, 10.2,
Isomorphism. 10.3
During CS- CS-12 Discuss examplesT1 – 10.1: 2, 3,4, 5,7, 8,10 T1 –10.1, 10.2,
12 Solve Exercises: T1 –10.1:10,12,15,19,27,33 10.3
Discuss examplesT1 – 10.2: 4, 10, 11, 14,15
Solve Exercises: T1 –10.2: 5,18,24,60
Discuss examplesT1 – 10.3: 2, 4, 6, 10, 11
Solve Exercises: T1 –10.3: 28,39,43,64
Post-CS-12 HW ExercisesT1 – 10.1: 1, 11, 16,21, 29 T1 –10.1, 10.2,
Exercises T1 – 10.2: 18, 26, 27, 31, 43, 53. 10.3
Exercises T1 – 10.3: 9, 21,25, 29, 44,45,53,63

Contact Session-13 , Module 5:Graph Theory

Time Type Description References

Pre-CS-13 RL 5.3, RL 5.4 Connectivity, Euler and Hamilton Paths T1 –10.4, 10.5,
During CS- CS-13 Discuss examplesT1 – 10.4: 3, 4, 5, 8, 15 T1 –10.4, 10.5,
13 Solve Exercises: T1 –10.4: 28,36,49,53
Discuss examplesT1 – 10.5: 4, 5, 7,8
Solve Exercises: T1 –10.5: 5,21,34,47

Post-CS-13 HW Exercises T1 – 10.4: 33, 35, 41, 43,54,55 T1 –10.4, 10.5,

Exercises T1 – 10.5: 7,14,17,24, 41,47

Contact Session-14, Module 5:Graph Theory

Time Type Description References
Pre-CS-14 RL 5.4, RL 5.5 Trees, Spanning Trees, Minimum Spanning Trees T1 –11.1, 11.4,
11.5
During CS- CS-14 Discuss examplesT1 – 11.1: 1,3,5,7,10 T1 –11.1, 11.4,
14 Solve Exercises: T1 –11.1: 9,25,19,42 11.5
Discuss examplesT1 – 11.4: 1, 2, 3,5,6,7
Solve Exercises: T1 –11.4: 6,23,34.41
Discuss examplesT1 – 11.5: 1, 2, 3
Solve Exercises: T1 –11.5: 17,18,26
Post-CS-14 HW Exercises T1 – 11.1: 1, 3, 9,20,33,37 T1 –11.1, 11.4,
Exercises T1 – 11.4: 15, 27,45 11.5
Exercises T1 – 11.5: 1,15, 19, 27, 29
Contact Session-15, Module 6: Introduction to Cryptography

Time Type Description Content

Reference
Pre-CS-15 RL 6.1, RL Primes, GCD, Integers and Algorithms, RSA Cryptosystem T1 –
6.2, RL 6.3 4.1,4.2,4.3,4.6
During CS- CS-15 Discuss examplesT1 – 4.1: 3,4,5, 6,7 T1 –
15 Discuss examplesT1 - 4.2: 4, 7, 11, 12 4.1,4.2,4.3,4.6
Discuss examplesT1 – 4.3: 11, 12,14,15,18
Discuss examplesT1- 4.6: 3, 4, 6, 9, 10
Post-CS-15 HW ExercisesT1 – 4.1: 13, 10,21, 23,25, 29, 31, 32 T1 –
Exercises T1 – 4.2: 6,9, 11,21,25,30,33, 37 4.1,4.2,4.3,4.6
Exercises T1 – 4.3: 19, 21, 23, 25,36,45
Exercises T1 –4.6: 9, 13, 17, 21, 23, 29.

Contact Session-16, Review

Time Type Description Content

Reference
Review
Syllabus for Comprehensive Exam (Open Book) All topics given in Plan