Differences

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

Link to this comparison view

Both sides previous revision Previous revision
cs-486:exams [2018/12/13 17:50]
egm [Final Review]
cs-486:exams [2018/12/13 17: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]])
cs-486/exams.txt ยท Last modified: 2018/12/13 17:50 by egm
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