搜索筛选:
搜索耗时0.0855秒,为你在为你在102,285,761篇论文里面共找到 35 篇相符的论文内容
发布年度:
[期刊论文] 作者：莫绍揆,,
来源：工科数学 年份：1985
在微积分学中有一个非常基本的公式,它有不同的写法,一个写法是; ∫dx/x=lnx+C (1) 另一个写法是: ∫dx/x=ln|x|+C(2) 如对右端求导可知两个公式都是正确的,似乎人们可...
[期刊论文] 作者：莫绍揆,
来源：哲学研究 年份：1979
一、传统逻辑的不足 数理逻辑的兴起与发展是沿着两条路的。其一是感到传统逻辑有不足的地方,加以改进,从而引起数理逻辑。另一个则是由数学基础的研究而引起的。现在我...
[期刊论文] 作者：莫绍揆,,
来源：南京大学学报(自然科学版) 年份：1994
以前用不定积分表示全体的原函数ｆ（ｘ）＋ｃ，从而把Ｃ看作任意常数或变元，比较新近的说法则用表示原函数族，从而不再是函数（而是函数集），这些说法都有其本身的问题，难以服人，本文把写成（分清现行变......
[期刊论文] 作者：莫绍揆,,
来源：自然科学史研究 年份：1996
该文澄清以往对《左传》的一些误解，指出不能把刘歆、杜预的说法作为《左传》的说法。人们普遍承认《左传》自有一套历法，该文第一次对《左传》历法作比较全面的探索，找出其岁实......
[期刊论文] 作者：莫绍揆,
来源：自然杂志 年份：1981
莫绍揆同志《从黑箱到计算机》一文从数理逻辑的观点对电子计算机的本质进行了剖析,谅会有助于我们对当代科学技术的骄子——电子计算机有个比较深入的理性认识。From the...
[期刊论文] 作者：莫绍揆,,
来源：自然科学史研究 年份：1995
和现在通行的看法相反，《测圆海镜》不是一本讨论天元术的书，与天元术有关的部分只是应用天元术以解勾股形罢了。其核心是其中的《识别杂记》部分，这里有完善的定义，完善合适的公......
[会议论文] 作者：莫绍揆,,
来源： 年份：2004
金岳霖教授是我国著名的哲学家与逻辑学家。在我国培养出很多门徒,为我国的哲学与逻辑学作出了巨大的贡献,有关这方面的情况将有很多人作出详细而有力的论证,我不想多说,...
[期刊论文] 作者：莫绍揆,,
来源：自然科学史研究 年份：2000
文章分为５部分，第一部分指出“晋武库”并非“晋朝武库”而是“晋王武库”，从而对刘徽作注年代问题给出了一个关键性的新论点，极易肯定刘徽注完成于魏景元四年。第二部分针对今本......
[期刊论文] 作者：莫绍揆,,
来源：南京大学学报(自然科学版) 年份：1994
最初在牛顿莱布尼兹时代人们把微分看作变元的无穷小增量；自从废除无穷小概念后，人们把ｄｆ（Ｘ）定义为当Ｈ→０时ｆ（Ｘ＋Ｈ）－ｆ（Ｘ）的主部，亦即Σｆ（ｉ）（Ｘ）ｈｉ．它是矢量Ｈ的线性式，记为Ｌ（Ｈ）．然后人们或者证明ｄｘｉ即ｈｉ，或者把ｄｘｉ定义为ｈｉ，这等式是......
[期刊论文] 作者：莫绍揆,,
来源：工科数学 年份：2004
函数的特点在于单值。所谓由集合X到集合Y的函数是指,在X与Y的元素之间建立了一个多一对应,使得对于X中任一值X在Y中有且只有一值y与之对应(但不同的x可以对应于相同的y...
[期刊论文] 作者：莫绍揆,,
来源：南京大学学报(自然科学版) 年份：1998
不考虑连续性的多值运算和考虑连续性的多值函数之间虽有很密切的关系，但两者并不相同，前者虽用处较少但不能省略也不能用后者替代。庑讨论多值运算的相等性及其叠合，其单值及主......
[期刊论文] 作者：莫绍揆,,
来源：自然杂志 年份：2004
数学的第一次危机公元前五世纪,一个希腊人,毕达哥拉斯学派的希帕索斯(Hippasus),发现了等腰直角三角形的直角边与斜边不可通约,从而导致了数学的第一次危机. 这是一个...
[期刊论文] 作者：莫绍揆,,
来源：东北人民大学自然科学学报 年份：1957
首先我想声明两点. 第一,我对直觉主义是一个外行.既未曾选读过有关的课程,也未曾和直觉主义者碰面过,因此我对直觉主义逻辑最多只是得到一些皮毛的感性的知识,不敢说能...
[期刊论文] 作者：莫绍揆,,
来源：自然杂志 年份：1989
秦九韶是我国古代著名的数学家。他对数学的贡献如何?他的生平如何?本期科技史专栏目中发表了沈康身和莫绍揆的两篇论文。莫文则对秦的生平作了考证,并对秦九韶研究中的一些...
[期刊论文] 作者：莫绍揆,
来源：数学年刊：A辑 年份：1995
当我们从一阶逻辑推广到高阶逻辑时，既使用以函词为主目的高级函词，亦使用具有指导变元与辖域的算子，例如量词与摹状词便是算子的一种．但在逻辑中除量调与摹状词外，对别的算子完全......
[期刊论文] 作者：莫绍揆,
来源：数学年刊：A辑 年份：1992
建立逻辑函词演算如下。本原逻辑函词: C_a(x)=a,I_(mn)(x_1,…,x_m)=x_n(1≤n≤m)。配对函词pg,K,L使得 Kpg(x,y)=x,Lpg(x,y)=y。求逆算子τ,当f为1-1函词时它将f(x)变成?f(...
[期刊论文] 作者：莫绍揆,
来源：哲学研究 年份：1978
我们假定读者已经知道一个狭义谓词演算公式α(其中可出现“等号”,下同)的永真性和可满足性的定义及其一些最简单的性质。不可满足的公式亦叫做永假公式。所谓永真假性问题是:...
[期刊论文] 作者：莫绍揆,
来源：贵州科学 年份：1992
1934年,S.Jaskowski与G.Gentzen几乎同时提出了所谓自然推理系统。两种系统都获得极大的发展,成为最受人们欢迎的系统。这两种系统各有优缺点,大体说来,前者最和人们日...
[期刊论文] 作者：莫绍揆,
来源：贵州科学 年份：1992
递归定义与归纳证法是数学中最基本、最原始的手段,它不象一般人所认为的那样只是自然数所特有的。本文通过揭示递归定义与归纳证法的实质表明它们是本质上不依赖于自然数的...
[期刊论文] 作者：莫绍揆,
来源：数学年刊：A辑 年份：1991
Scholz问题有两个。(1)试找出一数集为有限谱的充要条件;(2)试判定是否有限谱的补集必然仍为有限谱。本文指出了,一集M为有限谱当且仅当它为一个特存ε~2集(定义见下),又指出...
相关搜索：
