CSC173

Spring 2023 - TR 1400-1515 - Wegmans 1400

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

Last change: Fri Jan 6 11:23:46 2023