离散数学中命题逻辑的应用研究

离散数学又称为计算机数学,它是研究离散量之间的科学.数理逻辑是离散数学的四大模块之一.为了满足自动化推理的客观需要,人类逐渐将逻辑学运用到了计算机科学领域.回顾人类计算机科学的发展历程,可以清晰地看到逻辑学在计算机科学中所奠定的理论基础和积极的推动作用,在计算机硬件设计和软件设计中的应用都非常突出.逻辑学是研究思维规律...