未读消息消息

店铺

我的订单收藏

拍卖

拍卖交易我的竞拍收藏

我的好友资金账户

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 8:00-21:00

纠纷处理 9:00-21:00

图书审核 9:00-18:00

监督与建议

请选择

手机孔网

相对论的逻辑观

相对论的逻辑观

分享

作者: 陈磊著 , 朱科夫著 , 翟若迅著

出版社: 北京理工大学出版社

出版时间: 2020-06

版次: 1

ISBN: 9787568286046

定价: 59.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 150页

分类: 哲学心理学

2人买过

《相对论的逻辑观》以一阶逻辑为方法研究相对论的公理化问题，系统地汇总了近年来国内外学者沿着匈牙利学派的路径所取得的成果。书中用相对易懂的语言简单介绍了相对论的基本原理及要素，同时也对一阶逻辑的相关概念和方法进行了论述。这些将帮助有一定基础的读者较快地进入《相对论的逻辑观》的主体内容。笔者以“从仅有惯性观者的狭义相对论到有加速观者的狭义相对论，再到观者无关的狭义相对论，最后到广义相对论”的顺序为主线，将匈牙利学派的研究及笔者的成果有机地串联起来，使读者对这一内容有较全面的理解和较深刻的解读。
《相对论的逻辑观》适合对相对论公理系统感兴趣的读者。同时，《相对论的逻辑观》也可以看作一阶逻辑的应用，因此也适合对数理逻辑应用感兴趣的读者。第1篇相对论的基本思想及理论要素
第1章狭义相对论简述
1．1 洛伦兹变换
1．2 质点的动力学
第2章微分几何简介
2．1 坐标系与微分流形
2．2 流形上的场
第3章从几何看狭义相对论
3．1 间隔不变性
3．2 闵氏度规
3．3 世界线固有时
3．4 双生子佯谬
3．5 车库佯谬
第4章广义相对论简述
4．1 广义相对论的基本思想
4．2 广义相对论的动力学

第2篇一阶逻辑基础及应用
第5章一阶逻辑系统概述
5．1 谓词演算系统
5．2 语法和语义
第6章一阶逻辑系统的应用

第3篇相对论的逻辑公理系统
第7章狭义相对论的一阶公理系统
7．1 相对论逻辑基础研究的历史考察
7．2 为狭义相对论寻求一阶逻辑基础的原因
7．3 狭义相对论的基本概念
7．4 基本概念的一阶逻辑表述
7．5 狭义相对论的一阶逻辑公理系统Specrel
7．6 完善后的狭义相对论的一阶逻辑公理系统Specrel\'
7．7 简单证明
第8章有加速观者的狭义相对论的一阶公理系统
8．1 双生子佯谬的形式化
8．2 AccRel公理系统
8．3 AccRel公理系统的缺陷
8．4 Specrel+公理系统
8．5 Specrel+与SpecRelDyn的对比
8．6 一阶广义定义扩张模型
8．7 SpecRel*系统中的公理
第9章广义相对论的一阶公理系统
9．1 广义相对论的公理系统LorMan
9．2 两个系统之间关系的讨论

第4篇多类逻辑与广义相对论
第10章一阶逻辑的扩展――一阶多类逻辑
10．1 矢量空间
10．2 简单的二阶理论
第11章广义相对论的多类逻辑公理系统
第12章主要工作及展望
后记
参考文献
内容简介:
《相对论的逻辑观》以一阶逻辑为方法研究相对论的公理化问题，系统地汇总了近年来国内外学者沿着匈牙利学派的路径所取得的成果。书中用相对易懂的语言简单介绍了相对论的基本原理及要素，同时也对一阶逻辑的相关概念和方法进行了论述。这些将帮助有一定基础的读者较快地进入《相对论的逻辑观》的主体内容。笔者以“从仅有惯性观者的狭义相对论到有加速观者的狭义相对论，再到观者无关的狭义相对论，最后到广义相对论”的顺序为主线，将匈牙利学派的研究及笔者的成果有机地串联起来，使读者对这一内容有较全面的理解和较深刻的解读。
《相对论的逻辑观》适合对相对论公理系统感兴趣的读者。同时，《相对论的逻辑观》也可以看作一阶逻辑的应用，因此也适合对数理逻辑应用感兴趣的读者。
目录:
第1篇相对论的基本思想及理论要素
第1章狭义相对论简述
1．1 洛伦兹变换
1．2 质点的动力学
第2章微分几何简介
2．1 坐标系与微分流形
2．2 流形上的场
第3章从几何看狭义相对论
3．1 间隔不变性
3．2 闵氏度规
3．3 世界线固有时
3．4 双生子佯谬
3．5 车库佯谬
第4章广义相对论简述
4．1 广义相对论的基本思想
4．2 广义相对论的动力学

第2篇一阶逻辑基础及应用
第5章一阶逻辑系统概述
5．1 谓词演算系统
5．2 语法和语义
第6章一阶逻辑系统的应用

第3篇相对论的逻辑公理系统
第7章狭义相对论的一阶公理系统
7．1 相对论逻辑基础研究的历史考察
7．2 为狭义相对论寻求一阶逻辑基础的原因
7．3 狭义相对论的基本概念
7．4 基本概念的一阶逻辑表述
7．5 狭义相对论的一阶逻辑公理系统Specrel
7．6 完善后的狭义相对论的一阶逻辑公理系统Specrel\'
7．7 简单证明
第8章有加速观者的狭义相对论的一阶公理系统
8．1 双生子佯谬的形式化
8．2 AccRel公理系统
8．3 AccRel公理系统的缺陷
8．4 Specrel+公理系统
8．5 Specrel+与SpecRelDyn的对比
8．6 一阶广义定义扩张模型
8．7 SpecRel*系统中的公理
第9章广义相对论的一阶公理系统
9．1 广义相对论的公理系统LorMan
9．2 两个系统之间关系的讨论

第4篇多类逻辑与广义相对论
第10章一阶逻辑的扩展――一阶多类逻辑
10．1 矢量空间
10．2 简单的二阶理论
第11章广义相对论的多类逻辑公理系统
第12章主要工作及展望
后记
参考文献

查看详情

相关分类

哲学理论世界哲学中国哲学思维科学逻辑学(论理学) 伦理学(道德哲学) 美学心理学励志与成功

目前没有书店销售此书