CS3234在哪里上课?IVLE里什么信息也没有[Roberto_Baggio (8-12 11:55, Long long ago)] [ 传统版 | sForum ][登录后回复]1楼
http://www.comp.nus.edu.sg/~cs3234/Most SoC modules have their default sites in the above format.[Flying (8-12 12:00, Long long ago)] [ 传统版 | sForum ][登录后回复]2楼
(引用 Flying:http://www.comp.nus.edu.sg/~cs3234/Most SoC modules have their default sites in the above format.)What are the homepages of the lectures in M.SC in Embedded Systemsin NUS? I want to steal their lecture slides and study on my own...
Thanks Flying...
[Daydreamer (8-12 13:03, Long long ago)]
[ 传统版 |
sForum ][登录后回复]3楼
(引用 Daydreamer:What are the homepages of the lectures in M.SC in Embedded Systemsin NUS? I want to steal their lecture slides and study on my o...)Course code?Most of the higher level course has their lecture materials protected even if they are ever online...[Flying (8-12 13:39, Long long ago)] [ 传统版 | sForum ][登录后回复]4楼
(引用 Flying:Course code?Most of the higher level course has their lecture materials protected even if they are ever online...)These stuff...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
[Daydreamer (8-12 13:48, Long long ago)]
[ 传统版 |
sForum ][登录后回复]5楼
(引用 Daydreamer:These stuff...These lecture slides tutorials etc. I browsed the same course in another university here but it seems they won't ...)It is normal not to allow outsiders to access...[Flying (8-12 17:27, Long long ago)] [ 传统版 | sForum ][登录后回复]6楼
(引用 Flying:It is normal not to allow outsiders to access...)That is not so fair.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
[Daydreamer (8-12 20:25, Long long ago)]
[ 传统版 |
sForum ][登录后回复]7楼
(引用 Daydreamer:That is not so fair.They copied the thing for free from the west and keep it for themselves.
It sounds like Crossing the river ...)Anyway, I have found some materials from a USuniversity already. These stuff are all free, and all it takes is a through google.
Thanks for your reply.
[Daydreamer (8-12 20:26, Long long ago)]
[ 传统版 |
sForum ][登录后回复]8楼