作者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