切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
任务逻辑中的定理
任务逻辑中的定理
来源 :模糊系统与数学 | 被引量 : 0次 | 上传用户:hhf1985
【摘 要】
:
基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。
【作 者】
:
许文艳
荆云鹏
【机 构】
:
西安电子科技大学理学院应用数学系,95588部队预警指挥引导系
【出 处】
:
模糊系统与数学
【发表日期】
:
2006年6期
【关键词】
:
任务逻辑
模仿策略
定理
Logic of Tasks
Mimicking Strategy
Theorem
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。
其他文献
课堂,没有相同的相遇
<正>教师为了一堂公开课,试教、磨课……几次、几十次的不在少数,也因此常被诟病。但公开课在一片议论声中并没有摆出消消停停的姿态,它的如火如荼便是最好的证明。尽管它有
期刊
公开课
特级教师
教学设计
窦桂梅
单亲孩子的心理分析及教育策略
<正>随着中国的离婚率越来越高,学校里父母离异的单亲孩子也越来越多。在父母离婚后,这些单亲孩子的行为习惯受到了哪些影响呢?笔者曾对班级的孩子做过一个心理小测试:画全家
期刊
教育策略
心理分析
心理辅导
国有林区改革与天然林保护工程发展趋势
1国有林区天然林保护工程的产生与发展历程2000年12月1日国家林业局等多部委下发《关于组织实施长江上游黄河中上游地区和东北内蒙古等重点国有林区天然林资源保护工程的通知
期刊
天然林保护
天然林资源保护工程
重点国有林区
国家林业局
森工
补助标准
黄河中上游地区
二期工程
L-fuzzy向量空间的L-fuzzy线性映射
给出L-fuzzy向量空间的L-fuzzy线性映射等概念,并给出了它的一些等价刻画。
期刊
L-fuzzy子域
L-fuzzy向量空间
L-fuzzy线性映射
L-fuzzy向量同构
L-fuzzy Subfield
L-fuzzy Vector
文化立命 翰墨传神——略谈学校传统书法教育与文化传承
在推进语言文字规范化的过程中,书法教育是一个重要载体,它让我们共同恪守它的审美和书写规范标准。同时,注重传统书法教育,在民族文化的传承和发扬上也能起到不可替代的作用。
期刊
文化传承
书法教育
传统
语言文字规范化
学校
传神
书写规范
民族文化
局部凸Ⅰ-拓扑线性空间的若干性质
利用广义模糊半范数族来研究了Katsaras意义下的局部凸Ⅰ-拓扑线性空间的某些性质,如分离性、模糊点网的收敛性、模糊集的有界性,以及同一个集上两个局部凸Ⅰ-拓扑的“粗“细”
期刊
Ⅰ-拓扑线性空间
局部凸Ⅰ-拓扑线性空间
广义模糊半范数
I-topological Vector Space
I.ocally Convex I-topol
论经济全球化的发展态势及其对我国的影响
当今世纪正处在新的历史性巨大变动之中,其中最具有决定意义的就是经济全球化趋势.经济全球化是一把'双刃剑'.经济全球化对世界经济有正面影响,也有负面影响.经济全
期刊
经济全球化
机遇
挑战
游戏化教学模式在学前教育中的策略探究
幼儿由于年龄的原因喜欢模仿。在学前教育中,能够满足幼儿这一心理特点的游戏化教学手段是教师顺利开展教学的重要教学方式。在实际过程中,首先,教师深入探究游戏化教学,为幼
期刊
游戏化教学模式
学前教育
策略研究
例谈计算错误的成因及对策
提到计算教学,大多数教师都感叹又好教又难教,好教是因为计算教学相对于其他知识难度较小,学生基本都会做;难教是因为学生错误百出,很难杜绝。这些计算上的错误,老师们常把它简单地归结为学生的“粗心”,可在这貌似“粗心”的背后却隐藏着不同的“引错”因子,从而导致计算错误不断。 一、感知粗略 错例1:123×21=2772 1 3 2 × 2 1 ————— 1 3 2 2 6
期刊
计算错误
成因
学生错误
计算教学
“粗心”
教师
老师
模糊群的公理体系
给出了模糊群的几个等价刻画,建立模糊群的公理体系并得到了五个最小完备系。此外还讨论以消去律为条件的模糊群的刻画,给出了有限模糊群和周期模糊群的最小完备系,同时也得
期刊
模糊群
公理体系
消去律
最小完备系
Fuzzy Groups
Axiom System
Cancellationlaw
Minimum Complete Sy
与本文相关的学术论文