\documentclass{article}

\setlength{\parindent}{0in}
\setlength{\parskip}{3pt}

\pagestyle{empty}

\begin{document}



\begin{center}

{\large \sc Logic and Computation}

\medskip

80-310/610, Fall 2001

\end{center}

\medskip \medskip \medskip

{\bf Course information}

\medskip

{\em Time:} Mondays and Wednesdays, 10:30-11:50

{\em Room:} Porter Hall 18B

{\em Web page:} http://www.andrew.cmu.edu/course/80-310-610

\medskip \medskip

{\bf Instructor}

\medskip

{\em Name:} Prof. Jeremy Avigad

{\em Office:} Baker Hall 155F

{\em email:} avigad@cmu.edu

{\em Office hours:} Monday, 2:30-3:30 and Wednesday, 9-10 

\medskip \medskip

{\bf Grader}

\medskip

{\em Name:} Tianjiao Chu

{\em Office:} Baker Hall 143

{\em Mailbox:} Baker Hall 135

{\em email:} tchu@andrew.cmu.edu

{\em Office hour:} Tuesday, 3--4

\medskip \medskip

{\bf Text}

\medskip

Dirk van Dalen, {\em Logic and Structure}, and handouts.

\medskip

Only the van Dalen text is required. But if you are not entirely
comfortable reading and writing proofs, take a look at {\em How to
  Read and Do Proofs} by Daniel Solow. If you are not comfortable with
first-order logic, you might find {\em Tarski's World}, by Jon Barwise
and John Etchemendy, to be helpful.

\medskip \medskip

{\bf Requirements}

\medskip

{\em Homework assignments (50\%): } Due every Wednesday, in class

{\em Midterm exam (20\%): } In class, Wednesday, October 17

{\em Final exam (30\%): } During the final exam period

\medskip

Please read the relevant sections of the text {\em before} class so
that you will have a better understanding of the lecture.

\medskip\medskip

{\bf Grading and lateness policy}

\medskip

Homework is due at the beginning of class on Wednesday. It can be
turned in late to the grader's mailbox by noon on Thursday at a 15\%
penalty, and by noon on Friday at a 30\% penalty. Note that this is
much better than not turning it in at all, which counts as a score of
0.

\setlength{\parindent}{1.5em}

The total point score on the homework assignments will vary from week
to week. But each homework assignment is ultimately scaled to a score
from 0 to 5 (4--5 is an A, 3--4 is a B, etc.) and all count equally
towards the final grade. This is done to ensure fairness. 

(For example: one week, the total number of points may be 42; and I
may announce that 34 and above is an A, 26 and above is a B, 19 and
above is a C. In that case, a score of 32 translates to $3 + 6/8 =
3.75$, roughly a B+.)

The course is \emph{not} curved, in that everyone may earn an A, or
everyone may fail.

The lowest two homework scores will be dropped. Since you are
responsible for \emph{all} the material on the exams, however, I
encourage you to do all the assignments.

Grades are determined based on \emph{clarity} as well as
correctness. You may turn in an answer to a question that, arguably,
has all the components of a correct answer; but if the grader has to
struggle to understand what you are saying, or read between the lines,
or weed out false or irrelevant information, you are unlikely to
receive full credit.

You are allowed to work together on the homework assignments, and, in
fact, this is encouraged. The only restriction is that when you write
up the actual solution you turn in you must do so alone, so that the
answer reflects your own understanding. Failure to obey these
guidelines constitutes cheating.

\end{document}