These stuff...
所在版块：社会百科 发贴时间：2004-08-12 13:48

用户信息
复制本帖HTML代码
高亮: 今天贴 X 昨天贴 X 前天贴 X 
These lecture slides tutorials etc.
I browsed the same course in another university here but it seems they won't allow
outsiders to access.

Thanks.



; ---------------------------------------------
http://www.comp.nus.edu.sg/~cs3234/materials.html

Lecture Notes


Propositional Logic 1, cs3234-lec01.pdf (slides) and cs3234-lec01-6.pdf (6 slides/page, printer-friendly) --- Aug. 12, 2004.
Propositional Logic 2, cs3234-lec02.pdf (slides) and cs3234-lec02-6.pdf (6 slides/page, printer-friendly) --- Aug. 19, 2004.
Predicate Logic 1, cs3234-lec03.pdf (slides) and cs3234-lec03-6.pdf (6 slides/page, printer-friendly) --- Aug. 26, 2004.
Predicate Logic 2, cs3234-lec04.pdf (slides) and cs3234-lec04-6.pdf (6 slides/page, printer-friendly) --- Sep. 2, 2004.
Logic Programming, cs3234-lec05.pdf (slides) and cs3234-lec05-6.pdf (6 slides/page, printer-friendly) --- Sep. 9, 2004.
Model Checking 1, cs3234-lec06.pdf (slides) and cs3234-lec06-6.pdf (6 slides/page, printer-friendly) --- Sep. 16, 2004.
Model Checking 2, cs3234-lec07.pdf (slides) and cs3234-lec07-6.pdf (6 slides/page, printer-friendly) --- Oct. 7, 2004.
Model Checking 3, cs3234-lec08.pdf (slides) and cs3234-lec08-6.pdf (6 slides/page, printer-friendly) --- Oct. 14, 2004.
Program Verification, cs3234-lec09.pdf (slides) and cs3234-lec09-6.pdf (6 slides/page, printer-friendly) --- Oct. 21, 2004.
Modal Logics, cs3234-lec10.pdf (slides) and cs3234-lec10-6.pdf (6 slides/page, printer-friendly) --- Oct. 28, 2004.
Binary Decision Diagrams, cs3234-lec11.pdf (slides) and cs3234-lec11-6.pdf (6 slides/page, printer-friendly) --- Nov. 4, 2004.
Conclusion,cs3234-lec12.pdf (slides) and cs3234-lec12-6.pdf (6 slides/page, printer-friendly) --- date to be announced.

Tutorials

cs3234-tut01.pdf --- Aug. 17/20,2004
cs3234-tut02.pdf --- Aug. 24/27,2004
cs3234-tut03.pdf --- Aug. 31/Sep. 3,2004
cs3234-tut04.pdf --- Sep. 7/10,2004
cs3234-tut05.pdf --- Sep. 14/17,2004
cs3234-tut-midterm.pdf --- Sep. 24/28,2004
cs3234-tut06.pdf --- Oct. 1/5,2004
cs3234-tut07.pdf --- Oct. 8/12,2004
cs3234-tut08.pdf --- Oct. 15/19,2004
cs3234-tut09.pdf --- Oct. 22/26,2004
cs3234-tut10.pdf --- Oct. 29/Nov. 2,2004
cs3234-tut11.pdf --- Nov. 5/9,2004

Assignments


Logic programming assignment
Model checking assignment
Program verification assignment

.
欢迎来到华新中文网，踊跃发帖是支持我们的最好方法!

　相关帖子 我要回复↙ ↗回到正文
CS3234在哪里上课？ － Roberto_Baggio 　2004-08-12 11:55 (20 bytes , 415reads )
http://www.comp.nus.edu.sg/~cs3234/ － Flying 　2004-08-12 12:00 (62 bytes , 255reads )
What are the homepages of the lectures in M.SC in Embedded Systems － Daydreamer 　2004-08-12 13:03 (89 bytes , 206reads )
Course code? － Flying 　2004-08-12 13:39 (101 bytes , 237reads )
These stuff... － Daydreamer 　2004-08-12 13:48 (2346 bytes , 366reads )
It is normal not to allow outsiders to access... － Flying 　2004-08-12 17:27 (0 bytes , 213reads )
That is not so fair. － Daydreamer 　2004-08-12 20:25 (151 bytes , 327reads )
Anyway, I have found some materials from a US － Daydreamer 　2004-08-12 20:26 (109 bytes , 332reads )