From: <miller@math.wisc.edu>
Date: Wed, 6 Mar 2002 14:18:25 -0600 (CST)
To: m240-1@lists.students.wisc.edu
Subject: m240 exam Thurs

Math 240  - A. Miller

Exam 1 Thursday Mar 7  7:15-9:15 pm
 in Room  B130 Van Vleck  (entrance off the stairwell)


Q. How many questions are on the exam?

A. I won't make up the exam until latter this afternoon so I don't know
for sure.  However I am thinking of having about 15 problems.


Q. Your presentation of proofs is a little ambigiuous compared to that of the
text, could you do an example from section 3.1 similar to what you feel we
should know for the exam?  The text covers a lot of proof topics that you
never mentioned in class.

A. For the exam you will need to be able to do all the assigned exercises in
the book whether or not I covered them in lecture.  For a summary of proof
topics see page 225-6: Key terms and Results.


Q. In chapter 3 and section 1. The book has the list of rules of
inferences...Are we expected to memorize all of these and use this whenever
drawing conclusions? There aren't too many but I was curious if there were
more common or important ones than others.

A. Do you mean the classical latin names for rules of inference?  Modus
Ponens is the only one I remember by name.  All of them are commonly used in
proofs, but rarely refered to by their latin names.  You only need to be
able to do the proofs like those in the exercises, I will not ask you to
identify the rule of inference used by name.


Q. Can I use Java for pseudocode?

A. Its OK with me as long as the TA, Tim understands you and he says he will.