序号 UID323
好友2 人
听众0 人
收听0 人
阅读权限100
注册时间2025-3-1
最后登录2025-12-2
在线时间338 小时
用户组：版主
南来北往,何忧带水拖泥;朝去暮来,不到撞头磕脑。
   
UID323
积分11751
回帖756
主题616
发书数566
威望8699
铜币57556
贡献1800
阅读权限100
注册时间2025-3-1
在线时间338 小时
最后登录2025-12-2
|
本书是波兰著名哲学家、逻辑学家塔尔斯基（1902—1983）的一部数理逻辑入门著作。全书分为两部分。第一部分用非严格的形式化方法论述了语句演算、类和关系及演绎方法的基本理论。第二部分论述了逻辑和方法论在构造教学理论中的应用，构造了一个以逻辑为基础的实算术公理系统。本书通过介绍数理逻辑的一些最重要的概念，讨论了数理逻辑的进展和意义，试图在兼顾严格性的同时，为普通读者提供了一个清晰的可理解的现代逻辑思潮观念。
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看，没有账号？立即注册
×
|
发表于 2025-5-30 14:55
发表于 2025-5-30 15:02
