切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
命题逻辑判定系统中基本真值矩阵的生成算法
命题逻辑判定系统中基本真值矩阵的生成算法
来源 :甘肃联合大学学报:自然科学版 | 被引量 : 0次 | 上传用户:poiuytrewq10
【摘 要】
:
给出了求含任意n个命题变元的命题公式F的基本真值矩阵的四个算法,从而为利用计算机处理命题逻辑的判定问题奠定了核心基础.
【作 者】
:
张会凌
【机 构】
:
甘肃联合大学数学与信息学院
【出 处】
:
甘肃联合大学学报:自然科学版
【发表日期】
:
2005年1期
【关键词】
:
命题逻辑
基本真值矩阵
递归矩阵生成算法
数列生成算法
移位生成算法
propositional logic
basic truth value matrix
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了求含任意n个命题变元的命题公式F的基本真值矩阵的四个算法,从而为利用计算机处理命题逻辑的判定问题奠定了核心基础.
其他文献
加特纳菌与细菌性阴道病的实验研究
期刊
阴道炎
加特纳菌
细菌
红细胞免疫与皮肤病
期刊
皮肤病
红细胞
免疫学
求解奇异线性方程组的两种预条件QMR算法
主要讨论求解奇异线性方程组的两种预条件QMR算法,证明了相应的收敛性.数值试验表明,在收敛速度上,两种预条件QMR算法比预条件GMRES算法具有明显的优越性.
期刊
奇异线性方程组
预条件
恰当分裂
QMR算法
Singular Linear Equations
Preconditioned
Proper Splitti
如何激发学生学习音乐的热情
〔关键词〕 学生;音乐学习;热情;激发 〔中图分类号〕 G633.95 〔文献标识码〕 C 〔文章编号〕 1004—0463(2007) 08(A)—0060—01 中师学校学生绝大多数来自农村,他们在小学、初中阶段没有接受过系统的音乐教育,至多上过唱歌课,“音乐”水平也只是停留在老师教唱过的几首简单的歌曲上,对于音乐可以说没有真正意义上的了解和认识。音乐教学的任务,首先是激发学生
期刊
学生
音乐学习
热情
激发
浅析供应链的协作管理进展
在供应链中协作是其中最主要的部分,协作它反映需求链下的顾客变化着的需求的能力,当项目设计得到改进和市场营销变得更为有效时,这些需求链能够产生战略性的利益。从而发挥它在
期刊
供应链
供应链管理
供应链协作管理
正整数(2n)^2n+1的若干注记
讨论了正整数(2n)^2n+1某些性质,给出了其不与任正整数构成拟亲数结论,并证明了其相异素因个数不超过[2^2n-2/n+1],其中[x]表示为不超过x最大整数.
期刊
亲数
拟亲数
相异素因
Amicable Number
Quasi-amicable Number
Distinct Prime Factors
多媒体技术与数学教学的有机结合
〔关键词〕 多媒体;数学教学过程;应用 〔中图分类号〕 G623.56 〔文献标识码〕 C 〔文章编号〕 1004—0463(2007)11(B)—0050—01 随着当今社会知识信息急增以及“减负提素”工作的深入开展,传统教育面临了巨大的挑战,教学手段及教学方法的改革已势在必行。作为一种新型的教育形式和现代化教学手段的多媒体技术给传统教育带来了巨大影响。 在课堂教学中,教师可利用计
期刊
多媒体
数学教学过程
应用
物理教学中应渗透人文精神教育
物理学既是一门严谨的自然科学,同时也富含优秀的人文思想.在教学中,我们既要使学生学到自然科学知识和技能,又使他们受到了人文精神熏陶,培养健全的人格,成为"健康"的社会人
期刊
物理教学
渗透
人文精神
physical teaching
seepage
humane spirit
我国上市公司股利政策及其影响因素分析
在公司财务状况、企业发展规划以及股东利益之间,股利作为投资回报的方式起到了联系和平衡三者的作用。适宜的股利政策将有利于企业资本结构的合理化,并且也将同时满足于股东要
期刊
上市公司
股利政策
股利政策选择的影响因素
甲真菌病治疗的新进展
期刊
甲癣
抗真菌药
与本文相关的学术论文