作者ccshan (善終結)
看板CSSE
標題Re: [請益] 請教一些未來可能用到的課程
時間Wed Sep 10 02:31:11 2008
※ 引述《demintree (Mirabelli's back in tow)》之銘言：
: 數學邏輯跟你要做的東西，就沒有什麼關係了
: 所教的也不是教程式的最佳化
: 到不如修Formal Language
邏輯與資訊安全無關!? 其實大有關係吧。單舉一個例子，今年拿
Turing Award 的 model checking 研究工作就是把邏輯與資安
聯繫在一起的許多橋樑之一。當然這麼多相關之處，學校有沒有教
倒是另一碼子事，所以要不要修某門課還是有許多其他的考量。
--
▼ 單中杰．
[email protected]．善終結
▼
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 130.225.0.153
1F：推 stopcrying:喔喔！先拜再說......<O> 09/10 05:21
2F：推 demintree:我忘記model checking這一塊了...前年才修過相關的 09/10 09:18
3F：→ demintree:真是汗顏... 09/10 09:18
4F：推 demintree:數學邏輯的確是Model Checking的基礎課程 09/10 09:20
5F：推 jaiyalas:趕快拜 o(_ _)o 09/10 11:02
6F：推 ShepJeng:強者 09/10 12:23
7F：推 Raviede:m(_ _)m 09/11 10:34
8F：推 Arton0306:大神出現了!! 09/15 17:25
9F：推 kangeroo:娘子 快出來看 神人 09/15 18:52
10F：→ final01:是很有名那個嗎 09/22 12:54
11F：推 Strogatz:是 09/23 16:14
12F：推 KanoLoa:m(_ _)m 10/07 22:47
13F：→ hpo14:什麼神人，有人可以解釋一下嗎？ 10/11 20:12
14F：推 stonehomelaa:google一下他的簽名檔.... 10/12 14:00
15F：→ hpo14:我 g 過了, 可是還是不懂神的原因 10/12 22:44
16F：推 po953:推大神@@ 10/15 21:27
17F：推 mocca000:m(_ _)m 10/23 12:26
18F：推 EasyIsBeauty:m(_ _)m 11/03 14:28
19F：推 gawi:m(_ _)m 12/21 20:17
20F：推 linmic:...此人極神。 02/21 01:51