Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
cs-236:spring-2019-schedule [2019/04/30 17:03]
pdiddy Removed a duplicate HW5 due date
cs-236:spring-2019-schedule [2019/05/20 16:37]
pdiddy Updated HW due dates to match LS
Line 4: Line 4:
 | May 1 | Course overview, sets, strings, and languages | [[Syllabus]],​ 2.1, 2.2, 2.3 | | | May 1 | Course overview, sets, strings, and languages | [[Syllabus]],​ 2.1, 2.2, 2.3 | |
 | May 3 | Languages and expressiveness;​ finite state machines | 13.2, 13.3 | [[Homework 0]] | | May 3 | Languages and expressiveness;​ finite state machines | 13.2, 13.3 | [[Homework 0]] |
-| May 6 | Regular expressions and FSMs, [[Lexical Analyzer]] | 13.1, 13.4, [[Lexical Analyzer]], [[Lectures | scanner-algorithm.pptx]] | [[Homework 1]] | +| May 6 | Regular expressions and FSMs, [[Lexical Analyzer]] | 13.4, [[Lexical Analyzer]], [[Lectures | scanner-algorithm.pptx]] | [[Homework 1]] | 
-| May 8 | Grammars, derivations,​ and parse trees | [[Lectures | top-down-parsing.pptx]] | [[Homework 2]] | +| May 8 | Grammars, derivations,​ and parse trees | 13.1, [[Lectures | top-down-parsing.pptx]] | [[Homework 2]] | 
 | May 10 | Top-down parsing, [[Datalog Parser]] | [[Lectures | top-down-parsing.pptx]],​ [[Datalog Parser]] |  | May 10 | Top-down parsing, [[Datalog Parser]] | [[Lectures | top-down-parsing.pptx]],​ [[Datalog Parser]] | 
 | May 13 | Propositional logic, logical equivalences,​ tautologies,​ and contradictions | 1.1, 1.2, 1.3 | [[Homework 3]] | | May 13 | Propositional logic, logical equivalences,​ tautologies,​ and contradictions | 1.1, 1.2, 1.3 | [[Homework 3]] |
 | 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 18 | | | [[Datalog Parser | Datalog Parser Part 1]] +| May 20 | Inference and resolution, continued; Datalog queries with resolution | 1.7 | [[Homework 5]], [[Exams | Midterm 1]] | 
-| May 20 | Inference and resolution, continued; Datalog queries with resolution | 1.7 | [[Exams | Midterm 1]] | +| May 21 | | | [[Datalog Parser | Datalog Parser Part 1]] |
-| May 21 | | | [[Datalog Parser | Datalog Parser Part 2]] |+
 | 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]] | [[Homework 6]] | | 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 29 | [[Datalog Interpreter]],​ Equivalence relations and partial orders | 9.6, [[Datalog Interpreter]] | | | May 29 | [[Datalog Interpreter]],​ Equivalence relations and partial orders | 9.6, [[Datalog Interpreter]] | |
 | May 30 | | | [[Relational Database | Relational Database Part 1]] | | May 30 | | | [[Relational Database | Relational Database Part 1]] |
-| May 31 | Graphs, adjacency lists, matrices | 10.1, 10.3 | [[Homework ​7]]  +| May 31 | Graphs, adjacency lists, matrices | 10.1, 10.3 | [[Homework ​8]] | 
-| June 3 | Warshall'​s algorithm, Floyd'​s algorithm; Depth-first search, breadth first search | 10.4 | [[Homework 8]] |+| June 3 | Warshall'​s algorithm, Floyd'​s algorithm; Depth-first search, breadth first search | 10.4 | [[Exams | Midterm 2]] |
 | June 4 | | | [[Relational Database | Relational Database Part 2]] | | June 4 | | | [[Relational Database | Relational Database Part 2]] |
 | June 5 | Strongly connected components, [[Optimizing Rule Evaluation]] | [[Optimizing Rule Evaluation]] | | | June 5 | Strongly connected components, [[Optimizing Rule Evaluation]] | [[Optimizing Rule Evaluation]] | |
-| June 7 | Dijkstra'​s Algorithm; Trees | 10.6, 11.1, 11.2 | |+| 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 1]], [[Exams | Midterm ​2]] | +| June 12 | Minimal spanning trees; Induction | 11.5, 5.1, 5.2, 5.3 | [[Datalog Interpreter | Datalog Interpreter Part 2]] | 
-| June 14 | Induction, continued | 5.4, 5.5 | [[Homework 10]] and [[Datalog Interpreter | Datalog Interpreter Part 2]] | +| June 14 | Induction, continued | 5.4, 5.5 | [[Optimizing Rule Evaluation | Optimizing Rule Evaluation Part 1]][[Homework 10]] | 
-| June 15 | | | [[Optimizing Rule Evaluation | Optimizing Rule Evaluation Part 1]] | +| June 15 | | | [[Homework 11]] | 
-| June 17 |  Course wrap-up | | [[Homework 11]] |+| June 17 | Course wrap-up | | [[Optimizing Rule Evaluation | Optimizing Rule Evaluation Part 2]] |
cs-236/spring-2019-schedule.txt · Last modified: 2019/06/11 14:34 by pdiddy
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0