Syllabus (pdf)

Class Notes

Handouts and Assignments

Readings

Links

Test #4

Test 4 will cover translations and derivations in monadic predicate logic. Here is a practice exam, a bit longer than the actual test.

Part I:

§3.1c: 11-16, 31-35, 50, 53

Part II:

§3.3a: 29, 37
§3.5: 4, 16, 23