search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
cs-486:exams [2018/12/13 10:50] egm [Final Review] |
cs-486:exams [2018/12/13 10:50] (current) egm [Final Review] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| == Final Review == | == Final Review == | ||
| - | The final is on Monday, December 17th, from 11:00 -- 14:00 in TMCB 120. One page of notes allowed (any size and any font). It consists short answer problems. Here is a comprehensive list of topics: | + | The final is on Monday, December 17th, from 11:00 -- 14:00 in TMCB 134. One page of notes allowed (any size and any font). It consists short answer problems. Here is a comprehensive list of topics: |
| * Create Kripke structures that satisfy temporal logic formulas ([[Homework 7]]) | * Create Kripke structures that satisfy temporal logic formulas ([[Homework 7]]) | ||
