\documentclass{article}
\usepackage{macros-course-lectures}

%\makeslides
%\onlystudents

\usepackage{hyperref}

%\renewcommand{\bar}[1]{\overline{#1}}

\begin{document}

\lecture{notes1}{Mathematical Definitions \& Proofs}{September 5, 2001}

\renewcommand{\thepage}{\arabic{page}}

\noindent
Topics for today:
\begin{itemize}
\item
  Course overview
\item
  What is a proof?
\item
  Propositions
\item
  Logical systems
\item
  Proof examples 
\end{itemize}

\reading{Velleman Chapter 1--2, \S 3.1--3, \S 6.1--2; \\
  Rosen 1.1--4, 1.6, 3.1--3}

\input{topicLectures/intro/overview.tex}
\input{topicLectures/proofs/motivation.tex}
\input{topicLectures/proofs/basicProofs.tex}
\input{topicLectures/proofs/goodBadProofs.tex}
\input{topicLectures/proofs/propositions.tex}
\input{topicLectures/intro/datatypes.tex}
%\input{topicLectures/proofs/definitions.tex}
\input{topicLectures/proofs/sets.tex}
\input{topicLectures/proofs/functions.tex}
\input{topicLectures/proofs/proofSystems.tex}
\input{topicLectures/proofs/predicates.tex}
\input{topicLectures/proofs/predicateProofs.tex}

\end{document}
