导引
集合论导引(第二卷)集论模型
《集合论导引(第二卷)集论模型》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636225。本卷是集合论的模型分析部分。在第一卷的基础上,本卷的主要任务是将逻辑植入集合论之中,并以此为基础实现三大目标:第一大目标是将同质子模型分析引入集合论,这是一种不同于组合分析的对无穷集合展开分析的基本方法;第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域,从
近世计算理论导引 : NP难度问题的背景、前景及其求解算法研究
《近世计算理论导引 : NP难度问题的背景、前景及其求解算法研究》,作者:黄文奇,许如初著 出版社:科学出版社 ISBN:7030126173。本书为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效求解途径,并在透彻讲解图灵机的基础上阐明为何有计算机不可解、难解的问题,且为NP问题指明了得出高性能求解算法的现实途径等。
椭圆曲线及其在密码学中的应用——导引
《椭圆曲线及其在密码学中的应用——导引》,作者:(德)Andreas Enge著;吴铤,董军武,王明强译 出版社:科学出版社 ISBN:9787030200341。本书以介绍椭圆曲线在密码学中的应用为目标,用浅显易懂的语言全面讲述了椭圆曲线公钥密码的相关知识,包括公钥密码学概述、有限域上椭圆曲线的算术理论、椭圆曲线上离散对数的求解算法以及有限域上椭圆曲线的求解算法等。
费马大定理 : 代数数论的原始导引
《费马大定理 : 代数数论的原始导引》,作者:Harold M.Edwards[编著] 出版社:科学出版社 ISBN:9787030313843。这本专著介绍了著名的费马大定理的发展,从费马大定理起至Kummer的理论结束,以此介绍代数数论。而一些更基础的理论,如Euler证明x+y=z的不可能性,则以更简单的方式阐述。一些新的理论和工具则通过具体问题加以介绍。这本专著还详细介绍了Kummer理论
凝固过程动力学与交界面稳定性理论导引
《凝固过程动力学与交界面稳定性理论导引》,作者:徐鉴君著 出版社:科学出版社 ISBN:7030176413。本书力求系统地讲述凝固动力学中重要的基础理论概念与近代成果,阐明平直界面的Mullins-Sekerka不稳定性理论,探讨定向凝固过程中胞晶生长的物理机制,介绍与评述枝晶生长动力学的各种近代解析理论,并系统地讲解枝晶生长的最新的理论——界面波理论。
