Wednesday, September 20, 2017

The complete solution to the predicate logic translation problems are now published on the schedule page.

See below for Thursday's homework. Do them all and we will review them in class.

Friday, September 15, 2017

Here is a partial solution to the homework we worked on yesterday.

Homework for Tuesday is to do the remaining problems. On Tuesday we will clarify the formation rules of predicate logic and, given time, move on to evaluating formulas in a model. All of this material is covered by me here.  You should engage the material in all three rows labeled "Watch". The "Lecture" and "YouTube" links are the same videos stored in different places. The "Slides" are the slides I use in the videos, which may be sufficient for some of you.

This will be the homework for Thursday.

Wednesday, September 13, 2017

Thursday's homework is in the post below. It covers materials listed in Weeks 3-4 of the schedule.

I have posted a video review of the last 4 problems of homework 3 on the schedule page and here. Those of you struggling with proofs in propositional logic should spends some quality time with it. While making it I noticed a few errors in the posted solutions to that homework and those have been corrected.

Friday, September 8, 2017

Here is Tuesday's homework. Thursday's homework will be available by Sunday and I will have solutions to all of last week's homework up on the schedule page by Monday.

Saturday, September 2, 2017

See Tuesday homework post below. If you want to subscribe to this blog by e-mail there is a place to do so in the upper-right hand corner.