-
题名举例子能证明几何定理吗?
被引量：3
- 1
-
-
作者
张景中
-
机构
中国科学院成都分院
-
出处
《自然杂志》
1991年第1期55-62,共8页
-
文摘
验证了一个三角形的内角之和为180°,就断言所有三角形的内角之和都为180°,从数学的逻辑来看,这是不是有点荒唐?但恰恰是数学来回答说:不,这是完全可以的。请不要忘记:从有限能推断无限,正是数学的魅力所在。而例证法的发明,使演绎和归纳这两种逻辑方法,在更高的层次上达到了辩证统一。
-
关键词
三角形面积
几何定理
约束变元
例证法
子能
辩证统一
自由变元
三点共线
逻辑方法
不大于
-
分类号
N49
[自然科学总论]
-
-
题名哥德尔不完备性定理及其证明过程的哲学解析
被引量：2
- 2
-
-
作者
郭锋
-
出处
《福建师范大学学报（哲学社会科学版）》
1991年第2期25-31,共7页
-
文摘
1930年,德国维也纳大学助教库尔特·哥德尔(Kurt Godel1906—1978),在数学领域发现并证明了著名的不完备性定理,世称哥德尔不完备性定理。这一定理虽然是数学领域的重大成果。
-
关键词
哥德尔不完备性定理
形式系统
闭公式
公理系统
变形规则
无矛盾性
合式公式
自由变元
相对独立
推理规则
-
分类号
G65
[文化科学—教育学]
C55
[社会学]
-
-
题名数学推理
- 3
-
-
作者
潘启瑞
李梧生
-
出处
《韩山师专学报》
1982年第1期39-51,共13页
-
文摘
引言数学研究的是数学结构的性质。本文将研究数学推理,这种推理是用以证明这些性质的方法。数学结构用一套公理来定义。根据定义,公理说的是关于某个数学结构的性质的真语句。其他可由公理的真实性推得的真断语,称之为定理。定理的证明乃是确立该定理对于某一特定数学结构为真的论证,而论证往往呈现为一系列的断语,每一断语或则是数学结构的公理,或则是前述定理,或则是证明的前一步所获得的逻辑推论。因此。
-
关键词
个体变元
数学推理
数学结构
命题变元
自由变元
逻辑算子
谓词变元
全域
命题形式
数学研究
-
分类号
O1
[理学—数学]
-
-
题名计算机数学基础练习题2
- 4
-
-
作者
冯泰
-
机构
中央电大
-
出处
《当代电大》
2002年第11期88-90,共3页
-
-
关键词
练习题
计算机数学基础
自然数集合
命题公式
自由变元
谓词公式
等价关系
约束变元
-
分类号
G728
[文化科学—成人教育学]
-
-
题名浅议“类”与“集合”
- 5
-
-
作者
杜凤芝
-
出处
《鞍山师范学院学报》
1993年第3期36-37,共2页
-
文摘
本文从集合的概念,空集的意义,经典集合与模糊集合等几个方面阐述了“类”与“集合”概念的区别。
-
关键词
经典集合
空集
有理数集
给定条件
列举法
整数表示
现代数学
自由变元
隶属函数
正常体温
-
分类号
G658.3
[文化科学—教育学]
-
-
题名初等代数函数是代数函数
- 6
-
-
作者
张福阁
孙丽萍
黄人伶
-
机构
黑龙江省黑河师专数学系
-
出处
《数学教学研究》
1998年第4期42-43,共2页
-
文摘
初等代数函数是代数函数张福阁孙丽萍黄人伶（黑龙江省黑河师专数学系１６４３００）初等代数函数是代数函数，从名称上看好象应该是显然的，但从各自的定义上看就不是显然的了．初等代数函数的定义是：由函数ｙ＝ｘ和ｙ＝ｃ（ｃ为常数）经过有限次代数运算并用一个解析式...
-
关键词
代数函数
多项式方程
无理函数
代数运算
齐次线性方程组
数学归纳法
黑龙江省
有理函数
自由变元
根式
-
分类号
G623.5
[文化科学—教育学]
-
-
题名多主体行为句的逻辑分析及语义解释
- 7
-
-
作者
张文彦
-
机构
云南警官学院
-
出处
《语文建设》
北大核心
2012年第11X期38-39,共2页
-
文摘
多主体行为句的形式语义描述目前并没有很好的答案。本文从行为的发出和接受的角度进行思考,借用C_p系统和语义解释,并对其进行了增加自由变元的扩充,为多主体行为句的语义解释和逻辑分析找到新的思路。规避了旧系统在语义描述时出现的语义混乱和矛盾,实现了对多主体行为句的形式语义初步描述。
-
关键词
多主体行为句
自由变元
形式语义
-
分类号
H146
[语言文字—汉语]
-
-
题名一阶逻辑公式相对真度的计算形式
被引量：1
- 8
-
-
作者
秦晓燕
徐扬
-
机构
山西师范大学数学与计算机科学学院
西南交通大学智能控制开发中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2015年第16期6-10,共5页
-
基金
国家自然科学基金(No.61175055)
四川省科技支撑计划(No.2011FZ0051)
+1 种基金
工业和信息化部无线电管理局(No.[2011]146)
中国通信学会(No.[2011]051)
-
文摘
对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。
-
关键词
相对真度
有限解释
自由出现变元
计量谓词逻辑
-
Keywords
relative satisfiablity degree
finite interpretation
free-occurred variables
quantitative predicate logic
-
分类号
O141
[理学—数学]
-
