CS 4410 - 2, Fall 2026   Class Schedule, Lecture Notes
Note: Schedule is subject to change, please check frequently

WK

Class/Date

Topic

Book Chapter
6th Edition

Assignments

Reading

1
W 8/19
Syllabus

Write down 2 questions about the syllabus
Syllabus
F 8/21
Practice with Proofs: PMI

Practice with Proofs

2

M 8/24

Practice with Proofs


W 8/26

Mathematical Preliminaries
1.1
HW1 Assigned

F 8/28

Three Basic Concepts - Languages 1.2
Practice with Proofs Due


3
M 8/31


HW1 Due

W 9/2




F 9/4





4
M 9/7
Labor Day Holiday



W 9/9




F 9/11




5

M 9/14





W 9/16





F 9/18





6

M 9/21





W 9/23





F 9/25





7

M 9/28





W 9/30





F 10/2





8

M 10/5





W 10/7





F 10/9





9

M 10/12





W 10/14





F 10/16





10

M 10/19





W 19/21





F 10/23





11

M 10/26





W 10/28





F 10/30





12

M 11/2





W 11/4





F 11/6





13

M 11/9





W 11/11

Veteran's Day Holiday



F 11/13





14

M 11/15





W 11/18





F 11/20







Thanksgiving Week 11/23-27 no classes



15
M 11/30




W 12/2



F 12/4





M 12/7





Wednesday 12/16

FINAL EXAM
8:30 am - 10:30 am