http://www.cas.mcmaster.ca/~cs3ea3/announcements.html CS 3EA3 Announcements http://www.cas.mcmaster.ca/~cs3ea3/announcements.html Some marks are released. Check it on the Student Listing page. You will need your MACID and Student Number in order to login. Please note that empty records denote not available information. If you have any questions/corrections please contact the TA immediately. http://www.cas.mcmaster.ca/~cs3ea3/announcements.html Final exam will cover: topics covered during midterm I, II (syntax and semantic models of both propositional calculus and predicate calculus. syntax and semantic proofs. conversion into CNF, DNF. conversion into clause forms. resolution principle). program verification (you will be given small pieces of code and asked to prove pre/post-conditions, invariants and partial/total correctness). Temporal logic. convert English statements into LTL formulas. Semantics of LTL (given a state diagram model of LTL, prove/disprove the model satisfies some LTL formulas). In short, everything in the lectures/tutorials. You will find it in course slides I, II and in the sections Dr Bruha discussed from chapters 3 and 4 of the textbook. Good luck. http://www.cas.mcmaster.ca/~cs3ea3/announcements.html Midterm test 2 is marked out of 45. You can pick your test from the TA either during the tutorial or the office hour.