论文部分内容阅读
目前计算机科学的发展日新月异。在成就的背后，逻辑学是推动计算机科学前进的主要动力。我们总结了计算机智能化革命中存在的逻辑问题，对计算机未来的发展做了一个展望。计算机科学是以逻辑学为根基的，所以计算机的发展和智能化革命中瓶颈问题的突破有赖于逻辑学的发展和突破，因此研究逻辑学在计算机科学中的应用有重要的意义，应该引起重视。