大约有4,000项符合查询结果项。（搜索耗时：0.0150秒）
为您推荐： 绘画形式语言与创新研究 中国语言文学研究 现代语言学研究 理论 方法 20世纪中国语言学方法论研究 文体学视阈下的格特鲁德 斯泰因语言艺术研究 关中山东方言岛语言接触与演变研究
-
两类“相对论”形式逻辑分析 【数理化】
杨本洛著2011 年出版336 页ISBN：9787313069245本书主要涉及“相对论”数学基本问题的若干文章，与Maxwell的电磁场经典理论体系仍然崇尚“经验事实”基础，只因为理性认识和数学功能工具的历史局限性几乎必然隐含许多逻辑不当完全不同，两类“相对论”以及他...
-
自守形式与 Langlands 纲领 【数理化】
季理真等2009 年出版319 页ISBN：9787040262131Langlands纲领是20世纪数学的重要工程之一，该工程对许多领域诸如数论、表示论、算术代数几何等都起到了关键的作用。有着紧密联系的自守表示是Langlands纲领中的基础概念。在过去的几年中，几何Langlands纲领...
-
数理逻辑 基本原理与形式演算 第2版 【数理化】
李未著2014 年出版289 页ISBN：9787030401557本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
-
-
-
非平衡态热力学和流体力学形式逻辑分析 【数理化】
杨本洛著2013 年出版336 页ISBN：9787313088109本书汇集了作者自2005年末起所撰写的若干相关文章，涉及20世纪“非平衡态热力学”的思考、针对西方主流科学世界近期含蓄提出对“流体力学基本方程”所作反思的重新反思以及与发生在19世纪末和20世纪末自然科...
-
自守形式与L-函数简明六章 英文 【数理化】
Ze-Li Dou， Qiao Zhang2012 年出版123 页ISBN：9787030331687这本小书的主题是数论中两个重要的课题，即L-函数理论中的MomentConjecture和GoroShimura（志村五郎）的periodconjectures，是笔者根据在中国、美国、土耳其等做的一些报告和讲座补充、改编而成的。这两个猜想的深...
-
数理逻辑：基本原理与形式演算 【数理化】
李未著2008 年出版255 页ISBN：9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
-
向量微积分、线性代数和微分形式 原书第3版 英文 【数理化】
（美）哈伯德（HubbardJ.H.）著2013 年出版805 页ISBN：9787510061509本书是一部优秀的微积分教材，好评不断。引用亚马逊上评论“是一本必选教材。”“是微积分教学方法的一次革新。”本书材料的选择和编排有不同于标准方法的三点：（一）在这个水平的研究中，线性代数是研究多变量微积...
-
整权与半整权模形式 英文 【数理化】
Xueli Wang， Dingyi Pei2012 年出版432 页ISBN：9787030330796模形式理论是数论的一个十分重要的分支，它在数学和物理学的许多领域有十分重要的应用。本书将全面介绍整权和半整权单变量模形式的基本理论和现代研究成果：低权模形式（主要是低权Eisenstein级数）的构造，整权与半...