|
![]() | 作者: kert_t8 [kert_t8]
![]() |
登录 |
The understanding of the theory of a routine may be greatly aided by providing, at the time of construction one or two statements concerning the state of the machine at well chosen points. ... in the extreme form of the theoretical method a wateright mathematical proof is provided for the assertions. in the extreme form of the experimental method the routine is tried out on the machine with a variety of intial conditions and is pronounce fit if the assertions hold in each case. Both methods have their weaknesses. --A.M. TURING. Ferranti Mark I Programming Mannual 看了半天,意思怎么也整不连贯,晕了 |
地主 发表时间: 04-01-29 20:17 |
![]() | 回复: cike [cike] ![]() |
登录 |
金山快译 |
B1层 发表时间: 04-01-30 22:41 |
![]() | 回复: bcliangzi [bcliangzi] ![]() |
登录 |
哈哈,金山快译!! 常式的理论理解 可能非常被藉由提供援助,在建筑的时候 一或二份陈述关于机器的状态 在选择良好的点。 ... 在极端的形式 的理论上的方法中 wateright 数学的证明被为断言提供。 在极端的形式 的实验方法中 常式用 多种 intial 在机器上的外试验过 情况和是宣告适宜的是否在每个情况的断言把握。 两个方法有他们的弱点。 --上午 TURING。 Ferranti 作标记于我规画 Mannual |
B2层 发表时间: 04-02-15 16:23 |
![]() | 回复: kert_t8 [kert_t8] ![]() |
登录 |
![]() |
B3层 发表时间: 04-02-19 20:49 |
![]() | 回复: jvt [jvt] ![]() |
登录 |
常规的理论的理解可能被非常通过提供帮助, 在建设时在选择得很好的点一两个关于机器的状况的陈述。 ... 数学证据为断言提供的一wateright在这种理论的方法的极端形式内。 在这种实验法的极端形式里常规被多种intial 条件在机器上试验, 是念适合断言在每箱内拿。 两种方法有他们的弱点。 --上午图灵。 Ferranti 标明我规划Mannual |
B4层 发表时间: 04-02-20 20:15 |
![]() | 回复: jvt [jvt] ![]() |
登录 |
翻译了! |
B5层 发表时间: 04-02-20 20:17 |
![]() | 回复: nolove [nolove] ![]() |
登录 |
翻译出来还是乱七八糟!!~~~ |
B6层 发表时间: 04-02-20 21:14 |
![]() | 回复: jvt [jvt] ![]() |
登录 |
这叫乱七八糟?你自己去翻译一下看是不是? |
B7层 发表时间: 04-02-21 15:17 |
![]() | 回复: kert_t8 [kert_t8] ![]() |
登录 |
谢谢大家了 最终我还是选择了看中文译本 唉 ![]() |
B8层 发表时间: 04-02-25 20:34 |
![]() | 回复: alex520 [alex520] ![]() |
登录 |
这是什么话呀!倒了![]() |
B9层 发表时间: 04-02-28 13:03 |
|
20CN网络安全小组版权所有
Copyright © 2000-2010 20CN Security Group. All Rights Reserved.
论坛程序编写:NetDemon
粤ICP备05087286号