数理邏輯与自动化(續)

繼电器接点綫路代数及其应用的例子自动化使用的继电接点綫路中絕大多数是采用电磁继电器的。电磁继电器是一块带有鉄电枢和接点的电磁铁。当电枢被吸至电磁鉄心时,即当继电器动作时,接点进入工作位置。当继电器放开自己的电枢时,在接点弹簧的作用下继电器接点恢复正常状态。有的电磁继电器有几个綫圈,但經常采用的还是一个线圈的继电器(单线圈继电器)。所以我們这里也只探討具有单綫圈的继电器接点綫路,今后,我們处处把单綫圈电磁继电器簡称为继电器。继电器的綫圈和級电器本身通常以同样的字母来表示:而继电器通常使用下列大写的拉丁字母表示: X,Y,Z,……继电器通常有几个閉接点和几个开接点。继电器的接点与表示继电器本身也即它的綫圈的大写字母同     

控制过程的算法描述

控制論是一門新兴的综合性学科,在近代經济建設中起着重要的作用,例如,生產过程的自动化,机器設备的远距离操縱,工厂企业的自动管理等部屬于它的研究范圍。在控制論的理論問题方面,則有很多数学家在参加研究,本文作者之一A.A.李雅普諾夫教授是苏联从事控制論研究的著名数学家。作者們在本文中介紹如何用数学方法描述控制过程,从而给解决实际控制問题提供理論的指導。在对控制过程進行数学描述时,算法邏輯圖是一种有力的工具。本文举例介紹了这种方法。这种方法的提出是李雅普諾夫教授在控制論研究方面的重要贡獻之一。本文是寫给一般讀者看的通俗性文章,原载苏联(?)1957年第二期,今譯載于此,以供有兴趣的讀者参考。     

数理邏輯与自动化(續完)

Ⅱ.数理邏輯和电子管继电线路的理論在技术发展还沒有提出要設計复杂的、具有大量起着继电器作用的电子管自动装置时,关于建立电子管继电綫路的分析和綜合的科学方法問題就沒有产生。为了設計具有少量电子管的继电綫路,通常的工程計算法是足够的。然而,当技术提出要设計包含有几千个,甚至在某些情形要多于上万个电子管的自动装置时,建立电子管继电綫路的分析和綜合的問題就成为极为迫切的了。     

数理邏輯和自动化

建立以概念和命題为对象的字母演算的最早想法和尝試皆属于十七世紀著名的数学家和哲学家萊布尼茲(1646-1716)。根据这种邏輯演算的思想,他曾幻想有一天人們可以用計算去代替辯論。因而萊布尼茲设法使邏輯和計算結合起来,使邏輯代数化,把組合分析的思想灌輸到邏輯中去,即建立現在称为数理邏輯的这門科学。数理邏輯发展到今天已达高度完善的程度,并成为最主要的数学学科之一。数学基础和数理邏輯現在也几乎变为同义語了。今天任何一篇有关数学現状及其发展的途的較长的綜合性文章部首先要考察数学基础和数理邏輯。这很自然,因为一方面研究数理邏輯并不需要任何的数学預备知識,另方面数理邏輯对現代数学的所有各分支却是必不可少的,因为現代数理邏輯的研究对象是建立数学証明的方法和工具。現代的数理邏輯可定义为研究数学証明的科学。