http://www.csc.villanova.edu/~japaridz/SDU/
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.
Lecture Notes:
Episode
0: Full version Printable version
Episode
1: Full version Printable version
Episode
2: Full version Printable version
Episode
3: Full version Printable version
Episode
4: Full version Printable version
Episode
5: Full version Printable version
(The
above is your only written source: there is no textbook for this course).