先回想一下現在數學系教科書的過程，首先介紹基本概念，其次開始提出一些公理，接著是定理的推導，以及各種結論。從頭看到尾，酣暢淋漓。但是這不是**乙個問題的方法。這些給的只是乙個巨人的肩膀。有了巨人的肩膀，我們不一定會站立，更不用說成為另外乙個巨人。我們站立的根基是前人研究的理論，但是更多時候是需要我們構建的。
lebesgue 從rienman 積分的不完備性思考出了lebesgue 積分。 運用到了測度論的知識，然而很多都是需要自己去構建乙個理論體系。我覺得理論不是憑空產生的，而是根據實際的需要，羅素悖論推進了集合論的公理化程序。hilbert的23個問題推動了很多理論的發展。所以理論是從問題中產生的。為了解決問題，所以產生了理論。理論只是解決問題所得到的副產品。然而有趣的是，當這種副產品的應用面很廣的時候，原來的那些問題反而顯得不那麼重要了。我們現在所做的理論研究說到底還是去找問題，找有價值或者說是有趣的問題。
不可否認，我們為了研究問題中不走彎路，我們需要學習前人的經驗。但是我們也要學習如何提出自己的問題，以及各種問題思考的角度。理論不是生而正確的，是經過前人不斷的積累經驗教訓的來的。
奮鬥的demon 遞推關係（理論）
今天demon分析了一下之前的組隊賽，覺得有些心得 我們這次比賽沒有關注檔案讀寫問題，導致我們一直糾結於提交出錯的情況，請你大家在比賽之前了解檔案讀寫的相關規定 是標準輸入輸出，還是檔案輸入輸出？如果是檔案輸入輸出，是否禁止用重定向方式訪問檔案？program 重定向版 define local i...
關係資料理論
關係資料模式可能存在的問題是 1.資料冗餘 2.更新異常 3.插入異常 4.刪除異常乙個好的關係模式應當不會發生插入異常 刪除異常和更新異常，資料冗餘應該盡可能的少。函式依賴和別的資料依賴一樣是語義範疇的概念，只能根據語義來確定乙個函式依賴。若r屬於1nf，且每乙個非主屬性完全函式依賴於任何乙個候選...
5 關係資料理論
資料依賴對關係模式的影響 資料依賴 是乙個關係內部屬性和屬性之間的一種約束關係。x函式確定y 或 y函式依賴於x 記作x y 在關係sc sno,cno,grade 中，平凡函式依賴 部分函式依賴 在關係std sno,sdept,mname 中，有 mname傳遞函式依賴於sno 關係模式滿足的確...