Extra Handouts

• Circuit Reduction Example
• Predicate Calculus Examples - (Help on HW 3 & 4)
• Axiom List (PDF) - needed for HW 1/2
• Special Tests (PDF) (Word) - extra problems
• Math Skills Review (PDF) (Word)
• Packet 3 Examples 3.2 & 3.3 extra explanation (PDF)

Practice Homeworks

For each homework, you are recommended to work the following Practice Homeworks FIRST, and then to log in to WebAssign and complete the homework there. You DO NOT turn in the Practice Homeworks, except homework 10.

• Practice HW 1-2 (PDF) - WebAssign 1
• Practice HW 3 (PDF) - WebAssign 3
• Practice HW 4 (PDF) - WebAssign 4
• Practice HW 5 (PDF) - WebAssign 5
• Practice HW 6 (PDF) - WebAssign 6
• Practice HW 7 (PDF) - WebAssign 7
• Practice HW 8 (PDF) - WebAssign 8
• Practice HW 9 (PDF) - WebAssign 9
• Practice HW 10 (PDF) - This homework 10 due, not WebAssign

Test Reviews

Please check the Outline for more Test Review hints.

• Test 1 Review (PDF) (Word)
• Test 2 Review (PDF) (Word)
• Test 3 Review (PDF) (Word)
• Test 4 Review (PDF) (Word)

Computer Tutorials:

You will complete three computer tutorials on the NovaNET educational system. To complete each tutorial, you may install a client program called Portal on your home computer, if you have an Internet Service Provider, or you may make an appointment to take each tutorial on campus.

Your first assignment, if you wish to take the tutorials at home, is to download and configure Portal.

Instructions for each tutorial:

• Proofs
• Binary Relations
• Counting