Re: [請益] 請教一些未來可能用到的課程
※ 引述《demintree (Mirabelli's back in tow)》之銘言：
: 數學邏輯跟你要做的東西，就沒有什麼關係了
: 所教的也不是教程式的最佳化
: 到不如修Formal Language
邏輯與資訊安全無關!? 其實大有關係吧。單舉一個例子，今年拿
Turing Award 的 model checking 研究工作就是把邏輯與資安
聯繫在一起的許多橋樑之一。當然這麼多相關之處，學校有沒有教
倒是另一碼子事，所以要不要修某門課還是有許多其他的考量。
--
▼ 單中杰．ccshan@post.harvard.edu．善終結 ▼
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 130.225.0.153
推
09/10 05:21, , 1F
09/10 05:21, 1F
推
09/10 09:18, , 2F
09/10 09:18, 2F
→
09/10 09:18, , 3F
09/10 09:18, 3F
推
09/10 09:20, , 4F
09/10 09:20, 4F
推
09/10 11:02, , 5F
09/10 11:02, 5F
推
09/10 12:23, , 6F
09/10 12:23, 6F
推
09/11 10:34, , 7F
09/11 10:34, 7F
推
09/15 17:25, , 8F
09/15 17:25, 8F
推
09/15 18:52, , 9F
09/15 18:52, 9F
→
09/22 12:54, , 10F
09/22 12:54, 10F
推
09/23 16:14, , 11F
09/23 16:14, 11F
推
10/07 22:47, , 12F
10/07 22:47, 12F
→
10/11 20:12, , 13F
10/11 20:12, 13F
推
10/12 14:00, , 14F
10/12 14:00, 14F
→
10/12 22:44, , 15F
10/12 22:44, 15F
推
10/15 21:27, , 16F
10/15 21:27, 16F
推
10/23 12:26, , 17F
10/23 12:26, 17F
推
11/03 14:28, , 18F
11/03 14:28, 18F
推
12/21 20:17, , 19F
12/21 20:17, 19F
推
02/21 01:51, , 20F
02/21 01:51, 20F
討論串 (同標題文章)
CSSE 近期熱門文章
PTT數位生活區 即時熱門文章
-10
18
