|
Formal Methods FoundationDetailsClass Times & LocationThursday 2:00-4:20pm; C240 People
Office HourAt every class. Send us email in advance to appoint, if you would like to meet. Homework PolicyHomeworks (including the programming assignments and projects) should be attempted individually. If you have any difficulty in solving these problems, you may discuss with your classmates, the instructor or the TAs etc., but final submitted work should be your own. Late homeworks will NOT be considered, for whatever reason. Evaluation PolicyThere will be a close-book final test. And the score is evaluated according to this strategy:
|