dahei 发表于 2004-9-9 17:10

请教，有关Theoretische Informatk

请问哪位前辈能用中文解释一下:
Numerierung
Gödelnumerierung
Entscheidbarkeit
......

我借了几本相关书籍，
但是我德语不好，对这些内容尤其不能理解。
谢谢！

two steps 发表于 2004-9-9 18:02

Numerierung 我也不知道中文具体怎么翻译, 感觉上就是列着数.
Goedelnummerierung 好象在逻辑里见过, 不过具体是什么不晓得.
Entscheidbarkeit 有个著名的CHURCH THESE, 是INFORMATIK 里唯一的AXIOM, 至今无人能证明, 但肯定正确. 说凡是TURING MASCHINEN 能解决的问题, 都是ENTSCHEIDBAR, 哪怕他的复杂度是POTENTIEL 增长, 现实中根本实现不了, 那也是ENTSCHEIDBAR. 不过就是NP 里的了.

nanjinger 发表于 2004-9-9 18:34

恩

造纸很深的说。

dahei 发表于 2004-9-10 18:02

谢谢！
不过我还想知道具体一些。比如，如何证明一个Menge是Entscheidbar。
我在KL学Info, 但是Skript里面文字说明很少，不便于理解。
请问能不能介绍一下德文或英文的相关书籍？

two steps 发表于 2004-9-10 19:00

Originally posted by dahei at 2004-9-10 18:02:
谢谢！
不过我还想知道具体一些。比如，如何证明一个Menge是Entscheidbar。
我在KL学Info, 但是Skript里面文字说明很少，不便于理解。
请问能不能介绍一下德文或英文的相关书籍？
REDUKTION 是最强有力的证明ENTSCHEIDBARKEIT 的.
教授上课的时候一般会推荐LITERALTUR 的, 你可以按着他推荐的借.
其实我觉得最实惠的还是GOOGLE. 德文WIKIPEDIA的概念比中文的全多了．

浮云 发表于 2004-9-11 00:06

你可以在图书馆查一下 Uwe Schoening 的

"Theoretische Informatik - kurz gefasst"

这个教授在理论计算机里面很有建树。

two steps 发表于 2004-9-11 13:27

Originally posted by 浮云 at 2004-9-11 00:06:
你可以在图书馆查一下 Uwe Schoening 的

"Theoretische Informatik - kurz gefasst"

这个教授在理论计算机里面很有建树。
对, 这本书我有, 不贵, 但很全, 讲的也细, 例子也丰富.
看楼住问的是有关BERECHNENBARKEIT　和KOMPLEXITAET 的问题.
但这本书里还有FORMALE SPRACHＥ 和 AUTOMATEN THEORIE, 早晚也得学, 呵呵.

yorck 发表于 2004-9-14 21:00

还是就用德文学，对照中文，找来找去，容易浪费精力，混淆概念。

beowulf 发表于 2004-10-28 22:58

KL的找我就对了，俺也是。建议你买Mayer的讲义，讲的非常清楚。

中文书目前为止，没有特别合用的，中国理论方面落后啊。
页: [1]
查看完整版本: 请教，有关Theoretische Informatk