For next week, the homework problems will come from yesterday's sheet.

Tuesday: Turn in problems 4 & 5.
Thursday: Turn in problems 6 & 7.

I have  posted solutions to problems 1-3 on the schedule page.

For lecture we will cover the  slides from weeks 14 and 15. There will be no homework problems assigned for these, but the final will cover them. I will be clearer next week about what sorts of questions you may be required to answer on the final.

I hope you all had a satisfying Thanksgiving and are enjoying being able to breathe again.

As you know, we missed three class periods due to the smoke from the Camp Fire. This homework, which was originally due on Tuesday November 13th, is now due Tuesday November 27th. The assignment is to do all of the problems.

In the immediately preceding post I explain that the midterm, which was to have been taken on Tuesday the 20th has been postponed to the day of the final.  The practice test below remains indicative of what that test will contain, but I will be shortening it so that it is reasonable to expect it to be completed within an hour. I will not tell you in advance how I will be shortening it.

The syllabus indicates that you receive a homework credit for taking each of the midterms.  This remains in effect. If you choose not to take the midterm, then you will not receive a homework credit on the day of the final.

Here is the homework for Thursday, which draws on the second set of lecture slides (2.4) from week 12. Turn in numbers 1 and 3.

During the final week of classes we will be studying selectively from material for the final 2 weeks of classes.

Important: In order to make up the rest of your homework points, each homework for this week will be worth 2 points.

As you probably know, classes for next week have been canceled as well. This means that we will have only four class periods left during the semester. Under these circumstances, I do not want to devote an entire class period to a midterm, so I am going to create two one-hour long tests to administer during our final exam period. The first will be the midterm and the second will be the final. This will preserve the structure of the course, which permits you to substitute your final exam grade for your lowest previous midterm grade.

Technically (just as on the original syllabus) you do not have to take the midterm. If you like, you may simply take the final and spend the entire two hours on it. If you do this, the grade you get on the final will count twice. But I will design each test so that it is reasonable to complete them in an hour.

A reasonable question is whether you may simply take the midterm and apply it to the final. The answer to this question is no.

I'll post at least one more time next week to clarify homework expectations.

Have a good Thanksgiving!

OK, so, no real changes. It seems that I am forbidden from assigning you any work over the weekend, but stay tuned Sunday night.  If campus is going to be open on Monday, then I will give you something reasonable to turn in and count for homework credit on Tuesday. Read the previous posts if you have not done so.

Classes have been cancelled for Thursday 11/15.

Under the circumstances I have decided it is inappropriate to have the midterm on Tuesday 11/20, hence I will be changing it to Tuesday 11/27 instead.

This will obviously necessitate some other changes to the course schedule, which I need to think about, but will post here by Friday. 

This sucks. I hope you are all doing ok.

Please read post below to see what's happening on Thursday.

Here is a practice test for next Tuesday.

Here are the solutions (to all but the extra credit problem.)

I will use roughly the same models for the test on Tuesday. If I make any small changes, I will announce them by Monday night.  Proofs, as before, will be drawn from previous homework. Except for the extra credit problem.

This morning I will be posting the complete solutions to Thursday's homework, including for the proofs we haven't gone over yet.  Please make serious attempts to do all of them on your own, then study the solutions and come Thursday with questions if you have any. Obviously this means that I am posting the solutions for the homework that is due today. On Thursday, please turn in what was your best attempt before looking at the solutions.

For Thursday please do and turn in all of the problems from this worksheet. You will need to review both sets of  slides and/or text from week 12.

We will remain on track for having the test on the 20th. I will put up a practice test and solutions tomorrow so you can see what it will cover (modal logic, free logic and introductory set theory).

There will be no class on Tuesday November 13th. President Nelson has closed campus due to poor air quality.

Tomorrow I will assign homework for Thursday so that you may get credit for turning in homework on both days.

Solutions to this week's homework are posted on the schedule page. In addition to the answers we provided in class, I have posted an explicit predicate logic proof of the first derivation. Even if you are happy with your understanding of what we did today, it is useful to see that it is possible to create explicit predicate logic proofs that appeal to the set-theoretic definitions in each step. It will also show you why we almost never do this.

For Tuesday, finish the proofs from this page, turning in numbers 6 and 7. Also finish reading 2.2 lecture slides and read 2.3 slides on functions as well.

Thursday's homework will come from this page, but we may do some of it on Tuesday, so I will wait until then to assign specific problems to turn in.

We will finish reviewing yesterday's homework on Thursday and then work on derivations.  For homework, turn in the last two problems on Tuesday's worksheet (which are both derivations) and attempt (but do not turn in) at least the first three of the 2nd worksheet in the previous post.

Complete solutions to this week's homeworks are posted on the schedule page.

Here is the homework for Tuesday.  Submit all except the last two problems.

The homework for Thursday will depend on what we get done on Tuesday, but it will probably involve some problems from here.

I will be updating your homework submissions this weekend and returning them to you on Tuesday.

Note that the 2nd midterm is scheduled for November 20th, which is the last class before Thanksgiving break.