\relax 
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{}{Introduction}}{5}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{Where do we start?}}{5}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{What does it mean to write a ``complete'' proof?}}{5}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{1}{Examples of proofs}}{7}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{7}\protected@file@percent }
\newlabel{eq:dots}{{1}{7}}
\newlabel{sum}{{2}{7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{Proof by induction}}{8}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Induction}}{9}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.2}{Proof by translation to a geometric problem}}{9}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces A figure that illustrates the argument of the geometric proof of statement (S). Remember: a figure is not a proof, but a figure helps understanding a proof by clarifying and establishing a geometric pattern which we are using in the proof of our argument.}}{10}\protected@file@percent }
\newlabel{fig:sum}{{1.1}{10}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{10}\protected@file@percent }
\newlabel{thm:tr}{{1.1}{10}}
\newlabel{thm:hs}{{1.2}{10}}
\newlabel{thm:g}{{1.3}{10}}
\newlabel{p1}{{1.1}{11}}
\newlabel{eqfor}{{3}{12}}
\newlabel{pts}{{1.5}{12}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{12}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{2}{ Sets}}{15}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{15}\protected@file@percent }
\newlabel{thm:cc}{{2.1}{16}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{17}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{18}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{3}{ Definitions, Quantifiers, Implications}}{21}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{21}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{22}\protected@file@percent }
\newlabel{cl}{{3.5}{23}}
\newlabel{co}{{3.6}{23}}
\newlabel{closure}{{3.7}{23}}
\newlabel{core}{{3.8}{23}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{24}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{4}{Bijections and Infinities}}{27}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{27}\protected@file@percent }
\newlabel{take1}{{4.1}{27}}
\newlabel{take2}{{4.2}{27}}
\newlabel{tm1}{{4.1}{27}}
\newlabel{union}{{4.2}{28}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{28}\protected@file@percent }
\newlabel{hilb}{{4.4}{28}}
\newlabel{subs}{{4.5}{29}}
\newlabel{sub}{{4.6}{29}}
\newlabel{cart}{{4.7}{29}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{29}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{5}{Combinatorics and Newton's theorem}}{31}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{31}\protected@file@percent }
\newlabel{nck}{{5.2}{31}}
\newlabel{nbt}{{5.1}{31}}
\newlabel{nfact}{{5.2}{32}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{32}\protected@file@percent }
\newlabel{nk}{{5.2}{32}}
\newlabel{main}{{5.5}{32}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{34}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{6}{Functions: part I}}{35}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{35}\protected@file@percent }
\newlabel{ef}{{6.1}{35}}
\newlabel{graph}{{6.2}{35}}
\newlabel{ef2}{{6.3}{36}}
\newlabel{dinv}{{6.5}{36}}
\newlabel{inv}{{6.4}{36}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{36}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{37}\protected@file@percent }
\newlabel{bif}{{6.6}{38}}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{7}{Functions: part 2}}{39}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{39}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{40}\protected@file@percent }
\newlabel{count1}{{7.7}{41}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{41}\protected@file@percent }
\newlabel{count2}{{7.3}{41}}
\newlabel{twon}{{4}{41}}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{8}{Equivalence relations and quotient sets}}{43}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{erqs}{{8}{43}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{43}\protected@file@percent }
\newlabel{partit}{{8.1}{43}}
\newlabel{eqrel}{{8.2}{43}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{44}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{45}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Unit}{9}{Quotients and Operations}}{47}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Key Ideas}}{47}\protected@file@percent }
\newlabel{brack}{{5}{47}}
\newlabel{tdiv}{{9.1}{48}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Groupwork}}{48}\protected@file@percent }
\newlabel{zmod2}{{9.1}{48}}
\newlabel{zmod9}{{9.3}{49}}
\newlabel{div}{{9.5}{50}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Homework}}{50}\protected@file@percent }
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{44.45898pt}
\newlabel{tocindent1}{19.35791pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}