search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
cs-236:spring-2019-schedule [2019/05/20 10:14] pdiddy Moved project dates |
cs-236:spring-2019-schedule [2019/06/11 14:34] (current) pdiddy Pushed a lab due date back to work around an exam grading push |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| | May 14 | | | [[Lexical Analyzer]] | | | May 14 | | | [[Lexical Analyzer]] | | ||
| | May 15 | Predicates, quantifiers, and their logical equivalences | 1.4 | [[Homework 4]] | | | May 15 | Predicates, quantifiers, and their logical equivalences | 1.4 | [[Homework 4]] | | ||
| - | | May 17 | Validity, equivalences, logical implications, and derivations; Inference and resolution | 1.6 | [[Homework 5]] | | + | | May 17 | Validity, equivalences, logical implications, and derivations; Inference and resolution | 1.6 | | |
| - | | May 20 | Inference and resolution, continued; Datalog queries with resolution | 1.7 | [[Homework 6]], [[Exams | Midterm 1]] | | + | | May 20 | Inference and resolution, continued; Datalog queries with resolution | 1.7 | [[Homework 5]], [[Exams | Midterm 1]] | |
| | May 21 | | | [[Datalog Parser | Datalog Parser Part 1]] | | | May 21 | | | [[Datalog Parser | Datalog Parser Part 1]] | | ||
| | May 22 | Relations, [[Relational Database]] | 9.1, 9.2, [[Relational Database]] | | | | May 22 | Relations, [[Relational Database]] | 9.1, 9.2, [[Relational Database]] | | | ||
| - | | May 24 | Relational algebra, closures, equivalence relations | 9.3, 9.4, 9.5, [[Lectures | relational-algebra.pptx]] | | | + | | May 24 | Relational algebra, closures, equivalence relations | 9.3, 9.4, 9.5, [[Lectures | relational-algebra.pptx]] | [[Homework 6]] | |
| | May 27 | Memorial Day holiday | | | | | May 27 | Memorial Day holiday | | | | ||
| | May 28 | | | [[Datalog Parser | Datalog Parser Part 2]], [[Homework 7]] | | | May 28 | | | [[Datalog Parser | Datalog Parser Part 2]], [[Homework 7]] | | ||
| Line 25: | Line 25: | ||
| | June 7 | Dijkstra's Algorithm; Trees | 10.6, 11.1, 11.2 | [[Datalog Interpreter | Datalog Interpreter Part 1]] | | | June 7 | Dijkstra's Algorithm; Trees | 10.6, 11.1, 11.2 | [[Datalog Interpreter | Datalog Interpreter Part 1]] | | ||
| | June 10 | Tree traversal, spanning trees | 11.3, 11.4 | [[Homework 9]] | | | June 10 | Tree traversal, spanning trees | 11.3, 11.4 | [[Homework 9]] | | ||
| - | | June 12 | Minimal spanning trees; Induction | 11.5, 5.1, 5.2, 5.3 | [[Datalog Interpreter | Datalog Interpreter Part 2]] | | + | | June 12 | Minimal spanning trees; Induction | 11.5, 5.1, 5.2, 5.3 | | |
| - | | June 14 | Induction, continued | 5.4, 5.5 | [[Optimizing Rule Evaluation | Optimizing Rule Evaluation Part 1]], [[Homework 10]] | | + | | June 14 | Induction, continued | 5.4, 5.5 | [[Datalog Interpreter | Datalog Interpreter Part 2]], [[Optimizing Rule Evaluation | Optimizing Rule Evaluation Part 1]], [[Homework 10]] | |
| | June 15 | | | [[Homework 11]] | | | June 15 | | | [[Homework 11]] | | ||
| | June 17 | Course wrap-up | | [[Optimizing Rule Evaluation | Optimizing Rule Evaluation Part 2]] | | | June 17 | Course wrap-up | | [[Optimizing Rule Evaluation | Optimizing Rule Evaluation Part 2]] | | ||
