共查询到20条相似文献,搜索用时 0 毫秒
1.
建立以概念和命題为对象的字母演算的最早想法和尝試皆属于十七世紀著名的数学家和哲学家萊布尼茲(1646-1716)。根据这种邏輯演算的思想,他曾幻想有一天人們可以用計算去代替辯論。因而萊布尼茲设法使邏輯和計算結合起来,使邏輯代数化,把組合分析的思想灌輸到邏輯中去,即建立現在称为数理邏輯的这門科学。数理邏輯发展到今天已达高度完善的程度,并成为最主要的数学学科之一。数学基础和数理邏輯現在也几乎变为同义語了。今天任何一篇有关数学現状及其发展的途的較长的綜合性文章部首先要考察数学基础和数理邏輯。这很自然,因为一方面研究数理邏輯并不需要任何的数学預备知識,另方面数理邏輯对現代数学的所有各分支却是必不可少的,因为現代数理邏輯的研究对象是建立数学証明的方法和工具。現代的数理邏輯可定义为研究数学証明的科学。 相似文献
2.
繼电器接点綫路代数及其应用的例子自动化使用的继电接点綫路中絕大多数是采用电磁继电器的。电磁继电器是一块带有鉄电枢和接点的电磁铁。当电枢被吸至电磁鉄心时,即当继电器动作时,接点进入工作位置。当继电器放开自己的电枢时,在接点弹簧的作用下继电器接点恢复正常状态。有的电磁继电器有几个綫圈,但經常采用的还是一个线圈的继电器(单线圈继电器)。所以我們这里也只探討具有单綫圈的继电器接点綫路,今后,我們处处把单綫圈电磁继电器簡称为继电器。继电器的綫圈和級电器本身通常以同样的字母来表示:而继电器通常使用下列大写的拉丁字母表示: X,Y,Z,……继电器通常有几个閉接点和几个开接点。继电器的接点与表示继电器本身也即它的綫圈的大写字母同 相似文献
3.
Ⅱ.数理邏輯和电子管继电线路的理論在技术发展还沒有提出要設計复杂的、具有大量起着继电器作用的电子管自动装置时,关于建立电子管继电綫路的分析和綜合的科学方法問題就沒有产生。为了設計具有少量电子管的继电綫路,通常的工程計算法是足够的。然而,当技术提出要设計包含有几千个,甚至在某些情形要多于上万个电子管的自动装置时,建立电子管继电綫路的分析和綜合的問題就成为极为迫切的了。 相似文献
4.
目前,随着全国范围內轰轰烈烈的技术革命文化革命广泛深入的发展,我国数学界也在进一步开展羣众性的大搞数学联系实际以及关于数学教学彻底改革的討論及試驗。在中学数学向現代化方向改革的討論中,不少同志提出应該在中学讲授一些数理邏輯基本知識;作者也同意这样的意見,为了参加討論,現在談一些不成熱的看法,难免有片面或錯誤之处,希望得到批評。一、数理邏輯的主要內容数理邏輯这門科学,就其原来的内容說,是用数学方法来帮助研究某些較初級的思維过程中的規律性。应該說明,絕不是任何思維規律的研究都适于引用数学方法;数理邏輯的研究对象,主要是一些形式邏輯中的規律,特别是数学論証中的思維規律。研究的途径是将这些思維的进行作数学的抽象和描述,使之符号 相似文献
5.
6.
7.
8.
<正> 南京工学院数学教研组编的《数学物理方程与特殊函数》(82年4月第二版)是一本较好的工科院校教材,但其中5.6例2(78年第一版为§6.5例2)的解答是错误的。原例题及原解答是(略述,详见原书): 相似文献
9.
主要证明了:(i)假设R是右广义半正则右ACS-环,若J(R)∩I=J(I)对于R的任意右理想I都成立,则J(R)=Z(RR);(ii)如果R是右AP-内射环且R的每个奇异单右R-模是GP-内射,则对于R的任意右理想I都有J(R)∩I=J(I). 相似文献
10.
11.
《数学的实践与认识》2015,(7)
双随机矩阵有许多重要的应用,紧图族可以看作是组合矩阵论中关于双随机矩阵的著名的Birkhoff定理的拓广,具有重要的研究价值.确定一个图是否紧图是个困难的问题,目前已知的紧图类尚且不多,介绍从某些已知的紧图出发不断构造紧图的加边法,可以构造无穷多个紧图族. 相似文献
12.
13.
Let R be a ring. R is called right AP-injective if, for any a ∈ R, there exists a left ideal of R such that lr(a) = Ra (?) Xa. We extend this notion to modules. A right .R-module M with 5 = End(MR) is called quasi AP-injective if, for any s ∈ S, there exists a left ideal Xs of S such that ls(Ker(s)) = Ss (?) Xs. In this paper, we give some characterizations and properties of quasi AP-injective modules which generalize results of Page and Zhou. 相似文献
15.
16.
对于圆周率π,从小学阶段开始,我们就经常碰到它.对于这样一个十分熟悉的符号,你对它了解多少呢?本文简单谈一谈关于丌的一点常识. 相似文献
17.
相关系数是概率统计中的一个重要概念,其绝对值的大小反应了两个随机变量线性关联程度的高低.我们考虑以下两个问题,通过一些简单的不等式以期对其性质有更深入的了解. 相似文献
18.
19.
通过对调和级数的探讨.发现调和级数中分母含9的所有项构成的级数发散,从而解决了有人关于调和级数既发散又收敛的疑问.此外还对调和级数去掉分母含某类数字的项后所得级数收敛这个奇妙特性给出注释. 相似文献
20.
中学几何的理論与初等邏輯(形式邏輯)紧密地联系着。关于邏輯学中的名詞术語,一般不宜在几何課中向学生介紹,但对于教师本身来說,应当不断加强邏輯理論的修养,才可能有效地培养学生的邏輯思維,提高他們的推理論証能力。本文試从以下几个方面簡要地談談邏輯的証明在几何証明中的体現。一、証明的涵义与結构人們对于客观事物的属性的肯定或否定的思維形式叫做判断。引用其他真确的判断來証实某一判断的真确性,叫做对于这一判断的証明(本文前后所称証明同此义)。几何教材中便是引用前面的定义、公理、定 相似文献