CSCI 239

Course Schedule, Fall 2017:

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