CS2214B: Discrete Structures for Computing, Winter 2019

Welcome to CS2214B, 2019!

    • Are we reasoning logically?
      "If a course is required for my program, I must take it. CS2214 is a required course. Therefore, I am taking CS2214 this term."
      "If a course teaches useful knowledge, I want to take it. CS2214 teaches useful knowledge. Therefore, I want to take CS2214."

    • "CS2214 will teach very userful knowledge."
      True. Propositional and predicate logic, deductive and inductive reasoning, applications to Boolean circuit, database query, program verification, automated reasoning in artificial intelligence, ...
    • "I will have a pleasant learning experience here."
      True. Please attend classes, follow the work plan and have fun!
    • "I need to work hard in order to succeed in this course."
      True. Work hard and think smart!
  • Monday Jan 21st: Assignment 1 has been posted on the course web site
  • Monday Feb 4th: Assignment 2 has been posted on the course web site
  • Monday Feb 25th: Assignment 3 has been posted on the course web site
  • Monday Feb 25th: The solutions of Tutorials 1, 2 and 3 as well as the solutions of Assignment 1 have been posted on the course web site
  • Tuesday Feb 26th: The solutions of Assignment 2 have been posted on the course web site

Lecture slides, recommended readings and supplementary materials

Maths with Fun

  • Knights and Knaves:
    Some remote island is populated by two kinds of people: knights, who always tell the truth, and knaves, who always lie.
    Suppose you met two islanders, call them A and B, and you hear A saying "at least one of us is a knave".
    Can you tell which of A and B is a knight and which is a knave?

  • "If pigs can fly, then 2 + 2 = 4."
    True or False?

    "If pigs can fly, then 2 + 2 = 5."
    True or False?

  • Bertrand Russell and the Pope:
    "If 2 + 2 = 5, then I am the Pope."
    True or False?

  • Logic and Proof FUNdamentals


  • An Illustrated Book of Bad Arguments

  • Raymond Smullyan's puzzles

Tentative Assignment and Test Schedule

Assignment 1 with solutions Mon Jan. 21Tu. Jan. 29, midnight5%
Assignment 2 with solutions Mon. Feb. 4Tu. Feb. 12, midnight5%
Assignment 3 with solutions Mon. Feb. 25Tu. Mar. 5, midnight5%
Midterm Exam with solutions Mon. Mar. 11 25%
Assignment 4Mon. Mar. 18Tu. Mar. 26, midnight5%
Assignment 5Mon. Apr. 1Tu. Apr. 9, midnight5%
Final ExamTBA 50%

Teaching Crew and Hours

  • Instructor
    Marc Moreno Maza, Professor
    email: moreno@csd.uwo.ca

    Lecture hours: Mondays and Wednesdays, 11:30 to 13:30, in AHB-1R40

    Office: Middlesex College, Room 327
    Office hours: Tuesdays, 13:30 to 15:20

  • Teaching Assistants
    NameOffice/Tutorial HoursRoom
    KAZEMI, Mahsa Thursday 14:30MC 4A
    MOHAJERANI, Davood Tuesday 15:30MC 4A
    BOHN, Tanner Friday 14:30MC 4A
    Gurjit RandhawaThursday 10:30MC 4A
    ASADI, Mohammadali Monday 14:30MC 4A
    TALAASHRAFI, DelaramWednesday 15:30MC 4A


A course forum and feedback polls will be available at OWL.

Course Outline: [pdf]