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
Lectures:
Lecture 1: [pdf] Introduction, motivation and work plan
Lecture 2: [pdf] Propositional logic: syntax, semantics and truth table
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?