国家学术搜索
登录
注册
中文
EN
首页
|
用C程序求解命题公式中的若干问题
用C程序求解命题公式中的若干问题
引用
认领
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
NSTL
维普
万方数据
中文摘要：
本文利用C语言程序实现了对离散数学的数理逻辑中任意命题公式根据其真值表判断其类型、求其主析取范式和主合取范式.在计算机专业的教学中可以培养学生的理论和计算机操作相结合的学习能力.
收起全部
展开查看外文信息
作者：
岳晓红、段红英
展开 >
作者单位：
陇东学院信息工程学院
陇东学院数学与统计学院
关键词：
C语言
离散数学
命题公式
基金：
庆阳市科技支撑计划项目
项目编号：
KN201319
出版年：
2014
科技信息
山东省技术开发服务中心
科技信息
影响因子：
0.15
ISSN：
1001-9960
年,卷(期)：
2014.
(6)
参考文献量
3
NETL
NSTL
维普
万方数据
