专业研究

本站付费内容（1天时间可见）无需注册登录，点击立即支付后支付宝扫二维码支付（偶尔弹出失败请再尝试两遍），等待页面跳转显示下载链接（手机端需手动刷新页面，推荐电脑访问）！

文件大小：025.63 MB 生物数学-徐克学著

下载地址：

生物数学徐克学 徐克学 著 9787030078506 科学出版社
作者:徐克学 著出版社:科学出版社出版时间:2018年03月

开 本：16开纸 张：胶版纸包 装：平装-胶订是否套装：否国际标准书号ISBN：9787030078506
所属分类：
图书>考试>公务员考试>国家公务员考试

本书为中国科学院研究生教学丛书之一。
生物数学是20世纪生物学飞速发展中产生的一门新兴边缘学科。生物数学的基本理论与方法对当代生物学的发展产生重大影响，并在生物学有关领域得到广泛应用。本书对生物数学的发展历史、基本原理、数学方法及其在生物学领域中的应用作了比较系统的介绍。书中部分内容出自著者的科研和教学成果，如演化集合论、二元数据的数据处理和计算方法、生物信息论中的离散论、马尔柯夫链中的带输入马尔柯夫状态序列以及系统与控制论中的部分理论。本书内容适应了当代生物学研究工作对新理论知识和新技术方法的需要，有一定的深度和广度。

Read more电子版pdf《生物数学》徐克学著

文件大小：013.99 MB 模型论基础-王世强

下载地址：

模型论基础
作者:王世强出版社:科学出版社出版时间:2017年12月

开 本：128开纸 张：胶版纸包 装：平装是否套装：否国际标准书号ISBN：9787030059956丛书名：现代数学基础丛书
所属分类：
图书>自然科学>数学>数学理论

内容简介
《现代数学基础丛书·典藏版（22）：模型论基础》介绍模型论的基础知识，主要内容有：紧致性定理，省略型定理，内插定理，完全理论与模型完全理论，初等链，超积，模型论力迫法，饱和模型等。并附有模型论方法对经典数学应用的一些例于。
《现代数学基础丛书·典藏版（22）：模型论基础》可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读。也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考，
目　　录
章 形式语言及其模型
第二章 紧致性定理与LST定理
第三章 初等子模型与模型完全理论

Read more《模型论基础-王世强》电子版pdf

文件大小：048.67 MB 几何定理机器证明的几何不变量方法

下载地址：

几何定理机器证明的几何不变量方法
作者:张景中，高小山，周咸青出版社:科学出版社出版时间:2018年03月

开 本：16开纸 张：包 装：圆脊精装是否套装：否国际标准书号ISBN：9787030440662丛书名：数学机械化丛书12
所属分类：
图书>自然科学>数学>几何与拓扑

编辑推荐
《几何定理机器证明的几何不变量方法》可以作为数学、计算机科学以及相关工程领域的科研人员、教师以及研究生了解几何定理机器证明几何不变量方法的参考书, 也可以作为高等院校与中学教师进行几何教育改革的参考书.
内容简介
《几何定理机器证明的几何不变量方法》系统介绍了几何定理机器证明的几何不变量方法. 主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法. 与基于坐标的几何定理机器证明方法(如吴(文俊)方法与Groebner基方法)相比, 基于几何不变量的几何定理机器证明方法可以产生较为简洁与可读的证明, 从而提高机器证明的质量. 作为应用, 该方法可以用来简化工程技术领域(如机器人、机构学、计算机视觉等)中出现的几何计算问题. 《几何定理机器证明的几何不变量方法》还介绍了几何定理机器证明的演绎数据库方法以及面积法在非欧几何中的推广.

Read more电子版pdf《几何定理机器证明的几何不变量方法》作者:张景中，高小山，周咸青

文件大小：014.75 MB 基础拓扑学讲义

下载地址：

基础拓扑学讲义
作者:尤承业出版社:北京大学出版社出版时间:2021年12月

开 本：大32开纸 张：胶版纸包 装：平装是否套装：否国际标准书号ISBN：9787301031032
所属分类：
图书>教材>研究生/本科/专科教材>理学

Read more电子版pdf《基础拓扑学讲义》作者:尤承业

文件大小：040.65 MB 基础拓扑学 修订版 作者:[英]马克·阿姆斯特朗

下载地址：

基础拓扑学（修订版）
图灵数学经典 拓扑学基础 微分拓扑 代数拓扑
作者:[英]马克·阿姆斯特朗出版社:人民邮电出版社出版时间:2019年10月

开 本：16开纸 张：胶版纸包 装：平装-胶订是否套装：否国际标准书号ISBN：9787115518910丛书名：图灵数学经典
所属分类：
图书>自然科学>数学>几何与拓扑
图书>教材>研究生/本科/专科教材>理学

