原创力文档- 1、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。。
- 2、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 3、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
数理逻辑概述 数理逻辑是一门新兴的边缘性学科，分为五个部分：即逻辑演算、证明论、公理集合论、递归论和模型论。从创始至今约有300年的历史。特别是近百年来，它取得了长足的发展，在现代的数学和计算机科学中，以及在自然科学和社会科学的一些部门中都有广泛的应用。 特别地，回顾计算机科学的发展，我们可以清晰地发现数理逻辑一直是计算机科学的理论基础和发展动力。 数理逻辑概述 在我国，逻辑学(logic)称为“论理学”，是研究人类推理过程的科学，而数理逻辑（mathematical logic）则是用数学的方法来进行这一研究的一个数学学科，其显著特征是： 符号化、形式化 即把逻
文档评论（0）