Lecture No. Topic No.

Topic Name
1 1 Introduction
1 2 Basic Concept of sets
1 3 Empty set, subsets and universal sets
2 4 Set operations
2 5 Venn diagrams
3 6 Algebra of sets, duality
4 7 Finite Sets, counting principles
4 8 Classes of Sets, power sets
5 9 Mathematical Induction
5 10 Axiomatic development of set theory
6 11 Real number system
6 12 Order and inequalities part 1
6 12 Order and inequalities part 2
7 13 Absolute value and distance
8 14 Intervals
9 15 Bounded sets, Completion property part 1
9 15 Bounded sets, Completion property part 2
10 16 Greatest common divisor
10 17 Eulidean algorithm part 1
11 17 Euclidean algorithm part 2
11 18 Fundamental theorem of arithmetic
12 19   Product sets
12 20 Relation
13 21 Representation of Relation on Finite Sets
13 22   Composition of Relations
14 23 Types of relations
14 24 Closure properties
15 25 Partitions
15 26 Equivalence Relations
16 27 Equivalence Relations and Partition part 1
16 27 Equivalence Relations and Partition part 2
17 29   Functions
17 30 Functions as relation
18 31 Composition of Functions
19 32 One to one, Onto and Invertible function
19 33 Mathematical Functions
19 34 Expinential and logarithmic function
20 35 Recursively defined functions
20 36 Equipotent sets
21 37 Denumerable and countable sets part 1
22 38 Denumerable and countable sets part 2
23 39 Real numbers and the power of continuum part 1
24 40 Real numbers and the power of continuum part 2
24 41 Cardinal Numbers
25 42 Ordering of Cardinal Numbers
26 43 Cantor's Theorem
27 44 Cardinal arithmetic part 1
27 45 Cardinal arithmetic part 2

28 46 Ordered sets
29 47 Comparability and Linearly ordered sets
30 48 Partially Ordered Sets and Hasse diagrams
31 49 Minimal and Maximal elements
32 50 Supremum and Infimum
33 51 Similar ordered sets
34 52 Well ordered sets
35 53 Transfinite Induction and Limit elements
35 54 Ordinal Numbers
36 55 Choice function and axiom of choice
36 56 Well Ordering theorem
37 57 Propositions and compound propositions
37 58 Logical Operations
38 59 More Logical Operations
38 60 Truth table of compound propositions
39 61 Tautology and contradiction
39 62 Logical Equivalences
39 63 algebra of propositions
40 64 Constructing new logical equivalences
40 65 Converse, contrapositive and inverse
41 66 Argument
41 67 Rules of inference for propositional logic
41 68 Examples using rules of inference
42 69 Propositional Functions
42 70 Quantifiers and Universal Quantifier
43 71 Existential Quantifier
Universal and Existential quantifier as conjunction
43 72 and disjunction
43 73 Negation of Quantified Statements
44 74 Introduction to proofs
44 75 Methods of Proving theorems part 1
45 76 Methods of Proving theorems part 2