MSSSUG｜香港科技大學內地學生學者聯誼會本科部

返回 Cwiki-首頁 Cwiki-個人頁面 Cwiki-貼文列表 Cwiki-課程列表 Cwiki-教授列表

恰似一江春水向东流
課程：COMP2711 [原課號：COMP170]
作者：stanab [12级 CSE]
創建於：2014-05-21 18:21:30
更新於：2014-06-04 19:29:54

课程时间：2014年春季
授课教授：DYY

这门课的Grade：Grade神

这门课实在太水，本来不想写cwiki的...但是发现了notes中一处严重的错误...姑且发上来以免上课的人误入歧途
数论一章，Lemma 2.1和Theorem 2.3其实是循环论证...正确的做法是先证Theorem 2.3再证Lemma 2.1...Theorem 2.3的正确做法为

We can let x, y, y' belong to Z_n, such that
x *_n y = y *_n x = 1
x *_n y' = y' *_n x = 1

It suffices to show y = y'
This is easy since
y = y *_n 1 = y *_n (x *_n y') = (y *_n x) *_n y' = 1 *_n y' = y'
So this finishes the proof.

(摘自发给dyy的邮件)

既然已经写了cwiki...姑且多说几句....
果然还是要怒赞代数框架下的数论...优美而简洁

反正3711的requirement可以waive...所以其实什么时候上都无所谓...

Comments

[1 L]jxieab [12级 MATH-CS] @ 2014-05-23 13:49:10

能说下这俩lemma和theorem是啥么我去看看math2343里面有没有问题= =

[2 L]stanab [12级 CSE] @ 2014-05-23 20:20:48

...你这是何必...

[3 L]glinaa [13级 CSE] @ 2014-05-25 15:59:45

给谭神跪了！Σ(・Д・ﾉ)ﾉ
我完全没发现_(´･ω･` ｣∠ )_

[4 L]twuac [12级 CSE] @ 2014-05-26 10:37:30

你们在这儿讨论notes DY知道嘛！！

[5 L]stanab [12级 CSE] @ 2014-05-26 11:46:44

其实我突然想起来其实所谓的Structural Induction也不太对...
Example 27....其实用Induction只能证明set S里面的数都满足divide by 3不能证明所有divide by 3的数都在set S里...作业里面有道题关于这个的出的就很不好....
证明集合A和B相等的做法一定是先证A属于B再证B属于A...

[6 L]xkong [11级 ME + CS] @ 2014-05-29 08:45:17

3711 有 require 2711 吗…… 我当时就是先上的 3711 再上的 2711，没需要 waive 啊

[7 L]stanab [12级 CSE] @ 2014-06-05 00:40:09

+xkong
四年制改制

Write a comment
請登錄後再評論