文档介绍：索购全文在线加好友：（同时提供论文辅导写作和学术期刊论文发表服务）
逻辑学论文：计算机科学中的逻辑应用研究
【中文摘要】目前计算机科学的发展日新月异。在成就的背后，逻辑学是推动计算机科学前进的主要动l program design and bring up the question about logical gateof all, we may say that logic runs through the origin anddevelopment of computer science. First of all, symbolic language andmathematical logic bring about the birth of the prototype of the moderncomputer Von Neumann machine, whose logical basis is the classicaltwo-valued logic. Secondly, modern computer science can not develop andprogress without symbolic language mathematical logic. From the initial numerical computation, word processing to multimedia (which can managecomplex text, sound and graphics data) are due to
索购全文在线加好友：（同时提供论文辅导写作和学术期刊论文发表服务）
“digital” , we can say, the logic plays a major role in the whole life ofcomputer , we make a summary of logical problems in the intelligentrevolution. And make a forecast to computer’s Science is rooted in logic, so the development of computer andthe breakthroughs of the bottleneck problem in intelligent revolutionarydepend on breakthroughs in the development of logic, so logic is a very usefultool to computer science research. We ought to take them into consideration.
【关键词】逻辑学 计算机科学 谓词逻辑 人工智能 推理
【英文关键词】logic computer science predicate logic arti