$Id: final-topics-s10.txt,v 1.3 2011/05/02 19:08:18 cheon Exp $ Topics for CS 3360 Final Exam This exam covers Section 3.5, Sections 9.1-9.6 and, Chapter 16 of textbook [Seb09], mid-term exam questions (and similar ones), and Prolog. REMINDERS This test is closed-notes and closed-book. However, you are allowed to bring 1 page (8.5 X 11) of notes (both sides). Your notes must be your own, they must be hand written, and they must be turned in with your test. This test is to be done individually, and you are not to exchange or share materials with other students during the test. If you need more space, use the back of a page. Note when you do that on the front. This test is timed. Your test will not be graded if you try to take more than the time allowed. Therefore, before you begin, please take a moment to look over the entire test so that you can budget your time. Clarity is important; if your writing or code is sloppy or hard to read, you will lose points. Correct syntax also makes some difference. TOPICS Exam 1 Questions Exam 2 Questions Section 3.5 Describing the semantics - operational semantics - axiomatic semantics - denotational semantics Chapter 16. Logic programming - imperative vs. declarative programming - basics of predicate calculus - Prolog Chapter 9. Subprograms - design issues - parameter passing methods