IVLE里什么信息也没有

Most SoC modules have their default sites in the above format.

in NUS? I want to steal their lecture slides and study on my own...

Thanks Flying...

Most of the higher level course has their lecture materials protected even if they are ever online...

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

They copied the thing for free from the west and keep it for themselves.
It sounds like Crossing the river Torch up the Bridge thing in Chinese.

:P

university already. These stuff are all free, and all it takes is a through google.

Thanks for your reply.