ε空间.II-第三年的数学博客选文

数学中有很多只言片语的民间传闻由导师传给学生，或由同事传给同事，但因其过于模糊且不够严格，无法在正式文献中进行讨论。通常知道这种“数学传闻”需要机缘巧合，但是到了今天，这些只言片语可以通过研究博客这种半正式的传播媒体进行有效和高效的传播。本书便是源于博客...

概念认知学习理论与方法

概念认知学习是人工智能、大数据领域关注的多学科交叉研究方向，涵盖了哲学、数学、心理学、认知科学以及信息科学等领域．本书旨在为广大学者和科研工作者提供概念认知学习领域的基础理论与学习方法．本书主要内容包括概念认知学习的基本概念和基础知识、概念认知系统的逻辑推理、概念认知的双向学习机制、对象 -属性诱导概念学习理论、多注意力概念认知学习模型、渐进模糊三支概念的增量学习机理、复杂网络下的概念认知学习以及概念的渐进式认知等理论体系...

MATLAB高等数学实验

本书以Python软件为基础,结合编者多年的数学实验课程教学实践编写的，内容涉及高等数学、工程数学中的相关数学实验、数学规划、插值与拟合、微分方程、差分方程、评价预测、图论模型、多元分析、MonteCarlo模拟、智能算法、时间序列分析、支持向量机、图像处理等内容，既有对算法数学原理的详述，又有案例和配套的Python程序。本书含有Python快速入门基础，可以帮助Python零基础的读者快速掌握Python语言...

HOPF代数表示范畴中的MONOIDAL不变量(英文)

本书在Hopf代数表示范畴层面引入一些新的monoidal不变量，这些不变量包括表示范畴的Green环、Casimir数、高阶Frobenius-Schur指标、Grothendieck环、某种类型的多元齐次多项式等。著作主要研究这些不变量在Hopf代数表示理论中所发挥的作用，揭示这些不变量与Hopf代数表示范畴中其它重要研究对象之间的关系，通过具体实例展示这些不变量的具体表现形式等。这些不变量的引入为人们研究Hopf代数表示范畴的结

无理数:Ζ(3)及其他

自从1978年R. Apéry证明了ζ(3)的无理性以来，ζ函数在奇数上的值的无理性研究一直是引人注目的数论课题。本书给出与此有关的一些基本结果(如ζ(3)的无理性的Apéry原证和Beukers的证明等)以及近些年来T. Rivoal和W. Zudilin等人的新进展(如ζ(2k+1)(k≥1)中有无穷多个无理数，ζ(5)，ζ(7)，ζ(9)，ζ(11)中至少有一个无理数，等等)；此外，还给出无理数理论的一些经典结果和方法，如无理数

超越数:基本理论

本书较全面地讲述了超越数论的基本结果和主要方法，包括Hilbert第七问题的解，指数函数、对数函数、椭圆函数、E函数、Mahler型函数等重要函数类的超越性质，以及数的分类和超越性度量.通过这些基本结果给出了Gelfond�睸chneider方法、Baker方法、Siegel-Shidlovskii方法、Mahler方法及逼近方法等超越数论基本方法...

数值计算——方法与应用

本书以MATLAB为工具，以实际问题数学模型的建立与求解为案例，介绍数值计算方法及其在实际问题中的应用。主要内容包括：MATLAB的基本操作、误差分析、曲线插值与曲面插值、曲线拟合、数值积分与数值微分、特征值与特征向量的计算、线性方程组的数值解法、非线性方程（组）的数值解法、常微分方程（组）的数值解法、综合案例讲解等。在每章方法讲解之后均附有相关应用案例分析及练习题，旨在通过理论讲解和实验操作，使学生了解和掌握数值计算中的基本概念、基

Ordinary differential equations

.这本苏联/俄罗斯数学家阿诺德所著的常微分方程讲义独具特色。书中强调常微分方程的定性性质和几何性质及其它们的解，全书有272个几何插图，却没有一个复杂的数学公式。全书分为5章36节。本书是阿诺德的名著，他的许多优秀作品都被翻译为英文，本书是其中的一本，其简明的写作风格、严谨的数学基础结合物理直觉，给人一种很轻松漫谈式的教学特点，被誉为最优秀的常微分教材...

博弈论.代数几何.图的平面嵌入卷/吴文俊全集

