期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
组合逻辑中的抽象运算
被引量：
1
1
作者
沈百英
《数学年刊（A辑）》
CSCD
北大核心
1992年第4期451-457,共7页
为了研究组合逻辑(CL)与λ-演算的等价性,在CL中定又抽象运算“λ*x”以及引入规则ξ_C(所得理论记为CLξ_C) P=Q?λ*x·P=λ*x·Q是很自然的。通常研究λ-演算与CLξ_C的等价性时都以特殊的抽象运算为依据。本文得到了抽象运...
为了研究组合逻辑(CL)与λ-演算的等价性,在CL中定又抽象运算“λ*x”以及引入规则ξ_C(所得理论记为CLξ_C) P=Q?λ*x·P=λ*x·Q是很自然的。通常研究λ-演算与CLξ_C的等价性时都以特殊的抽象运算为依据。本文得到了抽象运算“λ*x”所要满足的一般的充要条件以使λ-演算与 CLξ_C等价。定理1叙述为使一般λ-演算与CLξ_C等价,运算“λ*x”要满足的充要条件。定理2叙述为使外延的λ-演算与CLξ_C等价,运算λ*x”要满足的充要条件。
展开更多
关键词
组合逻辑
抽象运算
在线阅读
下载PDF
职称材料
组合逻辑中的抽象运算Ⅱ
2
作者
沈百英
叶瑞芬
《华东理工大学学报（自然科学版）》
CAS
CSCD
1994年第1期58-64,共7页
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ξ＿ｃ）的角色，再研究相应的问题。
关键词
λ-演算
组合逻辑
抽象运算
在线阅读
下载PDF
职称材料
计算机与数学教学整合中的几个特殊关系
被引量：
33
3
作者
张波
钱林
《数学教育学报》
2002年第1期79-82,共4页
计算机是信息处理的有效工具,计算机与数学教学整合的过程是数学教师发现和挖掘计算机在数学教学中的潜力的过程.在计算机与数学教学的整合过程中,教师首先要理清以下几个关系:形象生动与抽象运算的关系;实验归纳与演绎推理的关系;人机...
计算机是信息处理的有效工具,计算机与数学教学整合的过程是数学教师发现和挖掘计算机在数学教学中的潜力的过程.在计算机与数学教学的整合过程中,教师首先要理清以下几个关系:形象生动与抽象运算的关系;实验归纳与演绎推理的关系;人机交互与情感交流的关系;直观再现思维过程的“误差”.
展开更多
关键词
计算机
数学教学
关系
整合
抽象运算
演绎推理
情感交流
计算机辅助教学
在线阅读
下载PDF
职称材料
应对软件复杂性的新思路
4
作者
季隽
叶海松
《电化教育研究》
CSSCI
北大核心
2005年第2期67-71,79,共6页
信息设备的普及和教育观念的革新促进了教育对软件的需求。尤其在教育技术领域内 ,人们常常为提高教学效率或创建新的教学模式而设计和开发软件系统。然而随着软件规模的增长 ,软件自身的复杂性也在增加。实践中发现 ,如果复杂性超过了...
信息设备的普及和教育观念的革新促进了教育对软件的需求。尤其在教育技术领域内 ,人们常常为提高教学效率或创建新的教学模式而设计和开发软件系统。然而随着软件规模的增长 ,软件自身的复杂性也在增加。实践中发现 ,如果复杂性超过了系统设计方法能够应对的范围将导致软件规模增长的停滞 ,也就无法满足用户需求。为了降低软件的复杂程度 ,本文在大量项目开发和教学经验的基础上 ,创造性地提出了OOP抽象运算策略。文章通过把抽象运算策略与代数运算作类比 ,并辅以UML图例和代码 ,逐步说明了该方法解决软件复杂性的机制。
展开更多
关键词
软件
规模障碍
抽象运算
设计模式
在线阅读
下载PDF
职称材料
题名
组合逻辑中的抽象运算
被引量：
1
1
作者
沈百英
机构
华东化工学院计算机系
出处
《数学年刊（A辑）》
CSCD
北大核心
1992年第4期451-457,共7页
文摘
为了研究组合逻辑(CL)与λ-演算的等价性,在CL中定又抽象运算“λ*x”以及引入规则ξ_C(所得理论记为CLξ_C) P=Q?λ*x·P=λ*x·Q是很自然的。通常研究λ-演算与CLξ_C的等价性时都以特殊的抽象运算为依据。本文得到了抽象运算“λ*x”所要满足的一般的充要条件以使λ-演算与 CLξ_C等价。定理1叙述为使一般λ-演算与CLξ_C等价,运算“λ*x”要满足的充要条件。定理2叙述为使外延的λ-演算与CLξ_C等价,运算λ*x”要满足的充要条件。
关键词
组合逻辑
抽象运算
分类号
O141.3 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
组合逻辑中的抽象运算Ⅱ
2
作者
沈百英
叶瑞芬
机构
华东理工大学计算机系
出处
《华东理工大学学报（自然科学版）》
CAS
CSCD
1994年第1期58-64,共7页
文摘
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ξ＿ｃ）的角色，再研究相应的问题。
关键词
λ-演算
组合逻辑
抽象运算
Keywords
lambda calculus
combinatory logic
the rule of weak extensionality
abstraction operation
mathematical logic
分类号
O141.3 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
计算机与数学教学整合中的几个特殊关系
被引量：
33
3
作者
张波
钱林
机构
扬州大学理学院数学系
出处
《数学教育学报》
2002年第1期79-82,共4页
文摘
计算机是信息处理的有效工具,计算机与数学教学整合的过程是数学教师发现和挖掘计算机在数学教学中的潜力的过程.在计算机与数学教学的整合过程中,教师首先要理清以下几个关系:形象生动与抽象运算的关系;实验归纳与演绎推理的关系;人机交互与情感交流的关系;直观再现思维过程的“误差”.
关键词
计算机
数学教学
关系
整合
抽象运算
演绎推理
情感交流
计算机辅助教学
Keywords
computer
math education
special relationship
分类号
O1－4 [理学—基础数学]
G434 [文化科学—教育技术学]
在线阅读
下载PDF
职称材料
题名
应对软件复杂性的新思路
4
作者
季隽
叶海松
机构
上海师范大学教育技术系
出处
《电化教育研究》
CSSCI
北大核心
2005年第2期67-71,79,共6页
文摘
信息设备的普及和教育观念的革新促进了教育对软件的需求。尤其在教育技术领域内 ,人们常常为提高教学效率或创建新的教学模式而设计和开发软件系统。然而随着软件规模的增长 ,软件自身的复杂性也在增加。实践中发现 ,如果复杂性超过了系统设计方法能够应对的范围将导致软件规模增长的停滞 ,也就无法满足用户需求。为了降低软件的复杂程度 ,本文在大量项目开发和教学经验的基础上 ,创造性地提出了OOP抽象运算策略。文章通过把抽象运算策略与代数运算作类比 ,并辅以UML图例和代码 ,逐步说明了该方法解决软件复杂性的机制。
关键词
软件
规模障碍
抽象运算
设计模式
分类号
G434 [文化科学—教育技术学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
组合逻辑中的抽象运算
沈百英
《数学年刊（A辑）》
CSCD
北大核心
1992
1
在线阅读
下载PDF
职称材料
2
组合逻辑中的抽象运算Ⅱ
沈百英
叶瑞芬
《华东理工大学学报（自然科学版）》
CAS
CSCD
1994
0
在线阅读
下载PDF
职称材料
3
计算机与数学教学整合中的几个特殊关系
张波
钱林
《数学教育学报》
2002
33
在线阅读
下载PDF
职称材料
4
应对软件复杂性的新思路
季隽
叶海松
《电化教育研究》
CSSCI
北大核心
2005
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
