PTT數位生活區 / PLT (程式語言與理論)

[問題] Lattice Theory在PLT的重要性？

看板PLT (程式語言與理論)作者 (我心依舊)時間9年前 (2015/08/08 00:29), 編輯推噓5(5推 0噓 12→)
留言17則, 4人參與, 最新討論串1/1
如題，看PLT書籍中會出現很多lattice的概念，比如complete lattice, continuous lattice之類，特別是在denotational semantics相關內容， 讓小弟猶豫是否應該修一門這方面的課程。不知這里的先進們對lattice 在PLT的重要性如何看待？ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.164.209.70 ※ 文章網址: https://www.ptt.cc/bbs/PLT/M.1438964999.A.E6B.html
推
08/08 01:18, , 1F
看數學程度，order theory 如果覺得簡單或學過的話，可以
08/08 01:18, 1F
→
08/08 01:18, , 2F
自己自修 domain theory 跟 denotational semantics。反之
08/08 01:18, 2F
→
08/08 01:18, , 3F
則可以修修磨練一下，但有開設的學校應該不多吧？
08/08 01:18, 3F
推
08/08 01:35, , 4F
個人覺得用到的部份上網找一些課的投影片讀就足夠了(如果
08/08 01:35, 4F
→
08/08 01:36, , 5F
有要很深入的話), 另外在 program analysis 裡也會用到一
08/08 01:36, 5F
→
08/08 01:36, , 6F
些(更基礎)的部份, 像 data flow analysis 那邊
08/08 01:36, 6F
→
08/08 21:49, , 7F
domain theory 是不是 order theory 的一部分？但一般的
08/08 21:49, 7F
→
08/08 21:49, , 8F
order theory 對PLT乃至計算機科學沒有用處吧？static
08/08 21:49, 8F
→
08/08 21:50, , 9F
analysis 我是聽說要用lattice，愿聞其詳
08/08 21:50, 9F
推
08/10 05:35, , 10F
以 Wikipedia 上描述的 order theory 幾乎整個理論 CS 都會
08/10 05:35, 10F
→
08/10 05:36, , 11F
用到，l像是自動機，程式語意，邏輯，到處都是...但也不是
08/10 05:36, 11F
→
08/10 05:37, , 12F
特別困難就是了
08/10 05:37, 12F
推
08/10 05:39, , 13F
Domain theory 是 order theory 的延伸，continuous lattic
08/10 05:39, 13F
→
08/10 05:39, , 14F
es 通常不會在 lattice 的教材出現，概念不大一樣。
08/10 05:39, 14F
→
08/10 07:49, , 15F
原來是這樣，謝謝，看來 continuous lattice 是專為
08/10 07:49, 15F
→
08/10 07:50, , 16F
denotational semantics 所發明的，發明人為 Dana Scott
08/10 07:50, 16F
推
08/20 19:06, , 17F
創造分組變項後 去data=>split(分割檔案)=>選分組變項
08/20 19:06, 17F
‣ 更多 carelai 的文章
文章代碼(AID): #1LnDq7vh (PLT)
PLT 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 carelai 的文章
文章代碼(AID): #1LnDq7vh (PLT)