本书收录吴文俊发表的愽弈论、代数几何和图的平面嵌入等三个方面的论文。《关于愽弈理论基本定理的一个注记》是中国博弈论研究的开山之作。《活动受的非协作对策》等两篇论文则包含了吴文俊对博弈论最重要的贡献──本质均衡概念的提出及其存在性证明。本质均衡是一类特殊的纳什均衡，吴文俊是能在早期就认识纳什理论的深刻意义并率先作出有生命力的贡献的少数数学家。《具有对偶有理分割的代数簇》等一组代数几何学论文，记载了吴文俊在代数几何领域的成果，其中最重要的

新型元启发式算法及其应用

本书以蜂鸟和蝠鲼觅食为基础，提出了两个新的智能优化算法并把这些算法应用在水文地质工程中。全书共分为5章：第1章介绍了智能优化算法的发展历程、目前主要的优化算法以及算法的优缺点；第2章介绍了人工蜂鸟搜索优化算法的提出过程、基本原理并对该算法进行了测试；第3章介绍了人工蜂鸟搜索优化算法在水文地质工程中的详细应用；第4章介绍了蝠鲼觅食搜索优化算法的提出过程、基本原理，并对该算法进行了测试；第5章对介绍了蝠鲼觅食搜索优化算法在工程中的具体应用

组合半群的若干课题(英文版)

本书专著所涉及的，是"半群字的代数组合学"的如下几个课题："正则，r-正则语言"，"析取，r-析取语言"，"若干代数码"以及"正则语言和析取语言的其它广义"等...

非凸变分不等式--基本理论、数值分析及应用

本书针对非凸变分不等式投影类方法中客观存在的错误，给出修正的理论结果，进而利用投影技术研究上述正则非凸变分不等式与不动点问题、变分包含问题之间的正确关系，从而建立正则非凸变分不等式和不动点问题之间的等价性。利用这种等价性来讨论正则非凸变分不等式的解的存在性，并且利用这等价替代形式来构造解正则非凸变分不等式的投影类迭代算法。通过理论证明迭代算法在一定条件下是收敛的。此外，本书从力学问题引入拟定常变分不等式思路和原理, 建立具时滞拟定常变

认知抑制与数学问题解决

近年来，越来越多的国内外学者倾向于用认知心理学的方法探讨数学问题解决的认知机制，尤其是从认知抑制的角度研究在学生掌握了相应的知识后仍然在解决问题上出现错误的机理。本书主要内容包括介绍数学问题解决中主要的直觉启发式偏差现象；关于直觉启发式偏差的理论解释；抑制控制在克服直觉启发式偏差的作用；个体出现直觉启发式偏差是因为冲突探测失败还是抑制控制失败？专家是否仍然需要抑制控制才能克服直觉启发式偏差？哪些干预措施有助于避免直觉启发式偏差等...

随机平均法及其应用(下册)

随机平均法是研究非线性随机动力学（响应、稳定性、可靠性）与控制的一种十分有效的近似解析方法。它不仅能简化系统方程，降低其维数，而且能基本保留原系统的非线性特性。大多数情况下，平均后系统响应为马尔柯夫扩散过程，可以充分运用数学中关于马尔柯夫过程的研究成果。自上世纪60年代斯特拉多诺维奇提出，哈斯敏斯基提出数学依据后，随机平均法一直在不断发展与应用。至上世纪90年代初，随机平均法限于多自由度拟线性随机系统与一个自由度强非线性随机系统。其后

概率统计教程

随着我国社会和经济建设的高速发展，全国高等教育规模日益扩大，工科院校各专业对公共数学课的课程建设、教学内容的更新和教材建设提出了新的要求。本书包括概率论和数理统计两部分内容。具体内容为随机事件及其概率、随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、大数定律与中心极限定理、数理统计的基本概念、参数估计、假设检验。本书结构清晰、逻辑严谨、讲述详细、通俗易懂、例题多样、习题丰富，既便于学生自学，也易于教学，可供高等院校工科类各

线性代数习题详解与提高

