Prerequisites
Nil
Syllabus
Logic: Propositional and predicate logic. Inference.
Lattices as partially ordered sets and as algebraic systems. Duality, Distributive, complemented and complete lattices. Boolean algebras and their basic properties.
Boolean functions and expressions. Application of Boolean algebra to switching circuits (using AND, OR and NOT gates)
Graphs and Planar Graphs: Graphs, Multi-graphs, Weighted Graphs, Directed graphs. Paths and circuits. Matrix representation of graphs. Eulerian paths and circuits. Planar graphs. Euler’s formula. Trees and spanning trees.
Suggested Readings:
C. L. Liu, Elements of Discrete Mathematics, (Second Edition), McGraw Hill, International Edition, 1986.
J. P. Tremblay and R. Manohar, Discrete Mathematics with Applications to Computer Science, Tata McGraw-Hill, 1997.
S. Wiitala, Discrete Mathematics: A Unified Approach, McGraw-Hill Book Co.
N. Deo, Graph Theory with Applications to Computer Science, Prentice-Hall of India,
Discrete Mathematics and its Applications by Kenneth Rosen, Seventh (Indian) Edition.
Introduction to Graph Theory by Douglas B. West, Second Edition.
Introduction to Algorithms by Cormen, Leiserson, Riverst, and Stein, Third Edition.
Weekly Office Hours
FRI : 15:10 - 16:00 Hours
SAT : 15:10 - 16:00 Hours
Reading Materials
(On Graph)(Slides taken from Dr. PSM, IITG)