本课程为北京大学数理逻辑视频教程，全套课程共41学时，由外唐网整理免费共享。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
✅当您赞助下载文档后，您只能预览，并不意味着购买了版权，不得用于商业用途(直接或间接盈利)，下载后请24H内删除。
✅本站所有内容均由热心网友分享赠送，本站不对文档的完整性、权威性及正确性做任何保证或承诺！文档内容仅供预览参考。
1、打开文档需要使用基本的办公软件，如Word、Office、WPS、Pdf、Cad、Rar、Zip等。
2、如遇下载失败、解压失败、文档缺失等问题，请通过【反馈】按钮提交。
