Sunday, November 19, 2017

Grades for Test 2 have been posted. Grades reflect a 3.5 point curve. Number on your test should be 3.5 points lower than the number recorded in BB. Please double check after you test is returned, and check my addition on your points as well.

Friday, November 17, 2017

The test solution is posted here and at the top of the schedule page.
Here is the homework for Tuesday.  It covers Set Theory 2.3 and the first half of 2.4. Turn in the even numbered problems.

I will post the answers to the exam shortly.  I expect to have them graded by Tuesday.


Wednesday, November 15, 2017

I just noticed that I had failed to publish the solutions to the free logic semantics homework. I just did that, and the homework numbers have changed as a result. See below for other test-relevant posts.
Here is the summary of inference rules for test 2.  It will be available to you tomorrow. Note that there are two pages. Please remember that planning on using these for anything more than a quick reality check is the same as planning on doing poorly.


Tuesday, November 14, 2017

Solutions to today's homework are here and on the schedule page as Homework 20.

Monday, November 13, 2017

Test 2 is on Thursday.  Here is a sample test.  Here are the solutions. Let me know if you think you spot an error.

Be sure to study the models so you you don't have to waste time figuring out how to interpret them during the test. The ones on the test will have all of the same features, though the specifics may vary slightly.