离散数学中命题逻辑的应用研究-《计算机技术与发展》

文章信息/Info

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

Keywords:: discrete mathematics; propositional logic; personnel admission; queuing theory; truth table

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

Abstract:: Discrete mathematics, also known as computer mathematics, is the study of the science between discrete quantities.Mathematical logic is one of the four modules of discrete mathematics. In order to meet the objec-tive needs of automated reasoning,logic is gradually applied to the field of computer science. Looking back? ?on the development of human computer science,we can clearly see the theoretical basis and positive role? ? of logic in computer science,and its application in computer hardware design and software design is quite prominent. Logic is a subject that studies the law of thinking and the formal structure of thinking. Data logic? ? is a branch of the study of formal logic in logic by mathematical methods. Mathematical logic is divided into propositional logic and predicate logic. We mainly study the application of propositional logic, including reas-oning, division of labor, logician reasoning, program downloading,automatic mobilization circuit, personnel admission scheme and personnel selection. The research methods are proposition reasoning theory,truth table,exhaustive method and equivalent algorithm.