搜索到1108篇“ 布尔代数“的相关文章
- 布尔代数
- 戴世虎著
- 关键词：布尔代数
- 布尔代数
- （英）古德斯坦因著
- 布尔代数
- （英）L.古德斯坦因著
- 关键词：布尔代数
- 布尔代数的(λ,μ)直觉模糊点理想
- 2024年
- 在布尔代数中引入了(λ,μ)直觉模糊点理想的概念并讨论其性质,证明了布尔代数的(,μ)直觉模糊点理想的交,同态像及其同态逆像仍然是布尔代数的(λ,μ)直觉模糊点理想。
- 姜曼
- 关键词：布尔代数同态
- 基于Coq的布尔代数模型及应用的形式化
- 人工智能的迅猛发展极大地提升了生产效率,为人类创造了更加便利、智能化的生活环境,促进了社会进步和经济发展。定理机器证明是人工智能的重要内容,能够对计算机程序的建立给予更严格准确的验证,促进了人工智能基础理论的发展。随着计...
- 刘江昊
- 关键词：定理机器证明形式化方法布尔代数COQ
- 基于布尔代数的命题判断方法、演绎推理方法及系统
- 本发明提供一种基于布尔代数的命题判断方法、演绎推理方法及系统，其中命题判断方法包括：输入待判断命题；通过语义模型对所述待判断命题进行预处理，提取类别、条件、结论，及所述类别、所述条件、所述结论的对应关系，得到预处理结果；...
- 罗粤清
- 数字大师的逻辑课 思维的定律 布尔代数及其应用
- 乔治布尔发明了一套符号用来进行逻辑演算，创造了逻辑代数系统，完成了逻辑的数学化。布尔称他的工作为“思维的定律”，理由是命题代数和思维过程的原则紧密相联。新的知识常常会为你解决一些意想不到的难题。布尔代数就可以应用于解决逻...
- 刘培杰
- 伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口
- 本发明提出伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口，涉及一种面向约束优化问题求解的伊辛感知计算机布尔代数量子电路综合系统，同时也涉及相应实施量子绝热计算的量子伊辛机与其他通用伊辛机的编程接口，属于约束优化与量子...
- 罗剑文哈亚军
- 一类广义布尔代数的结构研究
- 随着智能科学和计算机理论研究的迅猛发展，非经典逻辑已成为计算机科学、数学、逻辑学及其相关领域内最具活力的研究方向之一。众所周知，非经典逻辑的研究需要借鉴经典命题逻辑的成熟理论和方法，而布尔代数作为经典命题逻辑的代数系统，...
- 吕雅婕
- 关键词：非经典逻辑拓扑结构
- 基于布尔代数的基因处理方法、装置及可读存储介质
- 本发明公开了一种基于布尔代数的基因处理方法、装置和可读存储介质，方法包括：对获取到的基因数据进行布尔编码，得到原始数据矩阵；基于布尔代数对所述原始数据矩阵进行矩阵分解，得到模式矩阵及残差矩阵；对所述模式矩阵进行无损压缩得...
- 税涛王爽翁钊黄雅婷
相关作者
- 陈静
- 作品数：230被引量：335H指数：10
- 供职机构：武汉理工大学自动化学院
- 研究主题：可变电抗器 泛布尔代数 无功补偿 滤波器 谐波滤波
- 刘卫锋
- 作品数：135被引量：405H指数：11
- 供职机构：郑州航空工业管理学院
- 研究主题：多属性决策 毕达哥拉斯 模糊集 布尔代数 集成算子
- 钟业勋
- 作品数：100被引量：258H指数：12
- 供职机构：海军工程大学
- 研究主题：数学定义 地图符号 地图投影 地物 地图
- 姜曼
- 作品数：50被引量：20H指数：2
- 供职机构：西安交通工程学院
- 研究主题：模糊集 同态 模糊子代数 布尔代数 代数
- 张南纶
- 作品数：32被引量：81H指数：7
- 供职机构：武汉理工大学自动化学院
- 研究主题：九点控制器 泛布尔代数 HSIC 仿真 模糊控制
