清华大学数字逻辑的课件，PPT格式，感觉挺好的。