|
|||||
|
|
| 数理逻辑在工程上的应用 | |
| 作者姓名： | 徐刍 |
| 作者单位： | 清华大学 |
| 摘 要： | “起初,数理逻辑是由对数学上所应用的证明法的逻辑分析而发生的,但是最耐人寻味的是:数理逻辑所造成的这套工具,一旦落到工程师和机械设计者的手上,便成为他们所造的机构的综合法的工具,这工具可以用于电机工程及无线电工程,准确的力学,乃至以计算来解决的远距离控制及自动机学的构造上”(引自“三十年来的苏联数学:数学基础与数理逻辑”)数理逻辑用到工程上去,开始于约二十年前,但由于近年来生产上的大规模自动化问题及高速度计算机的设计问题的刺激,此种应用越来越广泛;工程师向数学家提出的这方面的问题越来越多。本文企图向对这问题感兴趣的数学工作者 |
| 本文献已被 CNKI 等数据库收录！ | |