编辑推荐
1.拓扑学主要研究拓扑空间在拓扑变换下的不变性质和不变量。在数学上，关于柯尼斯堡七桥问题、多面体的欧拉定理、四色问题等都是拓扑学发展史的重要问题。拓扑学在泛函分析、李群论、微分几何、微分方程等其他许多数学分支中都有广泛的应用。拓扑学对于分析学的现代发展、抽象代数学的发展都起了极大的推动作用。它在形成范畴与函子的观念，以及在经济学、突变理论、物理学、化学、生物学也都有直接的应用。 2. 本书内容浅易，是一部拓扑学入门书籍。具有实分析、初等群论、线性代数的人都可以看懂本书。本书作者很注意数学的美，原文在第 一章开头引了一条语录，是英国数学家G.H.Hardy的一句名言；大意是说，只有令人产生美感的那一部分数学才可能长久流传。这大概是作者在本书的取材和表述方面为自己立下的一条标准吧。 3. 本书是美国很多高校的拓扑学教材，如加州大学伯克利分校。

Read more电子版pdf《基础拓扑学 修订版》作者:[英]马克·阿姆斯特朗

文件大小：020.69 MB 方程求解与机器证明基于MMP的问题求解 高小山,王定康,裘宗

下载地址：

方程求解与机器证明:基于MMP的问题求解 高小山，王定康，裘宗燕，杨宏 著 9787030178626 科学出版社有限责任公司
作者:高小山，王定康，裘宗燕，杨宏 著出版社:科学出版社有限责任公司出版时间:2006年09月

开 本：16开纸 张：胶版纸包 装：精装是否套装：否国际标准书号ISBN：9787030178626
所属分类：
图书>考试>公务员考试>国家公务员考试

编辑推荐
POD产品说明：1. 本产品为按需印刷（POD）图书，实行先付款，后印刷的流程。您在页面购买且完成支付后，订单转交出版社。出版社根据您的订单采用数字印刷的方式，单独为您印制该图书，属于定制产品。2. 按需印刷的图书装帧均为平装书（含原为精装的图书）。由于印刷工艺、彩墨的批次不同，颜色会与老版本略有差异，但通常会比老版本的颜色更准确。原书内容含彩图的，统一变成黑白图，原书含光盘的，统一无法提供光盘。

Read more《方程求解与机器证明基于MMP的问题求解》 高小山,王定康,裘宗 电子版pdf

文件大小：007.15 MB 代数曲面拼接的理论与算法研究-厉玉蓉编著

下载地址：

代数曲面拼接的理论与算法研究
作者:厉玉蓉出版社:科学出版社出版时间:2011年08月

开 本：16开纸 张：胶版纸包 装：平装-胶订是否套装：否国际标准书号ISBN：9787030321930
所属分类：
图书>考试>其他类考试>秘书资格考试用书

编辑推荐
《代数曲面拼接的理论与算法研究》主要利用构造性代数几何理论对代数曲面拼接问题的两个方面进行探讨和研究。一方面，就二次代数曲面的低次光滑拼接曲面问题进行研究；另一方面，针对代数曲面的重构问题进行探讨。章为绪论；第2章和第3章主要就多个二次代数曲面的 次光滑拼接曲面的构造理论与算法进行了探讨；第4章研究用分片代数曲面进行曲面重建的构造性理论，得到了划分方法和三次分片代数曲面存在的条件；第5章介绍两类具有特殊形式的五次代数曲面的构造，一类是根据三次控制曲面的存在性来构造高光滑度的重建曲面，另一类是具有组合形式的五次代数曲面的构造——根据四次弱光滑度曲面的存在性来构造符合要求的五次代数曲面。

Read more《代数曲面拼接的理论与算法研究》-厉玉蓉编著 电子版pdf

book-00044 文件大小：010.05 MB 《周髀算经》新议-曲安京 著

下载地址：

《周髀算经》新议 曲安京著 陕西人民出版社
开 本：16开纸 张：胶版纸包 装：平装-胶订是否套装：否国际标准书号ISBN：9787224060195
所属分类：
图书>老书/收藏

内容简介
基本信息：

书名:《周髀算经》新议

定价：10.0

作者:曲安京著

Read more《周髀算经》新议-曲安京 著 电子版pdf

book-00043 文件大小：178.94 MB 《数学原理》的演化 伯特兰·罗素撰写第2版时的手稿与笔记

下载地址：

开 本：16开纸 张：胶版纸包 装：平装-胶订是否套装：否国际标准书号ISBN：9787560372594
所属分类：
图书>考试>其他类考试>其他

内容简介
本书是对哲学家、数学家、逻辑学家、历史学家、社会评论家伯特兰·罗素(Bertrand Russell，1872-1970)关于《数学原理》第二版的手稿与笔记的整理和解读。本书共八章：1.导论；2.关于第二版的写作；3.靠前版的逻辑；4.记号和逻辑；5.新版本的改进；6.在附录B中的归纳法和类型；7.第二版收到的评价；8.罗素写给卡纳普（Carnap）的定义列表。
作者简介
伯纳德·林斯基是加拿大阿尔伯塔大学的哲学系教授，研究有关形而上学的哲学逻辑领域，出版书籍6部，发表论文40余篇。2003年开始访问罗素档案馆，研究罗素的手稿和书信，编辑整理罗素关于《数学原理》第二版的手稿和笔记，并写出一系列的研究论文。
目　　录
章 导论
第二章 关于第二版的写作
第三章 版的逻辑
第四章 记号和逻辑

Read more[英文]《数学原理》的演化 伯特兰·罗素撰写第2版时的手稿与笔记电子版pdf