The course is over. Thanks to all who participated! From the student's feedback:

Final and Early course evaluation results

The least favorite rules of inference:

RuleVoted by # of studentsReasonRAA 7 Little explanatory value, difficult to use Or-Elim 3 Requires too many lines Or-Intro 1 Too easy, is like cheating Double-Negation 1 Too simple Existential-Elim 1 Difficult to get rid of assumptions Universal-Intro 1 Too many restrictions Induction axiom 1 none 1 All are necessary

Essay topics chosen: Completeness proof for the propositional calculus The logic of normal forms Post's multi-valued logic Logic: How people do reason, or how they should reason? George Boole and modern computing The four color theorem Proofs of theorems vs. computer verification Quine: On what there is Logic in Action: Sherlock Holmes The Beatles: Breaking musical logic?

Test 1 answer key: doc, htm Test 2 answer key: doc, htm 4/29/03: Please fill out the final course evaluation form and hand it in by Friday, May 2. 4/28/03: Change of deadline: All homeworks, redo's, etc. are due Friday, May 2. 4/23/03: Homework 13 is out (due Wednesday, April 30)

For the second problem, see the handout on Natural Deduction.

Remember, that the essay is due Friday, April 25.

All homeworks, redo's, etc. are due Wednesday April 30.4/14/03: Homework 12 is out (due Wednesday, April 23)

Remember, that the essay outline is due Friday, April 18.4/7/03: Homework 11 is out. 4/4/03: Test No. 2 3/21/03: Homework 10 is out. 3/16/03: Suggestions for essay topics and examples on how to make citations. 3/15/03: Homework 9 is out. 3/08/03: Homework 8 is out. 3/05/03: Homework 7 is due on Monday, March 10 (not on Friday as stated on the assignment).

The first test was returned today in class.2/28/03: Homework 7 is out. 2/23/03: Homework 6 is out.

See the early course evaluationresults2/19/03: Homework 5 is out. 2/17/03: Due to the snow the university is closed today, the test is rescheduled to Wed., Feb. 19. 2/10/03: Please fill out the early course evaluation form and hand it in in class on Wednesday, Feb. 12. 2/07/03: Homework 4 is out.

See Schedule for dates forreview sessionand the firsttest.

Note: Dirk will be out of town from Feb.13 to Feb.20. During this time, please direct all questions etc. to Tyler Gibson (TA).1/31/03: Homework 3 is out. 1/27/03: Correction of typos on problems 1d and 3 of homework 2. 1/24/03: Homework 2 is out, in Word and html formats. 1/17/03: Homework 1 is out.

Homeworks can be downloaded from the Schedule page.1/13/03: The course has started.

© Dirk Schlimm. Last modified 5/6/03.