数理逻辑
2025-02-17 20:47:56
文学小说
17
【🔥扫码右侧二维码】
【📱扫码极速下载】浏览器自动唤起 💎独家资源·限时共享作者简介：
邢滔滔，北京大学哲学系副教授
内容简介：
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
评论