Next: Grading Up: Mathematics 355 Symbolic Logic Previous: Subject Matter

Text

The main text for this course is Language Proof and Logic, by Jon Barwise and John Etchemendy. We'll work through most of chapters 1-13, plus parts of chapters 16 and 17, by the end of the semester. You are responsible for everything in the reading assignments, whether or not I discuss it in a lecture.

The textbook comes with a CD-ROM containing not only the full text of the book but a number of software packages which you'll need in order to do your homework. The software should run on either Macintosh or Windows; you may use whichever you prefer. One of the software packages, "Submit", requires Net access to submit your homework to an automatic grading program; an option in the program allows you to submit the homework to me for a grade, or to just check it so you can see what's incorrect and fix it before submitting it for a grade. Printed on the CD-ROM envelope is a "Book ID#", which you'll need in order to use the auto-grader, so don't lose it.



2001-08-21