Math 2090.03 N Winter 98/99: Course Information

I shall post information concerning my section of the course here. The information will appear in reverse chronological order, numbered and dated.
Please note that this section of the course is ONLY for those of you that have not passed Math 1090 in Fall 98/99. If you have and you want to take 2090 you must enrol in sections M or R.



41. (Apr 30th 4.23pm)
NEWSFLASH! The grades are up outside my door. Remember there is no point in mailing/trying to visit me as I am *no longer around* (by the time you read this). If you have concerns about your grade you must see Rick Ganong. Thanks to all of you that told me how much you enjoyed my section, I enjoyed teaching you too!

40. (Apr 27th 5.09pm)
So it is all over. The grades will be up outside my door by Monday unless there is some unforseen problem. If you have any problems after that you must contact Prof RICK GANONG, as I will have moved to another country. (No, the course wasn't that bad...)

39. (Apr 19th 12.26pm)
For news flashes on the final, check the final file, above.

38. (Apr 17th 10.33am)
The last assignment, and (hopefully) the last test will be available for collection from my office DURING OFFICE HOURS on Monday. After that they will be available from outside my office.

37. (Apr 9th 2.50pm)
The solutions to today's tests are here, Test 2A part 2, Test 2B part 2. For Q1 I decided a 1 place predicate was nicer to look at in the solutions, although your 2 place ones involving cars and wheels were also correct.

36. (Apr 8th 2.39pm)
The test tomorrow will go ahead as planned, 8-30am-9am CLH C. For more details on York's policy in the event of a strike click here.

35. (Apr 7th 1.54pm)


All tutorials are to be in S203 Ross:

Thurs 22 April 1-3pm
Fri 23 April 11am-2.30pm (half hour break at 12.30pm)
Mon 26 April 11am-2.30pm (half hour break at 12.30pm)


34. (Apr 7th 1.41pm)
About the impending TTC strike, Senate are making a descision (concerning the whole university), which will be known tomorrow, so watch this space for more details! Also note that Q 9.28 has a typing error, it should say ` \not occurs ('x', 'Q')', and Metatheorem 9.16 DOES NOT say 'For all boolean expression P, P==(forall x |:P) is a theorem'...

33. (Apr 7th 10.35am)
The solutions to assignment 4/5 are here.

32. (Mar 29th 4.23pm)
NOTE: from April 9th onwards office hours will be 10.30am-12.30pm MONDAY ONLY upto and including April 26th.

31. (Mar 26th 10.24am)
I am stating here once and for all that those people who miss tests and do not give me a reason backed up by a witness, and do not sign a contract will get 0 for the test. Notice that you have to do ALL of these things, and BY MONDAY 29th unless you have a fantastic reason, or you will get 0.

The solutions to the partial test just gone is here: Test 2A pt 1, Test 2B pt 1.

Here is a file on the test for April 9th.

30. (Mar 25th 4.10pm)
Good practice for predicate logic are those Theorems and questions in Ch 9 which we haven't done in class. However do not focus too much on english to predicate logic.

29. (Mar 22nd 11.37am)
Note that the next test will be on April 9th, office hours Monday 29th March will run until 1.30pm, due to no office hours on Wednesday 31st, and there is an exam sale on until April 5th in Ross N537.

28. (Mar 16th 2.22pm)
Here are the solutions to Assignment 3.

27. (Mar 15th 2.18pm)
FOR TEST 2 Part 1: Here are some nice nested deduction theorems to look at from Profesor Dow (using the Deduction theorem more than once in a proof). Here is also a note on bullet proofs for chapter 4.

26. (Mar 12th 2.01pm)
Joint assignment 4&5 is now up.

25. (Mar 11th 10.37am)
NOTE the test 2 file has been updated!!!Don't forget to bring photo i.d. to the test. Also for test 1 everyone's score was raised by 3.5 marks.

24. (Mar 8th 1.40pm)
The solutions for Assignment 3 will go up once it has been graded, in the meantime here are a few notes on the next test.

23. (Feb 26th 4.18pm)
Apologies for the typo in Q4 c) -should say sound instead of complete.

22. (Feb 26th 11.51am)
Test 1 and assignment 2 are available outside my office.

21. (Feb 22nd 1.00pm)
The solutions to assignment 2, test 1A, test 1B.

20. (Feb 22nd 12.45pm)
Assignment 3 is now up and running. Sorry about the lateness. Later today the solutions for assignment 2 and the tests should go up.

19. (Feb 5th 10.07 am)
IMPORTANT! For ASSIGNMENT 2 use ONLY the methods of CHAPTER 3!!

18. (Feb 3rd 4.15pm)
The first assignment has been marked, and can be collected from outside my door. For the test: BRING I.D. WITH YOUR PHOTO AND SIGNATURE ON. The solution to Assignment 1 is here.

17. (Feb 3rd 10.50 am)
Note that the THURSDAY tutorial has been moved to 12.30pm, Ross N501.

16. (Feb 1st 12.03pm)
Thanks to the student who pointed out that in the model proof there is a symbol missing in the first reason - the substitution should read

p,q:= ~p, p
(The first of those 2 substitutions is "not p").

15. (Jan 31st 10.56 am)
Actually now there is an updated Assignment 2. Do the one now at the link.

14. (Jan 28th 5.09pm)
"Something for the weekend" and the Divine Comedy once sang...Assignment 2 is out!

13. (Jan 28th 1.23pm)
Ah yes, and anyone caught cheating on the test (or an assignment) will automatically get 0 for it.

12. (Jan 28th 12.32pm)
My hearing is going. To the student who asked about a subtitution in class the reply is "No, you can only substitute into theorems". Thanks to the student who pointed out I had misheard where the substitution was taking place.

Notes on the class test can be found here.

11. (Jan 27th 1.22pm)
Thanks to the student who found an error in the proof of the Lemma we had in the proof of Theorem 3.43b). The problem lies in the VERY LAST application of Leibniz. That point should read

 Leibniz with E being (p v p)==(p v q)==r gives
 |- ((p v p)==(p v q)==p v (p v q))==((p v p)==(p v q)==(p v p) v q).
 By transitivity we get
 |- ((p v (p==q)==p v (p v q))==((p v p)==(p v q)==(p v p) v q). 

Note that

|-, ==
stands for our turnstile, equivalence symbol respectively.

10. (Jan 27th 11.15am)
Remember, the first test will be in class on Friday Feb 12th. It will cover chapter 3. You will be given all the theorems/axioms you need, and the test will be in the style of Q2 on Assignment 1.

9. (Jan 26th 3.07pm)
Here is a model proof for your assignments, and a correction to the step in the proof of theorem 3.32

8. (Jan 20th 11.23am)
Here are the places in the notes where I meant IE (thats the double bar "E" for equational logic) instead of E (for sentences). Sorry.
7. (Jan 17th 2.01pm)
Due to York being closed on January 15th, there was no class. However, unless York is closed again tomorrow, there will be a class.

6. (Jan 13th 11.03am)
For those of you that missed class, or were late, don't worry, we didn't cover very much. We just finished the proof from last time, looked at some notation, and proved one theorem. We are still doing Chapter 3, and no homework/assignment was set.

5. (Jan 11th 10.50am)
The course outline (minus these notes) is available here. Tutorials will be Tuesday and Thursday 11.30am-12.20pm Ross N501 with Michael Hrusak.

4. (Jan 8th 4.20pm)
Note the revisions to the general info (now renamed as the course outline), such as grading schemes, below.

Here are some suggested excercises if you want some practice. However at this stage it is MUCH more important that you understand all the notes so far.

3. (6th Jan 10.18 am)
Don't forget to bring the sheets with the axioms of E from the back of the book to lectures, we'll use them alot.

2. (5th Jan 2.20pm)
One other thing to note, if you have a problem with the course, please come and see ME first. If you are still not happy, go to the course co-ordinator, Richard Ganong. After this the next in line is the Undergraduate Director Mort Abramson, and only if he cannot help you are you allowed to approach the Chair, Alan Dow.

1.( 4th Jan 3.54pm)
Ok, so you wanted a web page, here it is, web page. For those of you who turned up late for the class here is some general information which you probably missed. Try not to be late for class, I am only pandering to you today because of the snow, I will not be as kind in future! If you DO miss a class make sure you get the notes from someone who was there. If you don't you'll be missing vital information the book doesn't give you. Also don't forget I expect silence in class, and cellular phones to be turned off. Failure to do so will result in you being asked to leave that lecture so you don't disrupt the other students.

If you wish to transfer into/out of this section DO NOT come to me for a letter!!! For this course ONLY go directly to the Undergraduate Office Ross N503.

Course Outline

Course: 2090.03 N.
Lectures: MWF 8.30am-9.30 am, CLH C.
Instructor: Stephanie van Willigenburg.
Email: (please don't use unless necessary, thank you).
Office hours: MW 10.30am-12 pm, Ross S621.
Tutorials: TTh 11.30am-12.20pm, Ross N501 (Michael Hrusak).

Course Text: "A logical approach to discrete math" by David Gries, and Fred B. Schneider, Springer Verlag, 3rd, 4th or 5th printing.

Syllabus: The course will cover chapters 3,4,8,9 of the course text, however, the lectures will cover a lot more than this too.

Evaluation: There will be 5 assignments, 2 class tests, and 1 final exam. Failure to complete any of these requires a medical certificate, and for me to be contacted within 48 hrs of the deadline by either you/a friend/relative. Any other reasons come and see me.

Marking Scheme:

Note, invariably term marks are higher than Exam marks so try your best on those tests.

Undergraduate grades (i.e., marks) at York are always letters (A+, A, ..., F). In this course, the letter grade will correspond to a numerical grade roughly according to the following formulas:

90-100: A+   80-89: A   75-79: B+   70-74: B    65-69: C+
60-64:  C    55-59: D+  50-54: D    below 50: E or F (both fails)
The homework assignments will be worth 15%. The remaining 85% is calculated as follows:
Let T be the average of the test grades and F the grade on the final exam. The remaining points are calculated with the formula, max{.20 T + .65 F, .20 F + .65 T}.


Suggested background reading for the course is Chapters 1 and 2 of the course text.

If you have a problem with the course, please come and see ME first. If you are still not happy, go to the course co-ordinator, Richard Ganong. After this the next in line is the Undergraduate Director Mort Abramson, and only if he cannot help you are you allowed to approach the Chair, Alan Dow.

Courses in Computer Science, in which formal logic gets used

There is a proof checker on the host called ariel that you can practice proofs on. 
Stephanie van Willigenburg