Module No.	Description		PDF
	1	First Order Logic (Propositional and Predicate Logic) This module uncovers the history of logic, logical notation and quantifiers. Expressions involving propositions and predicates will also be discussed. Inference rules, simplification using logical identities shall be explored in detail.
	2	Proof Techniques Techniques such as direct proof, proof by contradiction, proof using mathematical induction, pigeonhole principle and principle of mathematical induction shall be explored in detail with a variety of case studies.
	3	Relations Focus of this module is to introduce binary relations and their properties, followed by counting binary relations satisfying specific properties. Equivalence relations, partial orders, equivalence classes and their relations to partitions will also be addressed in detail.
	4	Functions and Infinite Sets We shall introduce functions, special functions and counting problems related to functions. Further, we introduce infinite sets in detail.
	5	Graph Theory This module gives an elementary introduction to graph theory. Special graphs such as bipartite graphs, Peterson graphs are also discussed.