Skip to main content\(
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 1 Schedule
Subsection 1.1 March 12 – March 14
Introduction and Setup
Subsection 1.2 March 17 – March 21
Subsection 1.3 March 24 – March 28
2 Programs and Theorems
2.1 Type Definitions
2.2 Function Definitions
2.3 Theorem Statements
Subsection 1.4 March 31 – April 4
Subsection 1.5 April 7 – April 11
Subsection 1.6 April 14 – April 18
Subsection 1.7 April 21 – April 25
Subsection 1.8 April 28– May 2
Subsection 1.9 May 5 – May 9
Subsection 1.10 May 12– May 16
12 Logical Foundations of Mathematics
Subsection 1.11 May 19– May 23
12 Logical Foundations of Mathematics
12.4 Subtypes
12.5 Quotient Types