• NEW! Old problem Sets/Tests that were unclaimed are ready for pick up outside my office.

• For the 2nd FINAL EXAM, on February 13, 2001, 7:00pm-10:00pm, in  the TM UPPER GYM, seating will be by section. Seating Plan. My exam papers (Section D) have covers that are a very light shade of GREEN.

• NEW! Announcement. Problem sets #4 and #5 ("regular" and "alternative") are ready for pick up in the Wednesday and Thursday Tutorials (Feb. 7 and 8).

• Reminder. The "alternate" asignments' deposit box (1090D) will be cleared of its contents at 12:30pm, Friday the 19th,  (this info should allow you to plan your "delivery" so that you do not miss the deadline due to any misunderstanding). This will be the only pick up.
• There will be no classes in the Winter Term for M1090D.

Classes for 1090D were formally completed in December 2000, and a Final Exam was written in the originally scheduled date/time. Students who havewritten the final examin December have no more requirements to attend to towards this course since the due dates of all other course requirements preceded the Final Exam. These students will be notified of the results of their work (grades), in the normal manner, in the nearest future.
 
• NEW! There will continue to be tutorials for the course, in the same place and same days/times as in the fall (See below, under "Tutorials"). Tutorials start the week of January 15 and continue until the beginning of the "second Fall Examination Period".

 
• As posted by Senate Executive in the Fall term (follow link HERE), students will have the opportunity to complete their term and write an alternative exam at a date to be announced (please follow link HERE)

• I plan to meet the class once in the new year to discuss with students who are coming back to complete course requirements any questions they may have regarding completion procedures. This will be at our regular Fall  place and time slot at a date that I will announce on this page. (In the meanwhile, do not hesitate to e-mail me).

• NEW! I will meet the class on Monday, Jan.15/2001, at 11:30am, in our Fall term classroom. Done.

• There are three homework assignments that are pending, for students who opted not to cross picket lines, further down on this page (under the heading "Problem Sets"). The due date will be announced on this page, please check regularly. Please be ready to hand in on short notice. The homework is meant to be a learning tool, and these problem sets were posted long ago.
• NEW! The ALTERNATIVE problem sets No. 3, 4 and 5 are all due on JANUARY 18th, any time on that date, in the course drop Box (for MATH1090D).   This BOX is labelled by both my name and course (MATH1090D) and is located on the first floor of the CCB (Chemistry and Computer Science) Building, on the corridor that leads to the Ariel Labs (this corridor is between the two "main" departmental offices, Rm125 and 126).

• REMINDER: The syllabus has been announced long ago in the course outline (see below) and has been followed as announced. In particular, Chapters 2, 3, 4, 8 and 9 have been covered, as well as  aspects of chapter 6 (Hilbert-style proofs). The section "Miscellaneous Course Notes" below has detailed readings/notes for all the topics that we have covered either in addition to, or differently than the text. Please note that we have NOT covered Semantics in the manner presented in my Technical Report, nor did we cover the report's section on Soundness, Completeness and Monotonicity.

The extent to which  we have covered Semantics of Predicate Calculus is included in my separate notes "On semantics and counterexample construction in Predicate Calculus" below.
 
• To what extend we have covered Monotonicity is found in the "Facts sheet" (three pages) immediately below:

 
• Don't forget: The following "FACTS" from Logic will be printed, exactly as reproduced here, in your final examination question paper. Download: (PS, PDF)

• It is highly recommended that you download and study, not only the course notes, but also the solutions to problems sets.

  Tutorials assigned to my section (D) are

• Wednesdays, SC 302 (Stong) 2:30-3:20 pm (Francisco Kibedi)--Starts Sep. 27, 2000.
• Thursdays, PS 321 (Petrie) 12:30-1:20pm (Peter Ryan, "petertheta2000@yahoo.com")--Starts Sep. 21, 2000.

 

 
 
 
 
 
 
 
 
 
 

The above tutorials are also open to students of the other MATH1090 sections.
Reciprocally, my students have access to the tutorials of the other sections (kind of "Free Trade" :-), namely

THE WEEK of SEP. 17 ONLY

• Tuesday, 11:30-12:20, N501 Ross (J. Abramson)
• Friday, 11:30-12:20, S127 Ross (E. Prisman)

 

 
 
 
 
 
 
 
 
 
 

ALL WEEKS IN FALL TERM, STARTING 25 SEPT

