论文部分内容阅读
数理逻辑是一门研究推理的数学基础课程,它用来验证一个给出的结论是否正确并给出对应法则.数理逻辑和计算机科学有着十分密切的关系,在计算机科学里用来检验程序的正确性,验证定理和推论,同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面也是不可或缺的.因此数理逻辑对计算机科学的发展起着不可忽视的作用,是计算机科学工作者不可获缺的基础理论.本文在介绍了数理逻辑基本知识的基础上,对数理逻辑在计算机科学中的应用给予简要论述.