咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 7 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 8 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 5 篇 哲学
    • 5 篇 哲学
  • 3 篇 理学
    • 3 篇 数学
  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 控制科学与工程
    • 1 篇 软件工程
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...

主题

  • 8 篇 真值指派
  • 3 篇 重言式
  • 2 篇 经典命题逻辑
  • 1 篇 命题形式
  • 1 篇 基本定理
  • 1 篇 公理系统
  • 1 篇 可满足性问题
  • 1 篇 完全性定理
  • 1 篇 原子桥
  • 1 篇 模糊逻辑
  • 1 篇 句子
  • 1 篇 随机3-sat
  • 1 篇 子句权重
  • 1 篇 子句
  • 1 篇 gsat算法
  • 1 篇 包含关系
  • 1 篇 苏格拉底
  • 1 篇 权值评估函数
  • 1 篇 模态词
  • 1 篇 归结原理

机构

  • 1 篇 大连理工大学
  • 1 篇 襄樊学院
  • 1 篇 宁波大学
  • 1 篇 西南交通大学
  • 1 篇 中国社会科学院哲...
  • 1 篇 华南理工大学
  • 1 篇 中国社会科学院哲...

作者

  • 2 篇 张清宇
  • 1 篇 林智勇
  • 1 篇 赵俊
  • 1 篇 安世勇
  • 1 篇 刘海
  • 1 篇 徐小萍
  • 1 篇 郝志峰
  • 1 篇 梁庆寅
  • 1 篇 袁学海

语言

  • 8 篇 中文
检索条件"主题词=真值指派"
共 8 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
命题组相容真值指派集的自动生成
收藏
分享
引用
宁波大学学报（理工版） 1998年 第4期11卷 27-31页
作者： 赵俊 宁波大学自动化与计算机技术系
利用常规逻辑中的归结原理给出了命题组具值指派的相容性判定的一个算法，并在其中使用了删除策略以提高归结原理的效率；从而获得了确定命题组相容真值指派集的一种行之有效的方法．
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于学习的GSAT算法
收藏
分享
引用
华南理工大学学报（自然科学版） 2002年 第7期30卷 5-8,12页
作者： 林智勇 郝志峰 刘海 华南理工大学应用数学系 广东广州510640
在GSAT算法的基础上 ,引进学习的概念 ,设计了一种新的SAT求解算法 .用若干DIMAC的测试实例进行了仿真实验研究 ,比较了基于学习的GSAT算法与著名的RandomWalkGSAT算法 .结果表明两种算法对于随机SAT的实例比较有效 。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
经典命题逻辑的一个公理系统
收藏
分享
引用
哲学研究 1997年 第8期 51-58页
作者： 张清宇 中国社会科学院哲学所
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
不用联结词的经典命题逻辑系统
收藏
分享
引用
哲学研究 1995年 第5期 40-47页
作者： 张清宇 中国社会科学院哲学研究所
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
命题逻辑中随机3-SAT问题算法研究
命题逻辑中随机3-SAT问题算法研究
收藏
分享
引用
作者： 安世勇 西南交通大学
学位级别：硕士
命题逻辑公式的可满足性问题(SAT)是计算机科学和人工智能中一个重要问题。它是第一个被证明了的NP完全问题,由Stephen Cook于1971年提出。SAT问题在人工智能、软件工程、VLSI集成电路设计等领域具有广泛的应用。3-SAT问题是每个子句的... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
经典逻辑中的模糊命题(Ⅰ)
收藏
分享
引用
辽宁师范大学学报（自然科学版） 2024年 第2期47卷 145-150页
作者： 袁学海 大连理工大学数学科学学院 辽宁大连116024
经典逻辑对命题变元的真值指派为二值的,即为0或1.如果将命题公式中的命题变元的真值指派为[0,1]中的值,则形成了模糊命题,从而形成了模糊逻辑理论.在现有的模糊逻辑中,模糊命题在形式上并不“模糊”,只不过对命题变元做了“模糊”的指... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
略论事物的模态和命题的模态
收藏
分享
引用
学海 1993年 第2期 28-30页
作者： 梁庆寅
中世纪经院派的的哲学已经注意到,模态词(“可能”和“必然”)在一个句子中处于什么位置并非不重要。圣托马斯·阿变那由此区别了两种不同的模态:关于事物的模态和关于命题的模态。他指出,模态词嵌在句子中间的是关于事物的模态,例如:... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
集合MU的某些子类间的包含关系
收藏
分享
引用
襄樊学院学报 2008年 第8期29卷 11-14,39页
作者： 徐小萍 襄樊学院数学系 湖北襄樊441053
通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和SYM-MU之间的包含关系.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件