Syllabus MFCS
Syllabus MFCS
Course Objectives:
Introduces the elementary discrete mathematics for computer science and engineering.
Topics include formal logic notation, methods of proof, induction, sets, relations, graph theory,
permutations and combinations, counting principles; recurrence relations and generating functions
Course Outcomes (CO): Student will be able to
Demonstrate the ability to understand and construct precise mathematical proofs
Demonstrate the ability to use logic and set theory to formulate precise statements
Acquire the knowledge to analyse and solve counting problems on finite and discrete structures
Demonstrate the ability to describe and manipulate sequences
Demonstrate the ability to apply graph theory in solving computing problems
UNIT I Lecture Hrs:
The Foundations Logic and Proofs: Propositional Logic, Applications of Propositional Logic,
Propositional Equivalence, Predicates and Quantifiers, Nested Quantifiers, Rules of Inference,
Introduction to Proofs, Proof Methods and Strategy.
UNIT II Lecture Hrs:
Basic Structures, Sets, Functions, Sequences, Sums, Matrices and Relations: Sets, Functions, Sequences &
Summations, Cardinality of Sets and Matrices Relations, Relations and Their Properties, n-ary Relations
and Their Applications, Representing Relations, Closures of Relations, Equivalence Relations, Partial
Orderings.
UNIT - III Lecture Hrs:
Algorithms, Induction and Recursion: Algorithms, The Growth of Functions, Complexity of Algorithms.
Induction and Recursion: Mathematical Induction, Strong Induction and Well-Ordering, Recursive
Definitions and Structural Induction, Recursive Algorithms, Program Correctness
UNIT IV Lecture Hrs:
Discrete Probability and Advanced Counting Techniques: An Introduction to Discrete Probability,
Advanced Counting Techniques: Recurrence Relations, Solving Linear Recurrence Relations, Divide-and-
Conquer Algorithms and Recurrence Relations, Generating Functions, Inclusion-Exclusion, Applications
of Inclusion-Exclusion.
UNIT V
Graphs: Graphs and Graph Models, Graph Terminology and Special Types of Graphs, Representing
Graphs and Graph Isomorphism, Connectivity, Euler and Hamilton Paths, Shortest-Path Problems, Planar
Graphs, Graph Coloring.
TEXTBOOKS
1. Discrete Mathematics and Its Applications with Combinatorics and Graph Theory- Kenneth H Rosen,
7thEdition, TMH.
REFERENCES
1. Discrete Mathematical Structures with Applications to Computer Science-J.P. Tremblay and R.
Manohar, TMH,
2. Discrete Mathematics for Computer Scientists & Mathematicians: Joe L. Mott, Abraham Kandel,
Teodore P. Baker, 2nd ed., Pearson Education.
3. Discrete Mathematics- Richard Johnsonbaugh, 7th ed., Pearson Education.
4. Discrete Mathematics with Graph Theory- Edgar G. Goodaire, Michael M. Parmenter.
5. Discrete and Combinatorial Mathematics - an applied introduction: Ralph.P. Grimald, 5th edition,
Pearson Education.