Course Home Page
office: North Hall 284
phone: (616) 957-7113
- Time & Location
Monday, Tuesday, Wednesday, Friday 10:30-11:20pm, in North Hall 261.
- Office hours
Regular office hours are currently scheduled for
If these times do not work for you,
other times can be arranged by appointment. Alternatively, you can
simply stop by my office and see if I am available.
| Mondays || 3:30-4:20|
| Tuesdays || 1:30-2:20|
| Wednesdays || 12:30-1:20|
| Fridays || 3:30-4:20|
- I will maintain an email list of all students registered in this class
and will occasionally use it to distribute information and reminders of
various things pertaining to this course. If you do not know how to access
your email, please talk to someone at the IT help desk. If you prefer to
read your email from an account other than your calvin student account,
send me email with the email address you prefer.
You can also send email to the class list or particular students
in the class via
Please check your email daily.
You are responsible for any information communicated via these means.
- Web Pages
In addition to this home page,
I will also maintain a list of web resources pertaining to this course.
You are responsible for any information appearing on the course
Items I have prepared and maintain online include
- a customizable calendar
of daily readings, lecture topics, exams, homework etc.
Wednesday, 02-May-2001 10:25:36 EDT.)
- a list of homework
assignments. Due dates will be maintained on the calendar above.
(I may also distribute these via email.)
- information about tests and exams.
- handouts and overheads used in class.
- BlackBoard CourseInfo
I am also making partial use of Calvin's
You can go to BlackBoard to check your grades, to check your email,
to send email to individuals or groups in the class,
and to read all the other information (like this page)
that I have on line. For more information on how to use CourseInfo,
see the online tutorial.
If you are having difficulty with any portion of the course, do not
hesitate to see me.
Do this as soon as possible, certainly well in advance of any
deadlines (like tests) so that we can work to fix the problem.
The required text for this course is
Language, Proof, and Logic
by Jon Barwise and John Etchemendy.
Note that this book includes software on a CD ROM and that you will
be unable to do some of the homework without that software.
We will move quickly through parts 1 and 2 of the book and
then more slowly through part 3 and some things not covered in the text.
Additional readings may also be assigned from time to time.
Grading will be based on the following approximate weighting:
You will not be able to master the material in this course without
practice. I will usually collect assignments once or twice each week.
(Assignments may be more frequent early in the semester.)
(The calendar and problem
sets will be maintained online. Some portions of
these assignments will be collected and others will not.
Please follow the homework guidelines.
You may find it pleasant and useful to work together on many portions
of this course. I encourage you to do so. BUT you are responsible for
your learning, and you must abide by some
guidelines for working in groups.
Preparing for class
You should bring with you each day:
Of course, you should have read (and thought about) any assigned readings
prior to coming to class. You may want to have your notes handy, especially
if you have questions regarding the readings or homework.
- any homework due that day or that you have questions about,
- your textbook,
- any additional readings that have been handed out (put them in a folder
so that you can locate them easily),
- and any other materials I announce ahead of time.
Occasionally there are special circumstances that require that the rules
and guidelines above be adjusted for a particular student.
In such cases, it is the responsibility of the student to inform me
of the situation as soon as possible, so that the appropriate
arrangements can be made. This includes, but is not limited to,
students with documented disabilities.
This page maintained by:
Monday, 14-May-2001 13:54:41 EDT
Department of Mathematics and Statistics