CSCE 235H - Schedule

Spring 2021

Back to Main Page

Week 1

Monday, January 25 Cancelled for inclement weather
Monday, January 25 (Recitation) Cancelled for inclement weather
Wednesday, January 27 Administrivia
Introduction to the course
Syllabus (.pdf)
Friday, January 29 Propositional Logic
Intro to LaTeX 		Sections 1.1—1.3
Logical Equivalences Sheet
HW 01 assigned

Week 2

Monday, February 1 Propositional Logic
Monday, February 1 (Recitation)
Wednesday, February 3 Propositional Logic
Friday, February 5 Propositional Logic HW 01 due
HW 02 assigned

Week 3

Monday, February 8 Predicate Logic Sections 1.4, 1.5, and 1.6
Monday, February 8 (Recitation) SAT lecture 1: Introduction SAT HW 01 assigned
Recitation 2
Quiz 01
Wednesday, February 10 Predicate Logic, Proofs Sections 1.4, 1.5, 1.6
Friday, February 12 Proofs Section 1.6
HW 02 due
HW 03 assigned

Week 4

Monday, February 15 Cancelled
Monday, February 15 (Recitation) Cancelled
Wednesday, February 17 Proofs Sections 1.5—1.6
SAT HW 01 due
Friday, February 19 Proofs Sections 1.5, 1.6, 1.7, 1.8

Week 5

Monday, February 22 Cancelled For Conference chapter 1
HW 03 due
Monday, February 22 (Recitation) Cancelled
Wednesday, February 24 Sets Sections 2.1—2.3
HW 04 assigned
Friday, February 26 Sets Sections 2.1—2.3

Week 6

Monday, March 1 Same as above Opportunities for undergrad research (distributed in class)
HW 04 due
HW 05 assigned
Monday, March 1 (Recitation) SAT lecture 4: SATviz demo Recitation 5
Quiz 04
Wednesday, March 3 Same as above
Discussion of quiz
Friday, March 5 Finish sets
Make-up lecture after class 		Sections 2.1--2.2

Week 7

Monday, March 8 Functions Sections 2.3
HW 05 due
HW 06 assigned
Monday, March 8 (Recitation) SAT lecture 5: MiniSAT Propagation and Ordering SAT HW 03 due
SAT HW 04 assigned
Recitation 6
Quiz 05
Wednesday, March 10 Same as above
 Correction+discussion of quiz
Friday, March 12 Functions
 Sections 9.1, 9.3—9.5
HW 06 due
HW 07 assigned

Week 8

Monday, March 15 Finish Functions; Start Relations
 Sections 9.1, 9.3—9.5
Monday, March 15 (Recitation) SAT lecture 6: MiniSAT Learning and Backtracking SAT HW 04 due
SAT HW 05 assigned
Refresher distributed in class
Prepare for an Exam (PPT)
Wednesday, March 17 Relations Sections 9.1, 9.3—9.5
Friday, March 19 HW 07 due
HW 08 assigned

Week 9

Monday, March 22
Monday, March 22 (Recitation) SAT lecture 7: MiniSAT Watched Literals and Restarts SAT HW 05 due
SAT HW 06 assigned
Quiz 06
Wednesday, March 24 Same as above
Discussion of quiz
Friday, March 26 Relations (cont.)
Midterm		 HW 08 due
HW 09 assigned

Week 10

Monday, March 29 Relations Section 9.1, 9.3--9.5
Slides (PPTX)
Monday, March 29 (Recitation) SAT HW 06 due
SAT HW 07 assigned
Quiz 07
Wednesday, March 31 Partial Orders Section 9.6
Friday, April 2 Same as above HW 09 due
HW 10 assigned

Week 11

Monday, April 5 Finish Partial Orders
Monday, April 5 (Recitation) Quiz 8
SAT HW 07 due
Wednesday, April 7 Induction Section 5.1, 5.2
Friday, April 9 Finish Induction HW 10 due
HW 11 assigned

Week 12

Monday, April 12 Finish Induction
Algorithms		 Sections 3.1—3.3
Monday, April 12 (Recitation) Quiz 9
Wednesday, April 14 Algorithms Sections 3.1—3.3
Friday, April 16 Finish Algorithms (Asymptotics) Sections 3.1—3.3
HW 11 due
HW 12 assigned

Week 13

Monday, April 19 Finish Asymptotics. Start Sequences and Summations Section 2.4
Monday, April 19 (Recitation) Quiz 10
Wednesday, April 21 Recursion Sections 8.1, 8.2, 8.3
Friday, April 23 Recursion Sections 8.1, 8.2, 8.3
HW 12 due
Bonus HW13 assigned

Week 14

Monday, April 26 Combinatorics Sections 6.1—6.6 and Sections 8.5-8.6
Monday, April 26 (Recitation) Quiz 11
Wednesday, April 28 Combinatorics
Sections 6.1—6.6 and Sections 8.5-8.6
Friday, April 30 Combinatorics/Review Bonus HW13 due
NOTE: Please complete course evaluation ASAP.

Week 15 - Finals Week

Wednesday, May 5 Final 3:30 P.M.—5:30 P.M.
HW 01 assigned -->