CS 4410, Spring 2026 Class
Schedule, Lecture Notes
Note: Schedule is subject to
change, please check frequently
|
WK |
Class/Date |
Topic |
Book
Chapter |
Assignments |
Reading |
| 1 |
W 1/28 |
Syllabus |
Write down 2
questions about the syllabus |
Syllabus |
|
| F 1/30 |
Mathematical Preliminaries and Notation | Proof
Worksheet |
|||
|
2 |
M 2/2 |
Mathematical Preliminaries and Notation | 1.1 |
HW1 Assigned |
|
|
W 2/4 |
Mathematical Preliminaries and Notation | 1.1 |
Proof Worksheet Due | ||
|
F 2/6 |
Mathematical Preliminaries and Notation | 1.1 |
HW2 Assigned |
||
3 |
M 2/9 |
Three Basic Concepts -
Languages |
1.2 |
HW1
Due |
|
| W 2/11 |
Three Basic Concepts - induction on strings | 1.2 |
|||
| F 2/13 |
Three Basic Concepts - Grammars and Automata | 1.2 |
|||
4 |
M
2/16 |
Deterministic Finite Accepters | 2.1 |
HW2 Due HW3 Assigned |
|
| W 2/18 |
DFA Worksheet | 2.1 |
|||
| F 2/20 |
Nondeterministic Finite Accepters | 2.2 |
HW3 Due HW4 Assigned |
||
|
5 |
M 2/23 |
Equivalence of Deterministic and Nondeterministic Finite Accepters | 2.3 |
||
|
W 2/25 |
No Class Today,
instead watch: Brian Christian and Tom Griffiths "Algorithms to Live By" Talks at Google |
Reaction
Paper: 1. List the problems they discussed.
2. Pick one of the problems and describe it and their
solution(s).3. Describe a problem in your life that might have an algorithmic solution In Canvas |
https://www.youtube.com/watch?v=OwKj-wgXteo | ||
|
F 2/27 |
Regular Expressions | 3.1 |
|||
|
6 |
M 3/2 |
Regular Expressions and Regular Languages | 3.2 |
HW4 Due HW5 Assigned |
|
|
W 3/4 |
Regular Expressions
and Regular Languages Regular Grammars |
3.2,
3.3 |
Algorithms
to Live By reflection Due |
||
|
F 3/6 |
Regular Grammars | 3.3 |
|||
|
7 |
M 3/9 |
Closure Properties of Regular Languages | 4.1 |
HW6 Assigned |
|
|
W 3/11 |
Elementary Questions about Regular Languages | 4.2 |
|||
|
F 3/13 |
Quiz
1 on Chapter 2 |
||||
|
8 |
M 3/16 |
No Class Meeting - Watch: What Computers Can't Do - with Kevin Buzzard |
Reaction Paper: What is P vs NP? Why is it important? In Canvas HW5 Due |
https://www.youtube.com/watch?v=jQPb7DRMoZY |
|
|
W 3/18 |
Pumping Lemma for Regular Languages | 4.3 |
|||
|
F 3/20 |
Pumping Lemma for Regular Languages | 4.3 |
HW6 Due HW7 Assigned |
||
|
9 |
M 3/23 |
Pumping Lemma for Regular Languages | 4.3 |
P
vs NP Reaction Due |
|
|
W 3/25 |
Context-Free Grammars | 5.1 |
|||
|
F 3/27 |
Quiz
Review and work on HW7 |
HW7 Due |
|||
|
|
|
Context-Free Grammars, Parsing and Ambiguity | 5.2 |
HW8 Assigned | |
|
W 4/1 |
Quiz 2 on Chapter 3 | ||||
|
F 4/3 |
No Class Meeting - Watch: Biggest Puzzle in Computer Science: P vs. NP | Reaction Paper In Canvas |
https://www.youtube.com/watch?v=pQsdygaYcE4 |
||
| Spring Break April
6-10 |
|||||
|
11 |
M 4/13 |
Nondeterministic Pushdown Automata | 7.1 |
||
|
W 4/15 |
Biggest Puzzle Reaction Paper Due |
||||
|
F 4/17 |
HW8 Due |
||||
|
12 |
|
||||
|
W 4/22 |
|||||
|
F 4/24 |
|||||
|
13 |
|
||||
|
W 4/29 |
|||||
|
F 5/1 |
|||||
|
14 |
|
||||
|
W 5/6 |
|||||
|
F 5/8 |
Warrior
Day - No Class Meeting |
||||
| 15 |
M 5/11 |
||||
| W 5/13 | |||||
| F 5/15 |
|||||
| |
Wednesday 5/20
|
FINAL EXAM |
|