《线性代数习题详解与提高》是北京建筑大学数学系编写的《线性代数》（2019 版）的配套教材。本书对《线性代数》各章知识进行了梳理和总结，包括知识脉络图、知识要点和学习要求；对各章的习题和复习题做了详尽的解答；同时， 为满足学有余力的读者的需要， 还补充了“常见题型”部分，其中不乏考研真题，这部分题目在难度和解题技巧方面都有进一步提升，达到考研题目水平。 本书可供高等院校工程类相关专业、成人高等教育及自学者作为线性代数课程的辅助教材使用

阿基米德全集

全书共四卷，前三卷是丹麦语言学家、数学史家海伯格的《阿基米德全集及注释》，由希腊文原文和拉丁文注释写成。第四卷是英国古典学家、数学史家希思根据海伯格及有关史料编辑而成，据1897年版影印，书中使用希腊文原文和英文。该卷书中有《导论》8章，由希思撰写，并且希思在阿基米德著作的原文中引进了现代数学的符号...

时标动态经济建模与分析

本书介绍动态经济模型的时标建模与分析.主要内容有时标Solow模型、时标Ramsey模型、时标蛛网模型、时标乘数-加速数模型、时标通货膨胀与失业模型、时标上的行为经济学理论等.试图通过尽可能多的动态模型时标分析的呈现，帮助读者快速了解时标与动态经济学交叉的研究前沿.本书可供高等院校数学专业和经济学专业的研究生，或者高年级本科生阅读.也可以作为高校教师和相关领域科研工作者的教学和科研参考书.也可供对经济增长与时标理论感兴趣的从业人员阅读

数学——简单与高深:席南华通俗文章集

本书的文章主要分两类。一类是数学的通俗文章，另一类是讲话的讲稿、纪念文章、庆贺文章等。此外还有一篇关于数学史的翻译文章和一个附录。数学的通俗文章中，"数学概述"为大百科全书第三版数学卷的概观条目"数学"而作，此处标题做了修改；"基础数学的一些过去和现状"原为《中国科学院院刊》而作，后略加修改转载于丛书"数学与人文"第十四辑《数学与科学》，这里略微增加了一点新发展的内容；"黎曼猜想-引无数英雄竞折腰"原为科普丛书《认识数学》第一卷而作，

改进傅里叶方法及其应用

据Dirichlet定理，定义在有限区间上的分段连续（光滑）的函数可以展开为"形式Fourier级数"，但它在间断点和区间的端点附近呈现剧烈振荡，即Gibbs现象。二阶微分方程的逼近函数就由奇异因子与二阶可微的改进Fourier级数的乘积组成。这一套求解步骤就称作改进Fourier方法！利用改进Fourier方法，本书中对诸多类型的线性常微分方程给出了通用的求解思路。作为算例对6种常见的特殊方程给出了详尽的求解过程。利用改进Fouri

PT对称非线性波方程的理论与应用