(All the following meet in S127 Ross.)
 

• Tuesdays, 11:30-12:20 (J. Abramson)
• Thursdays, 11:30-12:20 (T. Grains)
• Fridays, 11:30-12:20 (E. Prisman)

• On semantics and counterexample construction in Predicate Calculus. (Posted Nov. 28, 2000. Download: PDF, or POSTSCRIPT)

 
• This is a supplement to Chapter I of our notes. It gives an alternative (that some may consider more user-friendly) proof of the "Deduction Theorem". (Download: DVI, or PDF, or POSTSCRIPT)

 
• Tutorial for Chapter 3 (Download: DVI, or PDF, or POSTSCRIPT)

 
•  Chapter 0 ("On Boolean expressions and Theorems") is hot off the press. Get your copy! (DVI (56k), Postscript (314k) with improved fonts!, PDF (227k)).

 
• The paper "Post's Theorem and Other Tools" is a very useful reference for our work in Chapters 3, and especially Chapter 4. (Postscript version and PDF version)
• Amended! (Thm 1.2) The paper "The last word on Leibniz?" is a must-have for Chapters 8 and 9. (Postscript version and PDF version)

 
• The paper "A Basic Formal Equational Predicate Logic" is a very useful reference for the predicate calculus part of the course.

• Problem Set No. 1. Assigned: Sep. 20, 2000; DUE: Sep. 27, 2000, at the beginning of class (Download: DVI (3k), or PDF (50k), or Postscript (84k)).
• Problem Set No. 2. Posted: Sep. 29, 2000; DUE: Oct. 18, 2000, at the beginning of class (Download: DVI (2.5k), or PDF (68k), or Postscript (98.4k)).
• Problem Set No. 3. Posted: Oct. 14, 2000; DUE: Nov. 1, 2000, at the beginning of class (Download: DVI (1.6k), or PDF (45.7k), or Postscript (66.4k)).
• Problem Set No. 4. Posted: Nov. 1, 2000; DUE: Nov. 20, 2000, a the beginning of class (Download: DVI (2.2k), or PDF (50k), or Postscript (71k)).
• Problem Set No. 5 (THE LAST ONE!). Posted: Nov. 16, 2000; DUE: Dec. 4, 2000, at the beginning of class (Download: DVI (2k), or PDF (47k), or Postscript (69k)).

 

 
 
 
 
 
 
 
 
 
 
 

• Students who opted not to cross the picket lines, and only those, will do the following threealternative problem sets numbers 3, 4 and 5 with the following extended deadline: TBA by Web announcement. NOW DUE on JAN. 18. (See top of page!)
• Alternative Problem Set No. 3. Posted: Nov. 1, 2000; DUE: See above (Download: DVI (2.4k), or PDF (51.5k), or Postscript (78k)).
• Alternative Problem Set No. 4. Posted: Nov. 20, 2000; DUE: See above (Download: DVI (2.6k), or PDF (52k), or Postscript (75k)).
• Alternative Problem Set No. 5. Posted: Dec. 5, 2000; DUE: See above (Download: DVI (3.6k), or PDF (59k), or Postscript (85k)).

• Problem Set No. 1---Solution sample. Posted: Oct. 6, 2000; (Download: DVI (7k), or PDF (64k), or Postscript (92k)).
• Term Test No. 1---Solutions. Posted: Oct. 18, 2000; (Download: DVI (10k), or PDF (91k), or Postscript (134k)).
• Problem Set No. 2---Solution sample. Posted: Oct. 19, 2000; (Download: DVI (7k), or PDF (77k), or Postscript (106k)).
• Problem Set No. 3---Solution sample. Posted: Nov. 3, 2000; (Download: DVI (9k), or PDF (81k), or Postscript (138k)).

 

 
 
 
 
 
 
 
 
 
 

NOTE. Because of the limitations of my DVI (or PS) to PDF converter, and the presence of drawing(s) in the solutions of No. 3, the PDF file might not print very well (unless you have loads of fonts in your setup).

 However, the DVI and POSTSCRIPT versions will print perfectly.
 

• Problem Set No. 4---Solution sample. Posted: Nov. 22, 2000; (Download: DVI (10k), or PDF (81k), or Postscript (115k)).

 
• Problem Set No. 5---Solutions. Posted: Dec. 4, 2000; (Download: DVI (13k), or PDF (91k), or Postscript (133k)).

Return to courses main page.

Return to my "general" home page.