Course Home Page
[ BlackBoard]
[Calendar]
[Homework]
[From Class]
[Turing Machines]
[Test Info]
Course Description
- Instructor
-
Randall Pruim
office: North Hall 284
phone: (616) 957-7113
E-mail:
rpruim@calvin.edu
- 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.
- 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:
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
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.
-
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:
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
Last Modified:
Monday, 14-May-2001 13:54:41 EDT