Math 381 / CS 360
Advanced Logic with Theory of Computation
Spring 2001

Course Home Page

[ BlackBoard] [Calendar] [Homework] [From Class] [Turing Machines] [Test Info]

Course Description

Randall Pruim
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
Mondays 3:30-4:20
Tuesdays 1:30-2:20
Wednesdays 12:30-1: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.

Internet Resources

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

BlackBoard CourseInfo
I am also making partial use of Calvin's BlackBoard CourseInfo. instructional resources. 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.

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.

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:

20% Homework
20% Test 1 (date TBA)
20% Test 2 (date TBA)
20% Test 3 (date TBA)
20% Final Exam on Tuesday May 15 at 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: 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

Last Modified: Monday, 14-May-2001 13:54:41 EDT