自1998年PT对称量子力学(非经典量子力学)被提出以来,逐步激发了人们对有关PT对称理论和实验方面的广泛关注.作者自2007年开始研究PT对称相关的问题,本书的主要内容源于作者的部分研究成果.本书主要阐述PT对称理论、方法及其在线性和非线性波方程中的应用,主要针对具有物理意义的不同复值PT对称势,研究非厄米Hamilton算子具有全实特征值谱的参数分布、非线性光学系统及相关领域中的非线性Schr？dinger方程(其在Bose-Ei

代数学教程:第二卷:Volume Ⅱ:抽象代数基础:Basics of abstract algebra

本书共4章，介绍了群论基础、环论基础、域论基础、伽罗瓦理论的相关知识.本书适合高等学校数学相关专业师生及数学爱好者阅读参考...

中考数学选择填空解答压轴好题妙解365:最新版

本书精选了365道中考数学中的选择题、填空题和解答题，归纳总结出了中考试卷中的选择题、填空题和解答题的解题方法和技巧，题型全面，可开拓考生的视野，进一步提高考生的解题速度。本书适合参加中考的学生及初中教师参考使用...

数字法学高端讲演录(一)

本书是对当今国内部分数字法治和数字法法学权威研究者演讲内容，以及部分校内外学者访谈内容的汇编整理，是山东大学法学院“数据法学高端论坛”的重要成果。其具体内容既涉及宏观理论又涉及微观操作，对数字法学相关内容从不同角度进行了详细阐述。从数字法治基础理论入手，对数字社会的法律规制、数字社会的法治化治理、面向数字法治的时代转型等进行论述，试图全面回应现代法治向数字法治转型升级过程中出现的问题，提出通过加快规制理念的更新转型、推进规制体系的重建

微积分学习指导(第2版)

本书通过对微积分发展历史的回顾，对微积分各个部分内容和方法的概括综合，以及对若干常见的疑难问题的解答，帮助读者在整体上理解微积分的原理和方法。然后通过典型例题的分析和习题的训练，帮助读者扎扎实实地掌握微积分的基本解题方法。认真阅读这本书并且钻研其中的问题，能够帮助读者全面提高对微积分的理解水平和解题能力...

基于代数理论的纠错码和量子纠错码研究

本书主要面向大学数学、计算机科学与技术专业信息安全方向的高年级本科生、研究生,以及对纠错编码感兴趣的教师和科研人员。全书分为10 章。第1章是绪论,介绍了纠错码的研究意义与进展,以及量子纠错码的研究意义与进展。第2和3章分别介绍了有限环上的自对偶循环码和拟循环码的一些结论。第4章介绍了指数为1的循环码的代数结构和极小生成集。第5章介绍了通过有限环上的循环码构造量子纠错码的方法。第6和7章分别介绍了有限环上单偶长常循环码的对偶码的代数结

Measure Theory(测度论)

作者Halmos在遍历理论、代数逻辑、算子理论等方面的研究很有成就。本书是Springer《数学研究生教材》丛书之１８卷，是测度论的经典名著，书中对测度论作了较全面的论述，并详细介绍了前苏联和法国各学派的研究工作及其重要成果...

偏微分方程-第4版-(影印版)

本书是一部非常优秀的介绍偏微分方程的入门书籍，可以作为研究生阶段的基石性教材，书中详尽地介绍了偏微分方程理论的重要方面，并从数学分析的角度做了进一步的探讨。本版最后一章为全新内容，专门讲述无解线性方程的Lewy例子...

泛函分析教程-第2版-(影印版)

本书作者擅长写教科书，以选材仔细、论述清晰、实例丰富著称。本书是一部代理科研究生使用的泛函分析教材，读者只需具备积分和测度论的知识即可阅读。全书充分体现了作者的著书风格，以实例先行，从具体到一般，从浅入深，并配有许多精心挑选的例题和习题...

数学中的美

这是一本探讨“数学之美”的著述,书中从数学的简洁性、抽象性、和谐性、奇异性等方面出发,列举了数学中的美,试图引导人们去欣赏数学美,发现数学美,研究数学美,创造数学美,本书是《数学的创造》的姊妹...

差分方程理论及其应用

本书论述线性和非线性差分方程的理论及其应用，包括差分及和分的概念与性质、线性差分方程解法、线性差分算子的正性及相应非线性边值问题的正解的存在性和多解性、线性差分方程的非共辄概念、线性差分方程边值问题Green函数的符号、带不定权二阶线性差分方程边值问题的谱理论、离散Fucik谱理论、非共振情形和共振情形下非线性二阶差分方程边值问题的可解性、全局分歧理论在含参非线性二阶差分方程边值问题中的应用等...

图解直观数学译丛群论彩图版

本书旨在帮助读者看到群?认识群?验证群,从而理解群的实质。本书通过大量的图像和直观解释来介绍群论。本书的主要内容有:群是什么?群看起来像什么?为什么学习群?群的代数定义?五个群族、子群、与商、同态的力量？西罗定理?伽罗瓦理论?每章很后一节为习题,书后附有部分习题答案?本书适合抽象代数(近世代数)课程的学生和教师,也适合那些抢先发售接触群论并需要在较短时间内理解群论的读者...

一般拓扑学讲义

本书内容包括映射的连续性、拓扑空间的连通性和紧性及分离公理和可数公理。本书的大部分内容既适用于一年级本科生，又会使希望学习一般拓扑学的基本概念、例子和习题的研究生和数学家感兴趣。 本书作者王国亮为北京理工大学副教授，本书完稿于作者在麻省理工学院(MIT)的访问期间...

Cn中的齐性有界域理论

本书分八章, 内容包括: Siegel域 ; 齐性Siegel域 ; 正规Siegel域 ; 齐性有界域的其他实现 ; 正规Siegel域的全纯自同构群 ; 对称正规Siegel域 ; 方型域及对偶方型域的分类等...

涡度法

本书系统地叙述了涡度法的数学理论, 内容主要分为Euler方程涡度法的收敛性, 粘性分离格式的收敛性和随机涡团法的收敛性三个部分, 其中包括无粘与粘性流、初值问题与初边值问题、半离散化与全离散化以及有关不可压缩流的数学理论...

高斯随机过程的局部时和随机流形

该书将主要介绍几类高斯随机过程在局部时和随机流动形等方面的近期新研究进展情况。全书主要包括五部分，部分"引言"中介绍研究背景、研究意义、研究现状、研究内容、研究方法、结构安排等；第二部分"无穷维随机分析方法"中主要介绍白噪声分析方法和Malliavin分析方法；第三部"高斯随机过程"主要介绍布朗运动、分数布朗运动、次分数布朗运动、双分数布朗运动、多分数布朗运动等；第四部分"局部时",主要介绍分数布朗运动、多分数布朗运动、分数O-U过程

数学对话录

这本由数学家写成的小册子，充分地体现了数学文化、科学精神和学者应有的风骨。作者雷尼立意巧妙，在真实的三段古代背景里，假托苏格拉底、阿基米德和伽利略与其他人的对话，抽丝剥茧地探讨了数学是什么、数学的应用该如何展开，以及数学语言对科学的意义这三大主题。本书语言优美、节奏和缓，用可读性很强的对话，慢慢将探讨带向深层，使读者既能体会思维提升的乐趣，又可以享受轻松适意的阅读过程。读雷尼的《数学对话录》，不需要任何专门知识。但是只有肯思考的人，才

抽象凸分析:英文

《抽象凸分析（英文）》主要包括从凸分析到抽象凸分析、一个完整格的元素的抽象凸性、集合子集的抽象凸性、集上函数的抽象凸性、完全晶格之间的对偶性、晶格族之间的对偶、函数集合之间的对偶性、抽象的次微分等内容，也包含了关于当代抽象凸分析非常先进且详尽的考查。 《抽象凸分析（英文）》致力于研究通过在一个有序的空间中取得上确界（或下确界）元素族的操作来表示复杂的对象。 在《抽象凸分析（英文）》中，读者可以找到对抽象凸性的几种方法的介绍和它

线性回归方法的相对有效性和估值漂移

本书中讨论和确定了常用稳健估计方法的相对有效性, 以及总体最小二乘法与最小二乘法、稳健总体最小二乘法与稳健最小二乘法线性回归在不同误差模型影响下的相对有效性 ; 提出了参数估计方法线性回顾估值漂移的概念, 讨论了最小二乘法和总体最小二乘法线性回归估值漂移的相关问题等...

解析几何手工作图

本书主要内容包括: 作图工具, 空间坐标系, 空间中的点、直线、平面, 图形方程到图形及其特征总论, 空间特殊平面上的曲线、特殊曲面, 空间一般曲线, 空间曲面, 空间区域, 手工作图与计算机数学软件作图的特点比较, 手工作图能力应用等章节, 另附有常见计算机数学软件作图方法介绍...

优势粗糙集:理论、方法与应用

《优势粗糙集 : 理论、方法与应用》系统介绍序决策系统的优势粗糙集方法, 包括属性约简的辨识矩阵方法、启发式方法及其加速算法和基于证据理论的方法, 研究不完备序信息系统、区间值序决策系统和直觉模糊序信息系统的属性约简问题, 提出序模糊决策系统的优势粗糙模糊集理论...

密码俱乐部——用数学做加密和解密的游戏

本书以密码俱乐部的活动为线索，用有趣的活动和叙事化的语言向读者展示了各种用数学加密和解密的方法。本书通俗易懂，读者只要具备中学数学的知识基础，就可以徜徉在密码的世界里，与各种密码系统嬉戏。本书中涉及恺撒密码、代入式密码、模运算密码、乘法密码等经典的密码，也涵盖了现代密码学上的密码，同时提供了丰富了历史小故事。本书使用灵活，不仅适合人个阅读，也可以作为活动材料，与朋友们一起游戏。本书可以让读者认识到数学是一个有趣且迷人的学科...

谱域统计分析——由航海安全问题驱动的数据科学

本书旨在介绍当代谱域统计分析的主流思想和方法及其在船体振动与受力等航海实测数据分析中的应用，主要内容包括谱域统计分析的基本理论、航海数据科学与谱域统计分析的联系、平稳谱的非参数估计、特别应力与疲劳损伤的谱域分析、时变谱非参数统计分析、基于分位数谱的统计分析等...

方程的整数解漫谈

本书主要介绍了方程的自然数解、整数解以及有理数解, 考虑到读者的范围较广, 作者挑选了一些不用专门的数论方法可解决的方程, 有时为了保证叙述的系统性, 作者还对用数论工具解决的问题的结果作了一些简短的介绍。本书中除了一些经典问题以外还报道了许多在近20年到30年来的研究成果。书中内容较为系统和全面, 为方便大多数读者阅读, 书中问题解答详尽, 值得向大家推广...

高斯和与雅可比和(英文)

本书主要包括高斯和的定义, 雅可比和与分圆数, 在F之上的雅可比估计, 差集, 偏差, 互易律, 二项式系数的同余, 有限域对角方程, 三、四、五、六、八阶的爱因斯坦和, 斯蒂克伯格对高斯和的全等性的解释, 剩余功率的充要条件, 高斯和的应用, 雅各布-斯涛尔和的同余, 四次互逆律等内容。本书的目标是为读者提供关于高斯和与雅可比和的奇妙定理的简单应用, 使读者易于使用, 特别是对初级研究生来说, 希望高斯, 雅可比, 艾森斯坦和其他数

非线性离散系统中的分岔与稳定性

本书讨论非线性离散动力系统中的分岔和稳定性，包括单调和振荡稳定性理论与单调和振荡分岔理论。本书不仅给出了周期-1 的不动点在某特定特征向量方向上的稳定性与分岔理论、并讨论其不动点的高阶奇异性，而且描述了一般非线性离散系统具有重特征根的正则形式、并介绍了具有无限不动点的离散动力系统。作者发现了不动点的局部分析理论不能解释或获得倍周期不动点解的稳定性和分岔。本书分五章介绍非线性离散系统的**发展，以便读者更好地、系统地理解与学习非线性离散

互补约束优化理论与算法

《互补约束优化理论与方法》系统地介绍了互补约束优化的相关理论、光滑化方法和松弛方法，主要内容包括互补约束优化的约束规格、很优性条件、线性互补约束优化的光滑化方法、非线性互补约束优化的光滑化方法以及松弛方法等。全书共分五章：章是互补约束优化的应用背景，主要介绍两个互补约束优化的实例；第2章是基础知识，主要介绍互补约束优化的约束规格和很优性条件；第3章是线性互补约束优化的光滑化算法，主要介绍两个序列二次规划（SQP）算法和一个序列线性方程

图矩阵:理论和应用

本书共分为七章，较为详细地介绍了矩阵一些必要的基本概念；介绍了矩阵广义逆保持问题和分块矩阵广义逆矩阵表达式的新的研究成果；介绍了张量一般积的张量左、右逆、{i,j,k,…}广义逆、群逆和张量爱因斯坦积MP逆、Drazin逆的新的研究成果...

Moduli Spaces and Locally Symmetric Spaces(模空间与局部对称空间)

自1857年由黎曼引入以来，黎曼曲面的模空间和相关对象已成为很重要的空间之一，通过多种不同方法被广泛研究。它们与局部对称空间密切相关。本书清晰、系统地介绍了黎曼曲面的模空间、代数曲线、黎曼曲面上向量丛的模空间、奇点的模空间以及对一类自然的局部对称空间的紧化。本书是关于这些重要主题的一部有价值的导引和参考书...

基于统计学习的时空动力系统建模

随机偏微分方程的系统辨识是利用随机分布参数系统的观测数据去重构描述这个系统的未知的随机偏微分方程，它可以看作是对随机偏微分方程的”反向”的研究。偏微分动力学系统的辨识与建模是一个比较前沿，综合性的研究方向。本书对这个方向的研究成果进行了综述，对作者已有的一些重要工作进行了总结与延深，并为相关未来的研究提供有益的启迪...

灰色预测理论及其应用

本书以建模对象为主线, 以经典灰色预测模型为基础, 以该领域近年来的研究成果为重点, 介绍各类灰色预测模型的适用对象、建模机理、参数估计、时间响应式及模型应用等内容...

数理逻辑引论