\documentclass[11pt, twoside]{article}
\input{macros-course}

\showsolutionstrue

%\usepackage{hyperref}

\begin{document}
\prsol{1}{September 8, 2001}

\textbf{Background Reading:} Review the following sections of the texts:
Velleman, \textit{How to Prove It}, \S1.1--5, \S4.1, \S5.1--2; Rosen,
\textit{Discrete Mathematics and Its Applications}, \S 1.1--2, \S1.4--6.
This reading covers mathematical notation and concepts that we hope you
find familiar.

\remove{
topics:
truth tables, sets and set operations, functions: domain, range,
injection, surjection, bijection, composition.
}

\textbf{Reading:} Lecture Notes 1 \& 2.  Velleman, \S 2.1--2,
\S 3.1--3.  Rosen, \S 1.3, \S 3.1.

\remove{
topics: proof by contradiction and cases, quantifiers.
}

\iffalse
The following exercises are {\bf optional;} do them if you think you
need the practice.  The mini-quiz in tutorial on Friday will draw
(only) from these problems.

\begin{enumerate}

\item Exercises from Velleman: 1.1.3 (that is, exercise 3 in section
  1.1), 1.2.7 

\item Exercises from Rosen (answers in the back of the book): Section
  1.1, numbers 1, 3, 5, 7, 15, 17, 19; Section 1.2, numbers 5,
  7, 11, 13.  

\end{enumerate}
\fi

\input{prprob1-probs.tex}

\end{document}
