We will adjust this schedule as required.
Each assignment/assessment will be due at noon, Waterloo local time, on the specified day.
There will be two quizes posted per week, making a total of 24 for the term.
After the quiz due date and time below, the quizzes will remain open for selfstudy purposes, but quizzes submitted after the due date and time will no longer increase your grade.
Date  Due  Available 
20200916  N/A  A01 
20200923  A01  A02 
20200930  A02  A03 
20201007  A03  A04 
20201019  A04  N/A 
20201022  N/A  MidTerm Assessment 
20201023  MidTerm Assessment  N/A 
20201028  N/A  A05 
20201104  A05  A06 
20201111  A06  A07 
20201118  A07  A08 
20201125  A08  A09 
20201202  A09  N/A 
20201207, 11:59 PM  All Quizzes  N/A 
TBA  N/A  Final Assessment 
TBA + 1 day  Final Assessment  N/A 
We will adjust this schedule as required.
Each tutorial will provide a forum for you to practice with the ideas and techniques presented in the preceding lectures. The following assignment allows further practice and feedback. Each assignment will focus on the recent topics, but includes everything that came before, as well—everything is cumulative.
The Midterm Assessment will cover material until the Reading Week; roughly, the basics of Propositional Logic. We will announce a precise cutoff later.
There will be a Final Assessment due during the Final Exam period, which will cover the entire course.
Week  Lectures  Tutorials  Assignments and Assessments  References  

Part 1  Part 2  Fridays  
1: Sep 8–11  What is logic? Logic propositions and connectives.  Truth tables; Translations between English and propositional logic; Propositional logic formulas; Review of induction.  Truth tables; Translations between English and propositional logic; Propositional logic formulas; Induction. 
[Lu] 1.2, 2.1, 2.2; CS245F20Logic01_Intro.pdf, CS245F20Logic02_prop_logic_syntax.pdf, (up to slide 22) 

2: Sep 14–18  Structural induction; Propositional language semantics; Satisfiability.  Proving arguments valid in propositional logic (two methods).  Structural induction. Semantics of propositional logic, argument validity. 
A01 available. 
[Lu] 1.2, 2.2, 2.3, 2.4, 2.5; CS245F20Logic02prop_logic_syntax.pdf, CS245F20Logic03prop_logic_semantics.pdf

3: Sep 21– 
Propositional calculus laws; Disjunctive and Conjunctive Normal Forms.  Adequate set of connectives; Boolean algebra; Logic gates.  Disjunctive and Conjunctive Normal Forms; Adequate sets of connective. 
A01 due Sep 23
A02 available. 
[Lu] 2.7, 2.8 CS245F20Logic04_prop_logic_laws_CNF.pdf CS245F20Logic05_adequate_connectives_circuits.pdf (up to slide 37)
