咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 9 篇 期刊文献
  • 4 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 6 篇 哲学
    • 6 篇 哲学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 理学
    • 3 篇 数学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 工学
    • 1 篇 矿业工程

主题

  • 13 篇 真值表法
  • 2 篇 真值函项
  • 2 篇 主析取范式
  • 1 篇 计算机数学基础
  • 1 篇 数理逻辑
  • 1 篇 推演法
  • 1 篇 等值判断
  • 1 篇 逻辑训练
  • 1 篇 欧拉图解法
  • 1 篇 负情
  • 1 篇 认识功能
  • 1 篇 地下矿山安全避险
  • 1 篇 负复合判断
  • 1 篇 愉快教育
  • 1 篇 可靠性
  • 1 篇 逻辑式
  • 1 篇 证明方法
  • 1 篇 国家标准
  • 1 篇 主合取范式
  • 1 篇 逻辑恒等式

机构

  • 1 篇 中央电大
  • 1 篇 高维信息智能感知...
  • 1 篇 中国科学院空间科...
  • 1 篇 武汉化工学院
  • 1 篇 德阳教育学院
  • 1 篇 南京大学
  • 1 篇 甘肃省康县教育局...
  • 1 篇 天津市河西区职工...
  • 1 篇 中国黄金集团公司
  • 1 篇 北京矿冶研究总院

作者

  • 2 篇 雷康
  • 1 篇 金碧辉
  • 1 篇 巨朝军
  • 1 篇 孙霞林
  • 1 篇 李明
  • 1 篇 慕守宝
  • 1 篇 陈春红
  • 1 篇 王正良
  • 1 篇 刘社军
  • 1 篇 刘国才
  • 1 篇 庞红勋
  • 1 篇 杨菲
  • 1 篇 唐炜
  • 1 篇 王莉莉
  • 1 篇 马兵
  • 1 篇 张智萌
  • 1 篇 李小军
  • 1 篇 徐欣锋
  • 1 篇 赵森民
  • 1 篇 冯泰

语言

  • 13 篇 中文
检索条件"主题词=真值表法"
共 13 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
“常用逻辑用语”高考考点题型归类析练与预测
收藏
分享
引用
数理化解题研究（高中版） 2017年 第3期 35-35页
作者： 杜红全 甘肃省康县教育局教研室
常用逻辑用语问题是高考的热点内容之一,主要以选择题、填空题的形式出现,一般难度不大.纵观近几年的高考题,发现考点题型有以下几个方面,以便同学们在复习时参考.
来源： 评论
基于国家标准的可靠性建模问题与对策探讨
收藏
分享
引用
电子产品可靠性与环境试验 2014年 第1期32卷 36-40页
作者： 刘国才 徐欣锋 庞红勋 陈春红 王莉莉 张智萌 李明 中国科学院空间科学与应用研究中心 北京100190 高维信息智能感知与系统教育部重点实验室 江苏南京210094
在国家标准的约束下,针对有效载荷分系统呈现的新特点,提出了可靠性措施,并通过质量屋模型,识别出关键的可靠性措施。通过可靠性建模方法的分析,表明真值表法可以有效地实现关键可靠性措施,但存在两个难题,分别是故障预测与系统健康管理... 详细信息
来源： 评论
主析取范式的求法及其应用
收藏
分享
引用
科教文汇 2013年 第6期 53-53,60页
作者： 杨菲 天津市河西区职工大学 天津300203
本文综述了求主析取范式的三种主要方法,即推演法、真值表法、构造树法,并从经典例题入手分析了三种方法的应用技巧。
来源： 评论
金龙山金矿安全避险“监测监控、人员定位、通信联络”系统可靠性分析
收藏
分享
引用
有色金属（矿山部分） 2013年 第6期65卷 64-66页
作者： 慕守宝 李小军 中国黄金集团公司 北京100011 北京矿冶研究总院 北京102600
基于金龙山金矿安全避险"监测监控、人员定位、通信联络系统"的可靠性框图,分析了井下安全避险系统的可靠性逻辑模型,并采用真值表法对其进行了可靠性分析,找到了优化其可靠性的方法,满足了矿山企业安全生产管理的需要。
来源： 评论
计算机数学基础复习指导
收藏
分享
引用
当代电大 2002年 第11期 80-84页
作者： 冯泰 中央电大
1命题逻辑1.1学习要点(1)命题与联结词:命题,命题真值,真命题,假命题,联结词( ,∧,V, ,→, )及其真值表.(2)命题公式:赋值与解释,公式的分类,命题公式的等值.(3)范式:析取(合取)范式,极小项,极大项,主析取(合取)范式.(4)命题演算的推理... 详细信息
来源： 评论
逻辑恒等式的若干证法
收藏
分享
引用
华中农业大学学报 2001年 第4期20卷 404-406页
作者： 孙霞林 武汉化工学院计算机系 武汉430073
全面系统地总结了逻辑恒等式的证明方法 ,在阐明各种证法的思想、方法的基础上 ,用形式多样的例子说明了逻辑恒等式的证明步骤 ,并简要的介绍了一些方法的使用技巧。
来源： 评论
复杂网络系统的可靠性计算
复杂网络系统的可靠性计算
收藏
分享
引用
作者： 唐炜 金碧辉 王正良
对各功能单元间具有复杂逻辑关系的非串、非并的复杂系统可靠性,可以用网络法描述并用布尔真值表法、最小路集法计算。布尔真值表法计算复杂网络系统可靠度的步骤为:(1) 列出系统各部件的所有状态组合;(2)确定哪些状态组合能使系统正常... 详细信息
来源： 评论
命题逻辑之判定层次及其判定方法
命题逻辑之判定层次及其判定方法
收藏
分享
引用
中国逻辑学会第五次代表大会暨学术讨论会
作者： 刘社军 南京大学哲学系
一般地,判定层次的划分依赖于判定内容的明确,而判定内容的明确则与判定对象的内涵密切相关。在命题逻辑的场合,一个命题公式之本质内涵在于它所表达的那个真值函项。因此,命
来源： 评论
词项检视法简介
词项检视法简介
收藏
分享
引用
中国逻辑学会第五次代表大会暨学术讨论会
作者： 雷康 德阳教育学院
为了在普通逻辑教学和研究中引进更多的现代逻辑内容, 笔者根据归谬原理,设计了一种检验三段论的“词项检视法”。所谓词项检视法,就是通过检视被否定后的三段论的词
来源： 评论
逻辑学教学改革之探索
收藏
分享
引用
菏泽学院学报 1996年 第3期 74-75+95页
作者： 巨朝军
逻辑学是一门关于科学思维和表达的基础理论学科,它的抽象性往往使人在学习原理时觉得乏味,而思维的确定性和表达的灵活性又常常使人在运用逻辑时感到困惑。为了改变以往那种逻辑学教学高头讲章式的艰深和书斋摆设式的空泛,收到既能提... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >>
回到顶部
执行限定条件