期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
数学分析中几类基本概念及其否定概念的逻辑结构
被引量：
2
1
作者
高婷婷
张明会
《重庆三峡学院学报》
2013年第3期23-28,共6页
学习数学分析,学生首先遇到的困难是基本概念的理解,特别是对两个互为否定概念的关系的理解.产生这些困难的主要原因之一,是对基本概念的逻辑结构没有搞清楚,对两个互为否定概念之间的逻辑关系就更糊涂,往往只知道问题的一面,而不知道...
学习数学分析,学生首先遇到的困难是基本概念的理解,特别是对两个互为否定概念的关系的理解.产生这些困难的主要原因之一,是对基本概念的逻辑结构没有搞清楚,对两个互为否定概念之间的逻辑关系就更糊涂,往往只知道问题的一面,而不知道问题的另一面,或者只知其然,不知其所以然.因此,进一步揭示数学分析基本概念的逻辑结构,特别是两个互为否定概念的逻辑结构之间的内在关系,对理解和掌握数学分析的基本概念有其重要的意义,也是利用反证法证明有关数学命题的关键.
展开更多
关键词
演绎证明
逻辑结构
否定概念
下载PDF
职称材料
数学分析中几类基本概念逻辑结构分析(续)
被引量：
1
2
作者
张明会
高婷婷
《重庆三峡学院学报》
2014年第3期29-31,共3页
数学分析的演绎证明中,反证法用的较多,而要用反证法首先要学会由已知判断正确地写出其否定判断,又因判断是由概念组成的,所以能否根据已知概念正确陈述它的否定概念,就变成能否灵活的运用反证法的首要问题.本文以函数几类基本概念及其...
数学分析的演绎证明中,反证法用的较多,而要用反证法首先要学会由已知判断正确地写出其否定判断,又因判断是由概念组成的,所以能否根据已知概念正确陈述它的否定概念,就变成能否灵活的运用反证法的首要问题.本文以函数几类基本概念及其否定概念为例,简要地谈谈数学分析基本概念及其否定概念逻辑结构.
展开更多
关键词
数学分析
否定概念
逻辑结构
下载PDF
职称材料
基于限界约束的安全相关性质的推理证明
3
作者
龙腾
许智武
《计算机工程与科学》
CSCD
北大核心
2017年第4期717-724,共8页
安全相关的性质如访问控制等在复杂环境下有十分重要的作用。从程序验证方面来说,不仅考虑安全性和活性的验证,还要考虑一些安全策略的性质,如非干涉性,这些不能用一般的性质来描述的安全策略可以被看作"超安全性质"。限界约...
安全相关的性质如访问控制等在复杂环境下有十分重要的作用。从程序验证方面来说,不仅考虑安全性和活性的验证,还要考虑一些安全策略的性质,如非干涉性,这些不能用一般的性质来描述的安全策略可以被看作"超安全性质"。限界约束可通用地表示不同程度的访问频次限制,是安全相关性质验证中有效的辅助方法之一,在无线传感器网络协议、嵌入式系统等重要领域的性质验证方面具有广泛的应用价值。主要研究网络安全策略中的安全相关性质的限界表达及基于该限界约束的验证规则。
展开更多
关键词
限界约束
超安全性
安全策略
推理证明
下载PDF
职称材料
有兴趣学习数学,有能力实践数学——归纳畅想能力培养与严格演绎训练是同等重要的
被引量：
1
4
作者
蔡海鸥
《湖南理工学院学报（自然科学版）》
CAS
2009年第2期87-90,共4页
强调大学教育是学生主动学习和实践的过程,在大学基础数学教育中,归纳能力培养与严格演绎训练应该同等重要,大学是年轻人培养创造式思维的最佳时期和场所,数学教育应该以这样教育目的为己任,训练大学生严密的、有逻辑的演绎推导能力之外...
强调大学教育是学生主动学习和实践的过程,在大学基础数学教育中,归纳能力培养与严格演绎训练应该同等重要,大学是年轻人培养创造式思维的最佳时期和场所,数学教育应该以这样教育目的为己任,训练大学生严密的、有逻辑的演绎推导能力之外,也必须注重其创造性归纳能力的实践活动.
展开更多
关键词
数学教育
演绎归纳
创造性思维培养
兴趣学习
下载PDF
职称材料
题名
数学分析中几类基本概念及其否定概念的逻辑结构
被引量：
2
1
作者
高婷婷
张明会
机构
陇南师范高等专科学校数学系
出处
《重庆三峡学院学报》
2013年第3期23-28,共6页
基金
陇南师范高等专科学校教学改革项目阶段性成果
文摘
学习数学分析,学生首先遇到的困难是基本概念的理解,特别是对两个互为否定概念的关系的理解.产生这些困难的主要原因之一,是对基本概念的逻辑结构没有搞清楚,对两个互为否定概念之间的逻辑关系就更糊涂,往往只知道问题的一面,而不知道问题的另一面,或者只知其然,不知其所以然.因此,进一步揭示数学分析基本概念的逻辑结构,特别是两个互为否定概念的逻辑结构之间的内在关系,对理解和掌握数学分析的基本概念有其重要的意义,也是利用反证法证明有关数学命题的关键.
关键词
演绎证明
逻辑结构
否定概念
Keywords
deductive
proof
logical
organization
negative
concept
分类号
O151.2 [理学—数学]
下载PDF
职称材料
题名
数学分析中几类基本概念逻辑结构分析(续)
被引量：
1
2
作者
张明会
高婷婷
机构
陇南师范高等专科学校数学系
出处
《重庆三峡学院学报》
2014年第3期29-31,共3页
文摘
数学分析的演绎证明中,反证法用的较多,而要用反证法首先要学会由已知判断正确地写出其否定判断,又因判断是由概念组成的,所以能否根据已知概念正确陈述它的否定概念,就变成能否灵活的运用反证法的首要问题.本文以函数几类基本概念及其否定概念为例,简要地谈谈数学分析基本概念及其否定概念逻辑结构.
关键词
数学分析
否定概念
逻辑结构
Keywords
deductive
proof
logical
structure
negative
concept
分类号
O151.2 [理学—数学]
下载PDF
职称材料
题名
基于限界约束的安全相关性质的推理证明
3
作者
龙腾
许智武
机构
中国地质大学(北京)信息工程学院
中国科学院软件研究所计算机科学国家重点实验室
深圳大学计算机与软件学院
出处
《计算机工程与科学》
CSCD
北大核心
2017年第4期717-724,共8页
基金
中央高校基本科研业务费(2-9-2014-011)
国家自然科学基金(61502308)
文摘
安全相关的性质如访问控制等在复杂环境下有十分重要的作用。从程序验证方面来说,不仅考虑安全性和活性的验证,还要考虑一些安全策略的性质,如非干涉性,这些不能用一般的性质来描述的安全策略可以被看作"超安全性质"。限界约束可通用地表示不同程度的访问频次限制,是安全相关性质验证中有效的辅助方法之一,在无线传感器网络协议、嵌入式系统等重要领域的性质验证方面具有广泛的应用价值。主要研究网络安全策略中的安全相关性质的限界表达及基于该限界约束的验证规则。
关键词
限界约束
超安全性
安全策略
推理证明
Keywords
bounded
constraints
hypersafety
security-relevant
properties
deductive
proof
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
有兴趣学习数学,有能力实践数学——归纳畅想能力培养与严格演绎训练是同等重要的
被引量：
1
4
作者
蔡海鸥
机构
中国人民大学信息学院
出处
《湖南理工学院学报（自然科学版）》
CAS
2009年第2期87-90,共4页
文摘
强调大学教育是学生主动学习和实践的过程,在大学基础数学教育中,归纳能力培养与严格演绎训练应该同等重要,大学是年轻人培养创造式思维的最佳时期和场所,数学教育应该以这样教育目的为己任,训练大学生严密的、有逻辑的演绎推导能力之外,也必须注重其创造性归纳能力的实践活动.
关键词
数学教育
演绎归纳
创造性思维培养
兴趣学习
Keywords
mathematic
education
deductive
proof
and
inductive
analysis
cultivation
of
creative
thingking
aste
to
study
分类号
G642 [文化科学—高等教育学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
数学分析中几类基本概念及其否定概念的逻辑结构
高婷婷
张明会
《重庆三峡学院学报》
2013
2
下载PDF
职称材料
2
数学分析中几类基本概念逻辑结构分析(续)
张明会
高婷婷
《重庆三峡学院学报》
2014
1
下载PDF
职称材料
3
基于限界约束的安全相关性质的推理证明
龙腾
许智武
《计算机工程与科学》
CSCD
北大核心
2017
0
下载PDF
职称材料
4
有兴趣学习数学,有能力实践数学——归纳畅想能力培养与严格演绎训练是同等重要的
蔡海鸥
《湖南理工学院学报（自然科学版）》
CAS
2009
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
