Math 381 / CS 360
Advanced Logic with Theory of Computation
Fall 2002

Course Home Page

Course Description

Instructor

Randall Pruim
office: North Hall 284
phone: (616) 957-7113
E-mail: rpruim@calvin.edu

Time & Location

Monday, Tuesday, Wednesday, Friday 2:30-3:20pm, in North Hall 261.

Office hours

Regular office hours are currently scheduled for

Mondays	1:30-2:20
Tuesdays	10:30-11:20
Thursdays	10:30-11:20
Fridays	3:30-4:20

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. (You might like to consult my current schedule before proposing a time.)

Internet Resources

Email

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 BlackBoard.

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 web pages. Items I have prepared and maintain online include

• a customizable calendar of daily readings, lecture topics, exams, homework etc. (Last modification: Thursday, 12-Dec-2002 13:56:38 EST.)
• 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.

Other Important Information

See me

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.

Textbook

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

Grading will be based on the following approximate weighting:

20%	Homework
55%	Tests (10/3, 10/31, ??)
25%	Final Exam (Monday, 12/16, 9am)

Homework. 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.

Joint Work

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:

• 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.

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.

Special Circumstances

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:
Randall Pruim
Department of Mathematics and Statistics
Calvin College
rpruim@calvin.edu