Math 3345H: Honors Foundations of Higher Mathematics.
(Instructor: Sergei Chmutov)

Spring 2025. Tentative Daily Schedule

1/06 (Mon)
Introduction. Sentences and their truth value. De Morgan's laws (2.1--2.3).
1/08 (Wed)
The distributive laws for conjunctions and disjunctions (2.4--2.5).
1/10 (Fri)
Conditional and biconditional sentences (2.6--2.20).
1/13 (Mon)
Tautologies. Conditional proofs. Contradictions (2.21--2.34).
1/15 (Wed)
Quantifiers (3.1--3.4).
1/17 (Fri)
Generalized De Morgan’s and Distributive Laws
(3.5--3.20).
1/20 (Mon)
NO CLASSES. Martin Luther King Day.
1/22 (Wed)
Even, odd, rational, and irrational numbers
(4.1--4.29).
1/24 (Fri)
Divisibility. Prime Numbers (4.30--4.57).
1/27(Mon)
Congruences of Integers (4.58--4.68).
1/29 (Wed)
Review for midterm 1.
1/31 (Fri)
Midterm #1.
2/03 (Mon)
Proofs: direct, conditional, biconditional, by contraposition, by contradiction, by example...
2/05 (Wed)
Proofs by induction
(5.1--5.12).
2/07 (Fri)
Pascal’s Triangle and binomial coefficients
(5.13--5.21).
2/10 (Mon)
Insight versus Induction (6.1--6.14).
2/12 (Wed)
Complete Mathematical Induction (7.1--7.15).
2/14 (Fri)
More divisibility
(7.16--7.26).
2/17 (Mon)
Axioms of real numbers.
2/19 (Wed)
Order properties of R
(8.1--8.30).
2/21 (Fri)
Absolute value (9.1--9.10).
2/24 (Mon)
Finite sets (10.1--10.15).
2/26 (Wed)
Set operations
(10.16--10.23).
2/28 (Fri)
Complementary set. Venn diagrams (10.24--10.39).
3/03 (Mon)
The power set of a set (10.40--10.51).
3/05 (Wed)
Review for midterm 2.
3/07 (Fri)
Midterm #2.

3/10 (Mo) --- 3/14 (Fri)
NO CLASSES. Spring Break.

3/17 (Mon)
Functions (11.1--11.19).
3/19 (Wed)
Composition of Functions (11.34--11.44).
3/21 (Fri)
Surjections, injections, and inverse functions
(11.45--11.74).
3/24 (Mon)
Cardinalities (13.1--13.30).
3/26 (Wed)
Combinations (14.1--14.13).
3/28 (Fri)
Infinite sets (15.1--15.10).
3/31 (Mon)
Countable sets
(15.11--15.15).
4/02 (Wed)
R is uncountable
(15.16--15.20).
4/04 (Fri)
Higher orders of infinity (15.21--15.32).
4/07 (Mon)
Axioms for Set Theory.
4/09 (Wed)
More About Infinite Sets (16.1--16.21).
4/11 (Fri)
The cardinality of the continuum (16.26--16.28)
4/14 (Mon)
The continuum hypothesis.
4/16 (Wed)
Cantor's set.
4/18 (Fri)
Ordinal numbers.
4/21 (Mon)
Review for the final.
4/24 (Th)
FINAL, 10:00 - 11:45 AM