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!
- Are we reasoning logically?
- 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
- LOGIC4FUN
- An Illustrated Book of Bad Arguments
- Raymond Smullyan's puzzles
Tentative Assignment and Test Schedule
| Posted/Given | Due | Weight | |
|---|---|---|---|
| Assignment 1 with solutions | Mon Jan. 21 | Tu. Jan. 29, midnight | 5% |
| Assignment 2 with solutions | Mon. Feb. 4 | Tu. Feb. 12, midnight | 5% |
| Assignment 3 with solutions | Mon. Feb. 25 | Tu. Mar. 5, midnight | 5% |
| Midterm Exam with solutions | Mon. Mar. 11 | 25% | |
| Assignment 4 with solutions | Mon. Mar. 18 | Tu. Mar. 26, midnight | 5% |
| Assignment 5 with solutions | Mon. Apr. 1 | Tu. Apr. 9, midnight | 5% |
| Final Exam | TBA | 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
Name Office/Tutorial Hours Room KAZEMI, Mahsa Thursday 14:30 MC 4A MOHAJERANI, Davood Tuesday 15:30 MC 4A BOHN, Tanner Friday 14:30 MC 4A Gurjit Randhawa Thursday 10:30 MC 4A ASADI, Mohammadali Monday 14:30 MC 4A TALAASHRAFI, Delaram Wednesday 15:30 MC 4A
Feedback
A course forum and feedback polls will be available at OWL.