Dates | Subject | Assignment |
08/28 | No lab on first day of classes for CSCI 239 | |
08/29 08/31 |
Course introduction; formal logic Propositional logic |
How to Use zyBooks Irani, §§1.1–1.4 |
09/04 | Lab 01: Introduction to Haskell | Pre-lab, Write-up |
09/05 09/07 |
Predicate logic Logical reasoning |
Irani, §§1.5–1.9 Irani, §§1.10–1.12 |
09/11 | Lab 02: Verifying the truth of propositions | Pre-lab, Write-up |
09/12 09/14 |
Introduction to proofs Types of proofs |
Irani, §§2.1–2.3 Irani, §§2.4–2.5 |
09/18 | Lab 03: Haskell Lists | Write-up |
09/19 09/21 |
Sets and their operations Reasoning about sets |
Irani, §§3.1–3.4 Irani, §§3.5–3.7 |
09/25 | Lab 04: Functions in Haskell 1 | Write-up |
09/26 09/28 |
Exam 1 Functions and their properties |
Irani, Chapters 1–3 Irani, §§4.1–4.3 |
10/02 | Lab 05: Data Structures in Haskell | Write-up |
10/03 10/05 |
Reasoning about functions Relations and digraphs |
Irani, §§4.4–4.6 Irani, §§6.1–6.5 |
10/09 | Catch-up lab | |
10/10 10/12 |
Operations on relations Exam 2 |
Irani, §§6.6–6.9 Irani, Chapters 4, 6 |
10/16 10/17 10/19 |
Free day—no lab Free day—no class Growth of functions and analysis of algorithms |
Irani, §§7.1–7.3 |
10/23 | Lab 06: Vectors and Matrices | Write-up |
10/24 10/26 |
Recurrence relations Mathematical induction |
Irani, §§8.1–8.3 Irani, §§8.4–8.5 |
10/30 | Lab 07: Inductive proofs | Write-up |
10/31 11/02 |
Strong induction Recursive definitions and structural induction |
Irani, §8.6 Irani, §§8.7–8.8 |
11/06 | Lab 08: Functions in Haskell 2 | Write-up |
11/07 11/09 |
Solving linear non-homogeneous recurrence relations Integer properties |
Irani, § 8.11.1 only Irani, §§9.1–9.5 |
11/13 | Lab 09: Recurrence Relations | Write-up |
11/14 11/16 |
Exam 3 Introduction to counting |
Irani, Chapter 8 Irani, §§10.1–10.6 |
11/20 | Catch-up lab | Irani, §4.3 |
11/21 11/23 |
Premutations and counting Thanksgiving Recess, no class |
Irani, §§10.7–10.12 |
11/27 | Lab 10: Pattern Matching | Write-up |
11/28 11/30 |
Introduction to discrete probability Bayes' Theorem and expectations |
Irani, §§12.1–12.3 Irani, §§12.4–12.6 |
12/04 | Lab 11: Counting and Probabilities | Write-up |
12/05 12/07 |
Graphs Trees |
Irani, §§13.1–13.6 Irani, §§14.1–14.6 |
12/11 | Catch-up lab | |
12/12 | Course review | |
12/19 | Final Exam, Tuesday, 10:30-12:30 | Comprehensive |