MA6566 DISCRETE MATHEMATICS

UNIT I LOGIC AND PROOFS

Propositional equivalences

Rules of inference

Proof methods

UNIT II COMBINATORICS

The pigeonhole principle

Generating functions

Exclusion principle and its applications

UNIT III GRAPHS

Special types of graphs

Euler and Hamilton paths

UNIT IV ALGEBRAIC STRUCTURES

Groups and subgroups

Lagrange‟s theorem

UNIT V LATTICES AND BOOLEAN ALGEBRA

Properties of lattices

Direct product and homomorphism

Special lattices