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

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2 篇 哲学
    • 2 篇 哲学
  • 1 篇 文学
    • 1 篇 外国语言文学

主题

  • 3 篇 命题表达式
  • 2 篇 真值表
  • 1 篇 归约法
  • 1 篇 词法规则
  • 1 篇 充分条件
  • 1 篇 词法结构
  • 1 篇 推理形式
  • 1 篇 矛盾关系
  • 1 篇 命题逻辑
  • 1 篇 功能
  • 1 篇 演绎逻辑
  • 1 篇 命题联结词
  • 1 篇 等值关系
  • 1 篇 直言判断
  • 1 篇 方法初探
  • 1 篇 列表法
  • 1 篇 图示法
  • 1 篇 变化规则
  • 1 篇 原形
  • 1 篇 可计算

机构

  • 1 篇 佳木斯大学
  • 1 篇 辽宁工程技术大学

作者

  • 1 篇 莫丽君
  • 1 篇 石敏
  • 1 篇 苑成存

语言

  • 3 篇 中文
检索条件"主题词=命题表达式"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
计算词法学中词法分析方法初探
收藏
分享
引用
外语学刊 1993年 第4期 21-26页
作者： 石敏
随着计算机科学和语言学的迅速发展,计算语言学(Computational Linquistics)这门新型边缘学科应运而生。它是语言学与计算机科学交叉的结果。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
图示和列表法在演绎逻辑教学中的运用
收藏
分享
引用
佳木斯师专学报 1997年 第3期15卷 75-78页
作者： 苑成存 佳木斯大学师范学院
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
真值表在形式逻辑中的功能
收藏
分享
引用
辽宁工程技术大学学报（社会科学版） 2004年 第3期6卷 232-233页
作者： 莫丽君 辽宁工程技术大学政法系 辽宁阜新123000
真值表是形式逻辑中广泛使用的一种逻辑方法,也是一种非常有用的工具。利用这一工具,可以判定一个命题表达式的真值情况;命题间的等值或矛盾关系;两个命题是否有条件关系;还可以应用它确定若干命题是否有一种共同情况存在以及寻找符合... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件