Re: [網宣] 邏輯、語言與計算暑期研習營 (FLOLAC'14)
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.136.86.37
※ 文章網址: http://www.ptt.cc/bbs/PLT/M.1400035734.A.5FD.html
※ 編輯: viw (220.136.86.37), 05/14/2014 10:51:58
推
05/14 10:55,
05/14 10:55
→
05/14 11:37,
05/14 11:37
→
05/14 11:38,
05/14 11:38
推
05/14 12:52,
05/14 12:52
→
05/14 14:56,
05/14 14:56
其實是完全不一樣的XD 一般 formal language 課程一開始總是介紹那些字串集合
的產生方式、形式語言的分類、他們的各種特性以及一些相對應的計算模型，例如
regular language/DFA、context free language/PDA，然後可能會結合 computability
以及 complexity 等內容。
這個課程的 langauge 則是指 programming languages, 關心程式語言本身的設計
與理論. 特別地, 會介紹函數式語言的概念與想法. 與一般的命令式語言不同, 我們
常聽見的 immutability、closure+higher-order function 設計和常用的 type system
源自於非常簡潔的系統.
程式語言本身的設計與理論是什麼? 並不是討論程式的語法該不該用大括弧或是該不
該作成直譯式的. 我們會關心一種設計/特性對一個語言有什麼影響, 關心一個語言
的表達能力, 關心一個語言的 type system 能保證什麼性質（呃, 最顯然的就是
"不會type error"）, 當然也會討論怎麼把一種語言的「意思」說清楚 -- 相對於貼
近機器模型的語言, 現代多數語言都有較高級的構造. 除了用自然語言敘述和一個又
一個例子說明（還不知道哪天會不會發現"阿,原來不是這樣"）, 我們有沒有其他方法?
好, 那這跟邏輯、形式系統又有什麼關係? FLOALC 的課程會介紹邏輯與程式的意外
關聯, 他們具有某種對應關係（不是什麼 "寫程式的人邏輯很好"）. 當你我們遞迴程式
或遞迴定義的樹型資料結構, 不是常常需要用到 induction 嗎? 他們事實上是同一件
事情, 只是在不同的學科被分開來講了而已. 兩方面配合著學的話, 也可以順便瞭解
另一套不同的邏輯系統.
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.229.107.70
※ 文章網址: http://www.ptt.cc/bbs/Programming/M.1400075658.A.82B.html
※ 編輯: suhorng (36.229.107.70), 05/15/2014 09:30:27
→
05/15 10:12, , 1F
05/15 10:12, 1F
→
05/15 10:25, , 2F
05/15 10:25, 2F
→
05/15 10:29, , 3F
05/15 10:29, 3F
→
05/15 11:40, , 4F
05/15 11:40, 4F
→
05/15 11:45, , 5F
05/15 11:45, 5F
→
05/15 11:45, , 6F
05/15 11:45, 6F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：
Programming 近期熱門文章
PTT數位生活區 即時熱門文章
