Re: [請益] 請教一些未來可能用到的課程

[ccshan (善終結)]

※ 引述《demintree (Mirabelli's back in tow)》之銘言：
: 數學邏輯跟你要做的東西，就沒有什麼關係了
: 所教的也不是教程式的最佳化
: 到不如修Formal Language

邏輯與資訊安全無關!? 其實大有關係吧。單舉一個例子，今年拿
Turing Award 的 model checking 研究工作就是把邏輯與資安
聯繫在一起的許多橋樑之一。當然這麼多相關之處，學校有沒有教
倒是另一碼子事，所以要不要修某門課還是有許多其他的考量。

--
 ▼ 單中杰．[email protected]．善終結 ▼

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 130.225.0.153
推 stopcrying:喔喔！先拜再說......<O>
推 demintree:我忘記model checking這一塊了...前年才修過相關的
→ demintree:真是汗顏...
推 demintree:數學邏輯的確是Model Checking的基礎課程
推 jaiyalas:趕快拜 o(_ _)o
推 ShepJeng:強者
推 Raviede:m(_ _)m
推 Arton0306:大神出現了!!
推 kangeroo:娘子 快出來看 神人
→ final01:是很有名那個嗎
推 Strogatz:是
推 KanoLoa:m(_ _)m
→ hpo14:什麼神人，有人可以解釋一下嗎？
推 stonehomelaa:google一下他的簽名檔....
→ hpo14:我 g 過了, 可是還是不懂神的原因
推 po953:推大神@@
推 mocca000:m(_ _)m
推 EasyIsBeauty:m(_ _)m
推 gawi:m(_ _)m
推 linmic:...此人極神。