命題演算和某些邏輯推断方法的根据

在过去两千年的时期內,邏輯被应用来发展数学,但数学却没有被用来发展邏輯。仅仅在19世紀数学才开始渗透到邏輯中去,并产生了巨大的效果。由于应用数学方法于形式邏輯的問題,結果出現了一个新的科学部门——数理邏輯(或譯数学邏輯,下同——譯者注)。数学学科的演繹体系提出研究它們的邏輯結构,查明在这个体系中应用的邏輯方法的問題。邏輯推断方法的理論的研究即是数理邏輯的对象。在本文中只討論数理邏輯的最簡单的部分——命題演算。     

数理邏辑的簡单介紹

我国的讀者近来已越來越多地对数理邏輯发生兴趣了,这是一个很好的現象。它表明了我国大众已經开始重視这門重要的科学;从而将使这門科学在我們祖国的土地上开出光輝灿烂的花朵来。但是一般讀者每每詢問下列一連串問題:数理邏輯是怎样的一門科学?它研究什么?有什么主要內容?学习它时需要什么预备知識?有什么主要参考书?……这些問題如果得不到很好的回答,对数理邏輯的学习将受到不良的影响。本文的目的想介紹数理邏輯的主要內容,部分地回答上述各問題。由于数理邏輯內容的丰富,任何人想在一篇短文內加以介紹,势必掛一漏万。再由于作者水平不够,本文必然会詳略失宜甚至含有严重的錯誤。因此讀者必須用批判的眼光来閱读它,这样才可以不因本文可能出現的錯誤而受到影响。否則本文原来的目的不但沒有达到反而带來了流弊了。数理邏輯簡史数理邏輯的內容是非常丰富的,要介紹它真是不知从何說起。現在我們先从它的发展过程来說起吧。因为一件东西,无論多么复杂,如果能够从它的发展史来看,每每极易得出它的基本特性的。     

关于解析几何教学的几点注意

本文拟环繞解析几何中的一些概念,关于在数学教学中如何对待“直观与論证”談一些个人的看法。內容包括:一、数学中的邏輯論証及直观說明;二、解析几何教学中一些問題的商榷;三、关于綫段的量的一个定理;四、关于三角形面积公式的一个証明;五、关于二次曲綫中心的定义問題。一、数学中的邏辑論证及直观說明先談談数学中的邏輯論証。通常在数学中的論証属于形式邏輯中論証的范畴。形式邏輯中的任何証明都是由下列三部分构成:(一)論題,(二)論据,(三)論証。論題是需要加以証明的判断,論据是被用来作为論題底充足理由的諸判断,論証是組成从論据推出論     

数理逻輯的簡单介紹(續)

