Salient Features Mathematical logic, fundamental concepts, proofs and mathematical induction (Chapter 1) Set theory, fundamental concepts, theorems, proofs, Venn diagrams, product of sets, application of set theory and fundamental products (Chapter 2) An introduction to binary relations and concepts, graphs, arrow diagrams, relation matrix, composition of relations, types of relation, partial order relations, total order relation, closure of relations, poset, equivalence classes and partitions. (Chapter 3) An introduction to functions and basic concepts, graphs, composition of functions, f.