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