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]]) |