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

%\usepackage{hyperref}

\showsolutionstrue

\begin{document}
\psetsol{1}{September 12, 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.

\iffalse
topics:
truth tables, sets and set operations, functions: domain, range,
injection, surjection, bijection, composition.
\fi

\textbf{Reading:} Lecture Notes 1 \& 2.  Velleman, \S 2.1--2,
\S 3.1.  Rosen, \S 1.3, \S 3.1.
\iffalse
topics: proof by contradiction and cases, quantifiers.
\fi

\input{pset1-probs.tex}

\end{document}
