文献类型：期刊文章

作　　者：杨井荣[1] 李思莉[1]

YANG Jing-rong;LI Si-li(Department of Computer Science,Engineering and Technology College of Chengdu University of Technology,Leshan 614007,China)

机构地区：[1]成都理工大学工程技术学院计算机科学系,四川乐山614007

出　　处：《计算机技术与发展》

基　　金：四川省教育自然科学重点项目(18ZA0077);乐山市科技计划项目(19JRK229)。

年　　份：2021

卷　　号：31

期　　号：3

起止页码：115-119

语　　种：中文

收录情况：JST、RCCSE、ZGKJHX、普通刊

摘　　要：离散数学又称为计算机数学,它是研究离散量之间的科学。数理逻辑是离散数学的四大模块之一。为了满足自动化推理的客观需要,人类逐渐将逻辑学运用到了计算机科学领域。回顾人类计算机科学的发展历程,可以清晰地看到逻辑学在计算机科学中所奠定的理论基础和积极的推动作用,在计算机硬件设计和软件设计中的应用都非常突出。逻辑学是研究思维规律和思维的形式结构的一门学科。数据逻辑是用数学方法研究逻辑学中形式逻辑的一门分支学科。数理逻辑分成命题逻辑和谓词逻辑。该文主要研究命题逻辑的应用问题,分别研究了推理问题、分工问题、逻辑学家的推理、程序下载、自动调动电路、人员录取方案、人员选派问题。研究方法分别采用命题推理理论、真值表、穷举法、等值演算法。

关 键 词：离散数学 命题逻辑 人员录取  排队论 真值表

分 类 号：TP391]