(March 22, 2020)


All lecture notes are examinable with exceptions/clarifications as noted below.

1) From the last chapter titledRecurrence relations; and their closed-form solutions” — Safe Sets. Notes #11only sections 6.1 and 6.2 are examinable. The rest is not examinable (that is, 6.3 and 6.4 are not examinable).

2) All else from our lecture notesfrom Russell’s Paradox, and "Safe Sets",  Notes #1 - #11—  is examinable, but recall exceptions that are already noted:

    •    On the topic of InductionSafe Sets. Notes #8you do not need to know the proofs of the equivalence between MC, CVI and SI. Just practice induction proofs, studying the examples solved in the notes and attempting the questions (Exercises) proposed for practice in the notes.
    •    The topic of Inductive definition of FUNCTIONS  — Safe Sets. Notes #9— will not be examinable.

    3)    The topic of Inductive definition of SETS is ON  — Safe Sets. Notes #10  It IS examinable. You must know the technique of Induction over an inductively defined set ("Cl(I, O)") You are already working on a related exercise in Assignment #4.

Exam Date/Time

The on-line exam will be 2 hours long as originally scheduled, April 9, 9:00am — 11:00 am.


    ✓    You will receive the PDF from the usual course web page.

    ✓    Download or view the PDF on line. Prepare answers exactly as you did to date for your assignments. Pencil and paper.

    ✓    Then scan or photograph and upload to Moodle  in the Area labelled "FINAL EXAM".   Only PDF, PNG, ZIP, and MS Word  formats are accepted.  ONE FILE ONLY can be uploaded.

    ✓    Uploading is enabled from 9:00am to 11:45 am. The official exam duration is 9:00 - 11:00 am, but you have an extra 45 minutes until 11:45 am just in case you encounter upload glitches. Uploading will NOT be possible after 11:45am.

Course Outline

Office Hours: Thursdays, 13:00-14:00  (Location: Room LAS 2051)

Mid-Term Test

March 13, 2020 (in-class), 13:30am-15:20am.



Tutorials start the week of Jan. 13, 2020

Ghorbani, Saeed (
Tutorial 4 (F 15:30/120min, BC215)

Mohamed Hasan, Fayas ( Tutorial 1 (M, 14:30/120min, ACE007)

Guo, Hong Yi (
Tutorial 5 (M, 14:30/120min, SC303)

Barai, Gouri (
Tutorial 3 (F, 15:30/120min, CB115)

Khodaparast, Seyed Saeed (
Tutorial 2 (M, 19:30/120min, PSE321)

  Misc Notes

Comments on Lecture Notes.

Moodle related practice

  • Posted March 18, 2020. Induction practice. Download/view.
  • Posted March 20, 2020. Logic practice. Download/view.
  • Posted March 22, 2020 (re-posted March 23, with clarification). Big-O practice. Download/view.
  • Posted March 23, 2020 ([BTW, this was another no show event.] Solution of "Practice #3"). Download/view.

Problem Sets


Return to courses main page.

Return to my "general" home page.

Last changed: Apr 28, 2020.