Contents:
Autumn 2007
Introduction to Logic
There will be 20 assignments (problem sets) during the quarter. For most of the problems, you will use software (included with your textbook) to submit your solutions via the Internet. Some problems are to be submitted on paper. Several problem sets include both paper and electronic submissions.
Electronic submissions are sent via the Internet to a computer (“The Grade Grinder”) which has been programmed to evaluate these exercises. (There are actually two Grade Grinders: one at Stanford University and one at the University of Chicago.) You will receive a response from the Grade Grinder very quickly (normally within a minute or two) evaluating your work. Each time you submit an assignment, you have the option of forwarding the evaluation to the instructor, or have it sent just to you. Hence, you may (time permitting) send a preliminary draft of your work to the Grade Grinder (clicking on Just Me), fix any mistakes, and then resubmit, this time forwarding the results to the instructor.
Due dates for assignments are coordinated with section meetings. Work on paper will be collected at the beginning of class in sections on Tuesdays and Thursdays. Electronic submissions to the Grade Grinder must be sent by 9:30 am each Tuesday and Thursday. (Time of submission is recorded electronically.)
- Late Work: An assignment submitted within 24
hours after the deadline will be accepted for half-credit; after that
it will not be accepted.
- Multiple Submissions are not permitted. You
may submit an assignment to the instructor only once.
- Partial Submissions: You may submit a partially completed assignment, and will receive credit for those problems you answer correctly. If you submit a partially completed assignment, that is your one submission. You may not make a partial submission on time and another submission later of the remaining problems.
For a complete list of assignments and due dates, see the schedule of assignments. You should print out a copy, since you will be using it on a daily basis. Here is a printer-friendly version of the assignment schedule in PDF format.
You submit homework
electronically by using the Submit program included with LPL. Be
sure to read pp. 5–10 of LPL, which provide a detailed description
of the procedure. Be sure to do the You
try it on pp. 8–10.
When you open the Submit program, you will need to enter your name, registration ID, and email address. You will also need to enter your instructor’s name and email address. Be sure to use your TA’s name and email. Do not use Professor Cohen's personal email address (smcohen@u): that is for correspondence only.
To have a grade report sent to your instructor, be sure to click on Instructor Too after you have clicked on Submit Files. (You must send a grade report to the instructor to get credit for the assignment.) For the instructor email address, use the address of your section instructor (teaching assistant). Here are this quarter’s addresses:
| Section | Instructor Name |
Email address |
| AA, AD | Andrew Fyfe | atfyfe@u.washington.edu |
| AB, AE | Gwynne Taraska | gtaraska@u.washington.edu |
| AC, AG | Mitch Kaufman | mtk5@u.washington.edu |
| AF, AH | Scott Clifton | sclifton@u.washington.edu |
You may send a grade report to your instructor only once for each assignment. You may, however, keep submitting an assignment — with reports just to yourself (click on Just Me) — as many times as you like until you get a favorable report. When you are satisfied with your work, send a grade report to the instructor. Be sure to include all the problems in the assignment in submission. Do not submit the individual problems separately.
You will find it most convenient when submitting your homework if all the exercises in a given problem set have been saved in their own folder (directory) on your computer. It is recommended, therefore, that you create a separate folder for each homework assignment (H1, H2, etc.). This may seem like too many folders, but when you run the Submit program, you will find it very convenient to select your folder, click once on Add All, then on Done, and finally on Submit Files. Otherwise, you will have to manually select from a larger folder just those files that are part of the homework assignment you are submitting.
Do not have any grade reports sent to the instructor except for the assigned problem sets. You may, of course, submit any collection of exercises that you wish to the Grade Grinder, provided that you have the grade report sent just to you.
If you have any problem submitting files to the Grade Grinder, contact the Help Desk at LPL. There are two ways to do that: you can fill out a bug report at
http://ggww2.stanford.edu/GUS/lpl/bugreport.jsp
or send an email directly to LPLbugs@csli.stanford.edu.
The LPL
web site contains a number of hints, partial solutions, and even complete
solutions to selected exercises from the book. To find the hints, go
to:
http://ggww2.stanford.edu/GUS/lpl/solutionspage.jsp.
The hints and solutions
are arranged by chapter. Just click on the chapter you are interested
in. There is also an index that lists all the problems for which hints
and solutions are offered.
Your work on these problem sets is expected to be your own, although it is permissible to discuss the exercises with other students and to share ideas. But you may not simply copy another person’s work. In particular, you may not “share files.” That is, do not copy another student’s solution file and do not allow another student to copy a file of yours.
If two
students both submit files one of which was copied from the other, the
Grade Grinder will be able to detect it. Even if both of the files are
altered and re-saved, and even if the students are in different classes
in different universities, the Grade Grinder will still recognize the
files as copies. This is because each file carries a unique “timestamp” that it does
not lose even when re-saved or copied. The Grade Grinder will identify
copies as such when it sends its grade reports to the instructor. For
more details about this, see:
http://ggww2.stanford.edu/GUS/gradegrinder/timestamps.jsp.
If you
submit a file whose timestamp has been identified as previously submitted,
you will receive no credit for the assigment. Since the Grade Grinder
also identifies the original submitter when it detects a timestamp violation,
the original submitter will also receive no credit. So don’t copy
files from others, and don’t allow your files to be copied.
Contact the professor at: