|
Week
|
Topics
|
Study Metarials
|
|
1
|
Basic notations about proositions and introduction to algebra of propositions (conjunction and disjunction)
|
R1 - Chapter 1.1
|
|
2
|
Implication (Conditional) and equivalence (biconditional)
|
R1 - Chapter 1.2
|
|
3
|
Quantifiers
|
R1 - Chapter 1.3
|
|
4
|
The notions of axioms, theorem and proof, introduction to methods of proof (proof by truth table and direct proof)
|
R1 - Chapter 2.1
|
|
5
|
Indirect proof methods, proof by contrapositive and proof by contradiction, falsification methods (giving counterexample, finding conflict)
|
R1 - Chapter 2.2
|
|
6
|
Mathematical induction
|
R1 - Chapter 2.3
|
|
7
|
More examples about methods of proof
|
R1 - Chapter 2.4
|
|
8
|
Basic notions of sets, Boolean operations on sets
|
R1 - Chapter 3.1
|
|
9
|
Finite-infinite intersections and unions, product of sets and basic notions about product sets
|
R1 - Chapter 3.2
|
|
10
|
Relations and their basic properties
|
R1 - Chapter 4.1
|
|
11
|
Equivalence relation
|
R1 - Chapter 4.2
|
|
12
|
Order relations
|
R1 - Chapter 4.3
|
|
13
|
Functions and their basic notions
|
R1 - Chapter 5
|
|
14
|
Equivalent sets
|
R1 - Chapter 6
|