What are the homepages of the lectures in M.SC in Embedded Systems
登录 | 论坛导航 -> 华新鲜事 -> 社会百科 | 本帖共有 4 楼，分 1 页, 当前显示第 1 页 : 本帖树形列表 : 刷新 : 返回上一页
<<始页　 [1]　 末页>>
作者：Daydreamer (等级：2 - 初出茅庐，发帖：177) 发表：2004-08-12 13:03:50　 楼主　 关注此帖
[登录后回复]
在 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 Systems
in NUS? I want to steal their lecture slides and study on my own...

Thanks Flying...



欢迎来到华新中文网，踊跃发帖是支持我们的最好方法!原文 / 传统版 / WAP版所有回复从这里展开收起列表
作者：Daydreamer (等级：2 - 初出茅庐，发帖：177) 发表：2004-08-12 13:48:39　 2楼
[登录后回复]
在 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

欢迎来到华新中文网，踊跃发帖是支持我们的最好方法!原文 / 传统版 / WAP版所有回复从这里展开收起列表
作者：Daydreamer (等级：2 - 初出茅庐，发帖：177) 发表：2004-08-12 20:25:14　 3楼
[登录后回复]
在 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

欢迎来到华新中文网，踊跃发帖是支持我们的最好方法!原文 / 传统版 / WAP版所有回复从这里展开收起列表
作者：Daydreamer (等级：2 - 初出茅庐，发帖：177) 发表：2004-08-12 20:26:37　 4楼
[登录后回复]
在 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 Torch up the Bridge thing in Chinese. :P
Anyway, I have found some materials from a US
university already. These stuff are all free, and all it takes is a through google.

Thanks for your reply.
欢迎来到华新中文网，踊跃发帖是支持我们的最好方法!原文 / 传统版 / WAP版所有回复从这里展开收起列表
论坛导航 -> 华新鲜事 -> 社会百科 | 返回上一页 | 本主题共有 4 篇文章，分 1 页, 当前显示第 1 页 | 回到顶部
<<始页　 [1]　 末页>>

请登录后回复：帐号 　 密码