We'll move on to trees in predicate logic.

Here is the homework for Tuesday and Thursday. Turn in the blue ones for Tuesday and the orange ones for Thursday.

We'll move on to trees in predicate logic.

Here is the homework for Tuesday and Thursday. Turn in the blue ones for Tuesday and the orange ones for Thursday.

I'll be posting next week's homework tomorrow.

Homework for Tuesday and Thursday of next week are below.

Tuesday homework

Turn in solutions to the first column.

Thursday homework

Turn in solutions to

The relevant material is explained in weeks 3-5 of the schedule.

Additionally, study the material from the first two lectures on predicate logic relating to names, variables and quantifiers.

I will be out of town until Sunday evening, but you can still email me. I just might be slower than usual in answering.

Subscribe to:
Posts (Atom)