数理逻辑在计算机科学上的应用研究

一、数理逻辑对计算机科学的重要性数学与计算机是紧密相连的,如果没有数学功底,就很难在计算机这个行业里有所作为的。单纯依靠计算机做一些简单的应用开发,如图片处理、小系统的开发,这还不是很大的问题。但是,要完成更深层的开发,如系统集成、动画制作如3D游戏等,没有数学理论作为基础是很难完成这些工作的。数学、逻辑与计算机科学是密不可分的,数学是基础材料,逻辑是支柱,计算机科学是大厦。最常用的和理论计算机科学放在一起的是离散数学中的数理逻辑,是描述学科理论、方法和技术的主要工具。计算机和离散数学的关系密切,甚至在不少场合下成为同义词。数学功底扎实,在软件编程上的优势尽显,项目的设计模式格外地优化,程序逻辑条理也格外地清晰。数学思维与软件编程具有耦合性,因为数学可以培养人的逻辑思维能力,而程序设计需要很强的逻辑思维能力。其实,我们国家的计算机软件水平的落后不是我们缺少程序员,而是缺乏懂数学的高质量的程序员。一个具有数学修 ...