数理邏輯的主要內容数理邏輯的內容是非常丰富的,要在一篇短文內介紹其主要內容是非常困难的,遺漏不但无法避免,甚至于可能是掛一漏万的。下面的介紹是根据比較流行的說法再結合作者的理解而立諭的。数理邏輯的主要內容可以分作四大部分。第一部分可以叫做数理邏輯本論。又分两部分,純演算与应用演算。純演算部分主要是命題演算(在其中每一命題不加以分析,从而只討論“非”“或者”“并且”“如果…則…”等命題联結詞的性貭)以及謂詞演算(在其中把每一命題分析成主語及謂語两部分,主語又叫做个体,而     

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

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

关于中学几何教学中的几个問题

(一) 最近我們有机会訪問了北京的几个中学,了解了一些数学教学的情况,接触到了一些問題,感到在中学几何教学的实践过程中,以及教师对几何教学的看法上有下列的一些情况:一是认为十二年制的几何教材是脫离实际的,因而需要加强几何材料与实际的联系。为此,注意了几何概念的实际引入,并且加强它的实际应用的內容,但是在实践过程中个別教师却或参或少地忽视了理論,忽祝了把实际問題上升为科学的概念的必要性,忽視了邏輯推理的重要性,忽視了几何教学在培养学生的邏輯思维能力方面的作用;二是知道提高几何的理論水平是重要的。但是在教学中不敢要求学生,怕在理論上、推理上严格要求学生就是維护“旧框框”;三是认为理論与实际的結合是重要的,在教学中也敢于要求学生,但不太明确应該要求到什么程度。总之,在最近期间教师们还是比較注意了加强理論与实际的結合,但是在对理論与推理的要求方面却反映了不要、不敢、不明确的三种情况。这些問題的討論涉     

学習苏联在偏微分方程方面的成就

苏联过去在偏微分方程論方面是有优良傳統的。A.M.李雅普諾夫和貢切尔在場位論,斯捷克洛夫和斯密尔諾夫在数理方程一般理論,查普雷金和克雷洛夫在技术所提出的偏微分方程問題,貝恩斯坦在非綫性椭圓型方程理論,     

非线性偏微分方程

<正> 在科学技术向高速与精密发展的今天,在各种科学向精确学科发展的今天,生产实践对于偏微分方程理論,尤其是对于非綫性偏微分方程理論的要求就愈来愈多了.自然界大量事物的运动規律是可以用非綫性偏微分方程或非綫性偏微分方程組来描写的.一般把非綫性問題变成餡性問題的线性化方法在处理問題时常是很有效的.但是生产实践对于高速与精密的要求,使运用线性化方法的范围受到了相当的限制.因此生产实践对于     

线性規划中康-西問題对偶算法的最大迭代步数

<正> 由对偶理論知道这两个問題或者皆无最优解,或者同时有最优解,且取相同的最优值.因此,解这两个問題是等价的. 解問題1是在K的极点上进行迭代的,解問題2是在K′的极軸(定义見后文)上进行迭代的,它們迭代一步的計算量大体相近.M.A.Simonnad和G.F.Hadley給出     

周期羣的伯恩賽德問题

1902年英国数学家W.伯恩賽德提出了关于周期羣理論的一个問題。随后,这个問題在代数学家們中間获得了广泛的声名,因为羣論的許多問題看来都是与这个問題有关的(参閱[1],[2])。尽管有过許多尝試,这个問題只对几种特殊情况才获得了正面的解答。只是到1959年由諾維柯夫院士发展了早先他在解决一系列羣論算法問題(恆等問題,共軛問題和同构問題)中所采用的方法,才获得了这个問題的反面解答(参閱[3])。为了論述这个問题和所得到的結果,我們来复习有关羣論的若干定义。所謂羣是指由任意性貭的元素所組成的一个非空集合G,其中定义了一种运算,叫做“乘法”,它滿足以下的要求:     

邏輯方程的求解

1.本文作者多年的經驗証明,邏輯方程的求解会引起学生們极大的兴趣。此外,它还能教給学生数理邏輯初步的一个很自然的方法。在中学設置这一課程的必要性,人們談論过不止一次。学生通过邏輯方程的求解的学习,还会学到一門在近代科学技术中有着广泛应用的新代数,并且根据印象,他們还会由于能够解决新的問題而感到欢欣鼓舞。     

色散关系的广义函数証明

<正> 利用因果律来推导色散关系。是近代量子論中的一个重要問題.这方面的工作很多.一般在推导中都用到解析函数的性貭.涉及解析延拓的問題.由于量子場論中出現的“围数”大多是奇异的,在这方面应用广义函数能給这些奇点函数的运算及分析性貭以較滿意的解释与严謹的驗証.正象很多物理定律要求严格的数学推理一样;既然在色散关     

命題演算的初步介紹

数理邏輯是把数学方法应用于邏輯研究的产物。从它的历史看,是应数学的需要而产生的。在近二十余年来,由于自动化和計算技术发展的要求,数理邏輯在这方面以及其他一些技术領域中得到广泛的应用。在数理邏輯中,命題演算是最簡单的、最基本的一部分。     

張弛問题的最速下降法

<正> §1.引言 張弛方法對於解決如下的問題是一個極重要的方法:代數方程,微分方程的界值問題,特徵值問題等.R.V.Southwell,L.Fox及其他人用這方法解决了一些重要的實用問題.Temple證明在為一般實用問題所满足的條件下,張弛方法實際地給出正確的解答.他在他的論文裹考慮了兩個方法:     

动态規划概論

动态規划是运筹学中規划論的一个分支。这个数學方法的奠基人是数学家R.貝尔曼,十多年来,由于他的努力,动态規划发展成为一門具有完整体系和独創性的数学。对于我国人民,运筹学已經是一个熟悉的名子;但是,目前我們經常考虑的还只是綫性規划,用它来处理具有某些綫性特征的过程.然而,在經济活动和技术領域中存在着大量的复杂的多級决策过程問題;这种过程的数学模型具有独特的結构,往往不能直接求解。其中某些問題,虽然在理論上可以用微积分学或綫性規划方法来解决,但是,实际上,解一个簡单的問題也需要大量的演算,并且,遇到技巧上的困难。在許多情     

解聯立方程的差分方程法

<正> 一. 引 聯立一次方程的求解早就不是一個理論問題,而是一個改進計算技術的問題.問題在如何組織計算使計算機械化從而節省工作量. 給定充分多始值後,線性差分方程是很容易解的.在本文內,我們把特種的及一般的聯立一次方程組的解看作線性差分方程滿足某種邊值的解,從而推求出求聯立一次方程組的準確解的一種簡單的機械的列表計算方法。     

談談“哥德巴赫”問題

§1.前言在这簡短文里,我們向讀者介绍一个著名的数論問題,郎所謂“哥德巴赫”問題,为了避免引用較高深的数学工具,我們除了談談这一問題的发展历史及其成果外,只是十分簡单地談一下各种处理方法。其实本文所写的东西在有关的数論书籍中都有記載,作者只是加以整理与归納,以便于讀者更容易地了解这一問題。至于欲詳細了解这方面工作的讀者,請参看华罗庚     

均值和方差不变的值序統計量

<正> 在数理統計学显著性检定的領域中,拟合良好性的检定是一个基本重要的問題.它的目的在于考察一組真实的观察值与某个設想的概率分布之間的符合程度,明确客观随机現象的变化情况和統計規律,从而帮助了人們首先认識这种現象,然后采取相应的措施来解决在实践中存在的問題. 本文所处理的統計問題的形式如下.随机变数ξ的分布函数是未知的.     

对于在中学講授数理邏輯的初步意見

目前,随着全国范围內轰轰烈烈的技术革命文化革命广泛深入的发展,我国数学界也在进一步开展羣众性的大搞数学联系实际以及关于数学教学彻底改革的討論及試驗。在中学数学向現代化方向改革的討論中,不少同志提出应該在中学讲授一些数理邏輯基本知識;作者也同意这样的意見,为了参加討論,現在談一些不成熱的看法,难免有片面或錯誤之处,希望得到批評。一、数理邏輯的主要內容数理邏輯这門科学,就其原来的内容說,是用数学方法来帮助研究某些較初級的思維过程中的規律性。应該說明,絕不是任何思維規律的研究都适于引用数学方法;数理邏輯的研究对象,主要是一些形式邏輯中的規律,特别是数学論証中的思維規律。研究的途径是将这些思維的进行作数学的抽象和描述,使之符号     

實向量所成的有序環

<正> 引言 本文討論G.Birkhoff在“格論”第二版中所提出的一個未解决的問題(見参考文獻[1]229頁問題103).這個問題是: 合G為所有賓2維向量(a,b)所成的集合.在向量加法之下,G形成一交換羣.若在G中如下定義順序關係“≧”