Logic and Computation
2012-08-11 至 2012-08-18
Instructor: Giorgi Japaridze
Office Hours: By appointment
Grading: There will be an examination at the end of the course, consisting of two parts. In Part 1 you will not be allowed to use any books or notes, because all questions asked in this part will be such that answers to them are directly provided in the Lecture Notes. Namely, any definitions or proofs found in the Lecture Notes may be asked, as well as any important facts, explanations or constructions. In Part 2 you can use anything you like, including the Lecture Notes. It will contain problem-solving style questions, with the main purpose to test your understanding (as opposed to remembering) of the material.
(The above is your only written source: there is no textbook for this course).