\documentclass[12pt]{article}

\usepackage{times,mathptm}
\pagestyle{myheadings}



\parindent 0in
\setlength{\parindent}{0in}
\setlength{\parskip}{1ex}

\topmargin -0.1in \headheight\baselineskip
\textheight 8.5in         % 1in top and bottom margin
\textwidth 6.5in        % 1in left and right margin
\oddsidemargin 0in
\evensidemargin 0in




%\usepackage{amsmath}
%\usepackage{amssymb}


% \setlength{\itemsep}{0pt}

\markright{\footnotesize CS 451 Programming Paradigms, Spring 2001}

\begin{document}

\section*{Homework set 20: a programming languages textbook --- due Monday 30 April}

Total number of points available on this homework is 200. Full credit
is equivalent to 100 points. (But see below.)


The goal of this homework assignment is to begin to evaluate a textbook
for possible adoption in CS451 and/or CS552. You will read the appendix
to John Reynolds' book \emph{Theories of Programming Languages}. The 
appendix summarizes the mathematical background needed to master the
material in the text. 

\begin{enumerate}

\item   (40 pts. -- required!)
Read the appendix very carefully. Take your time: there are only 17
pages, but the material is very dense.

On the pages themselves, mark in colored ink
the concepts you have not encountered
previously. For concepts you have encountered previously in your math
or computer science classes, or in your individual studies, indicate
where you saw them first.

Comment on the degree of difficulty and the degree
of interest you had in reading this material. 

\item   (20 pts. -- required!)
Our library recently acquired two copies of this textbook and they are on
reserve. Go to the library, and borrow the book there, but do not check
it out (so others can do their homework too).
Examine the main body of the text
and comment on it. 

\item   (140 pts. -- but only if you do the first two parts!)
Solve problems A.1 through A.7 from Reynolds. (20 pts. each)



\end{enumerate}


\end{document}