CSC173

Fall 2026 - MW 1525-1640 - Wegmans 1400

Mon Day DOW Special Class Lecture Unit Topic Reading Project
8 31 M   1 0.0 Introduction   C Programming for Java Programmers  
9 2 W   2 1.1 Patterns, Automata, and Regular Expressions Patterns & Automata FOCS 10.0-10.3  
9 7 M Labor Day           Homework 0.0 due
9 9 W   3 1.2   Equivalence of DFAs and NFAs FOCS 10.4  
9 14 M   4 1.3   Regular Expressions FOCS 10.5-10.7  
9 16 W   5 1.4   From REs to Automata FOCS 10.8  
9 21 M   6 1.5   From Automata to REs FOCS 10.9  
9 22 T             Project 1 due
9 23 W   7     Exam 1    
9 28 M   8 2.1 Recursive Description of Patterns Grammars & Languages FOCS 11.0-11.3  
9 30 W   9 2.2   Parse Trees, Ambiguity, & Parsing FOCS 11.4-11.6  
10 5 M   10 2.3   Table-Driven Parsing FOCS 11.7  
10 7 W   11 2.4   Pushdown Automata Sipser 2.2  
10 12 M Fall Break            
10 14 W   12 2.5   Regular and Context-Free Languages FOCS 11.8; Sipser 1.4  
10 18 Su             Project 2 due
10 19 M   13     Exam 2    
10 21 W   14 3.1 Turing Machines and Computability Turing Machines Sipser 3.1  
10 26 M   15 3.2   TM Variants & Church-Turing Sipser 3.2-3.3  
10 28 W   16 3.3   Decidability Sipser 3.3-4.1  
11 2 M   17 3.4   The Halting Problem Sipser 4.2  
11 3 T             Project 3 due
11 4 W   18     Exam 3    
11 9 M   19 4.1 The Relational Data Model Tables, Keys, Indexes FOCS 8.0-8.6  
11 11 W   20 4.2   Relational Algebra FOCS 8.7  
11 16 M   21 4.3   Querying and Query Optimization FOCS 8.8-8.9  
11 18 W   22 4.4   SQL Elmasri & Navathe Ch 6  
11 22 Su             Project 4 due
11 23 M   23     Exam 4    
11 25 W Thanksgiving            
11 30 M   24 5.1 Propositional Logic and Digital Circuits Boolean Algebra (Propositional Logic) FOCS 12.0-12.5, 12.7-8  
12 2 W   25 5.2   Gates, Circuits, and Logical Expressions FOCS 13.0-13.5  
12 7 M   26 5.3   Karnaugh Maps and Circuit Minimization FOCS 12.6  
12 8 T             Project 5 due
12 9 W   27     Exam 5    
12 14 M   28 TBD   TBD    

Last change: Wed May 6 10:23:33 2026