代数逻辑

作品数：8被引量：3H指数：1
导出分析报告
相关领域：理学更多>>
相关作者：刘江宋振明徐扬王斌赵丽梅更多>>
相关机构：西南交通大学金宝电子工业股份有限公司深圳华视微电子有限公司中国科学院大学更多>>
相关期刊：《长江工程职业技术学院学报》《中学数学教学》《逻辑学研究》《中学数学月刊》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
对称的时态海廷代数
《逻辑学研究》2022年第3期18-35,共18页葛雪 
本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展。本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代...
关键词：时态逻辑 证明论 希尔伯特 代数模型 直觉主义 代数逻辑 
一种布尔公式的代数逻辑约化新方法被引量：1
《计算机科学》2020年第5期32-37,共6页刘江 周鸿昊 
国家自然科学基金(61672488)。
布尔可满足问题是最早被证明的NP完全问题之一,1-in-3-SAT问题是一个NP完全的布尔可满足子类问题。1-in-3-SAT的计算复杂度取决于对应公式的变量以及子句的个数。将1-in-3公式归约为一个变量数或者子句数更少的1-in-3公式,是提高1-in-3-...
关键词：NP完全问题 布尔可满足性问题 1-in-3-SAT XCNF X-纯文字 
信息检索相关性理论的语义基础分析
《计算机科学》2004年第3期1-4,共4页杨志峰 王斌 李素建 
国家重点基础研究发展规划973资助项目(G1998030413;G1998030510);计算所领域前沿青年基金(20026180-24)
目前信息检索系统的评估方式主要是黑箱方法,无法了解系统内部情况。逻辑方法为比较不同类型的信息检索系统的内部功能提供了途径。为此一些基本的定义和假设已经被建立,并被初步应用于理论研究,但目前的逻辑框架尚未完善。本文通过分...
关键词：信息检索系统 语义基础分析 信息载体 代数逻辑 
解题思路应来得自然——关于1999年高考理科第23题的解答
《中学数学月刊》1999年第9期18-19,共2页廉万朝 
题 已知函数y=f(x)的图象是自原点出发的一条折线。当n≤y≤n+1(n=0,1,2,…)时,该图象是斜率为b^n的线段(其中正常数b≠1),设数列{x_n}由f(x_n)=n(n=1,2,…)定义。
关键词：解题思路 高考试题 1999年 直线方程 图象 已知函数 不等式证明 代数逻辑 推理能力 表达式 
格蕴涵代数的拓扑结构及应用被引量：1
《学术动态报导》1998年第1期52-53,共2页宋振明 徐扬 
研究二值逻辑系统是以布尔代数作为理论基础,而在探讨格值逻辑系统时,徐扬教授提出了格蕴涵代数,对于它的研究,已引起国内外的关注,并有了许多好的结果。我们使用分析的方法,研究其拓扑结构,进而利用拓扑变换。
关键词：代数逻辑 蕴涵滤子 拓扑空间 不确定性推理 
决策思想与代数逻辑思维能力的培养
《广西教育学院学报》1997年第3期82-85,共4页吴松平 
根据师专生的数学素质，逻辑思维能力不高的具体情况，提出了用决策思想培养提高学生逻辑思维能力的观点、方法和应注意的问题。
关键词：原因分析 思想结构 数学理论 师范院校 数学专业 高等代数 代数逻辑思维能力 
哈尔莫斯数学教学言论摘录被引量：1
《中学数学教学》1991年第6期45-45,共1页王庚 
保罗·哈尔莫斯(paul RichardHalmos,1916—)是当代美国最有影响的纯数学家,数学作家、数学教育家与数学编辑家,这位美籍匈牙利数学家,早年在伊利诺斯大学获得三个学位(学士、硕士、博士),先后在许多所大学执教。他的研究领域涉及测度...
关键词：哈尔莫斯 数学教学 数学教育家 希尔伯特空间 代数逻辑 编辑家 遍历理论 伊利诺斯大学 美国数学 算子理论 
卡西欧fx—3600P计算器在测量中的应用
《长江工程职业技术学院学报》1987年第1期58-64,共7页刘尔璋 
fX—3600 P计算器是日本卡西欧公司制造的可存贮公式的计算器.这种计算器不但可以使用真代数逻辑(附有判别优先顺序的机能),也可以使用6级最大18重括弧.更具有61种函数机能、七种存储器、回归分析、积分和最大38级可编程序的机能,进行...
关键词：fx 卡西欧 测量计算 前方交会 点坐标 代数逻辑 已知点 已知数据 优先顺序 重复计算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部