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.)
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 instructors name and email address. Be sure to use your TAs 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 quarters addresses:
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
or send an email directly to LPLbugs@csli.stanford.edu.
or send an email directly to LPLbugs@csli.stanford.edu.
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: 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.
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 persons work. In particular, you may not share files. That is, do not copy another students solution file and do not allow another student to copy a file of yours.
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: 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 dont copy
files from others, and dont allow your files to be copied.
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 dont copy files from others, and dont allow your files to be copied.
|BACK TO TOP
Contact the professor at: