Math 402/502, Logic and Set Theory, Spring 2017, Class Announcements Page


Welcome to the class. You should expect to find homework assignments and other important class announcements and links to class resources on this page. You should be in the habit of checking this page regularly; I will not necessarily say much about homework assignments in class -- this is the official place to find out about them!

I will generally add new material near the top (a few items will stay at the top).

Office Hours and other schedule information

My office hours are stated on my office door card (which is also attached to my office door), which also includes the times of my classes and seminars. I am thinking of typically coming in late on Mondays and leaving early Wednesdays and Fridays: at times when I am working at home, e-mail will reach me.

The Text

This is your textbook. It may mutate as we go through the semester!

The Marcel theorem prover

Here is the link where source and documentation for the Marcel theorem prover are found. We will be using the Python version.

Here is the lab manual.

Test II

Test II will occur on Thursday, March 30th (the Thursday after the break; sorry about writing April 6th earlier!). Test III (which will not be cumulative but will contain makeup opportunities) will occur during the final examination period. Test II will cover all material covered before Spring Break. I will provide review material making it clear what sorts of things I intend to ask about either late this week or during the break.

Here is a review sheet for the test, to give you an idea what content in the text to study. I may expand on it in the next couple of days, or may not, depending on time...

Week 10

Week 8

  • Thursday March 2: currently in the middle of section 3.9. Homework due March 9: in section 3.9.1, problems 1-3. Notice that in problem 3 you need only do two parts, but you are encouraged to do more and will benefit. I will do a demonstration re problem 1 if you remind me.

    Week 7

    Test I...

    will be on Thursday February 16th. More news as it develops.

    Week Five

    Week Four

    Week Three

    Week Two

    Week One