×

兹马思-数学第一资源

数学学科分类——MSC2020

数理逻辑与基础

116619

与数学逻辑和基础有关的一般参考书（手册、词典、参考书目等）

97

与数学逻辑和基础有关的介绍性论述（教科书、教程等）

1825

与数学逻辑和基础有关的研究展览会（专著、调查文章）

2669

数理逻辑史与基础[同时考虑第节中的分类号01-XX号]

4288

与数学逻辑和基础有关的问题的软件、源代码等

174

与数学逻辑和基础有关的会议记录、会议记录、收藏等

2500

数理逻辑与基础问题的计算方法

1

数理逻辑与基础问题的研究资料

0

逻辑与基础的哲学方面

12898

逻辑与基础的哲学与批判方面{关于数学哲学，另见00小时30分}

12177

科学哲学中的逻辑

919

以上都不是，但在本节中

21

一般逻辑

45787

经典命题逻辑

1876

经典一阶逻辑

1880

高阶逻辑

74

经典逻辑（包括直觉逻辑）的子系统

1851

抽象演绎系统

571

理论和句子的可判定性[另见2005年11月,12楼05分,2010财年]

3999

经典理论基础（包括逆向数学）[另见03层35]

1204

证明和逻辑运算的机械化[另见68V15型]

3978

类型论

134

组合逻辑与lambda演算[另见68N18]

3366

知识与信念的逻辑（包括信念变化）

2483

时态逻辑

2338

模态逻辑（包括规范逻辑）{关于知识和信仰，请参阅03B42号; 有关时序逻辑，请参见03B44号; 有关可证明逻辑，另请参见03F45}

8037

子结构逻辑（包括关联、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）{有关证明理论方面，请参见03F52型}

1367

概率论与归纳逻辑[另见60A05年]

1389

多值逻辑

3759

模糊逻辑；模糊逻辑[另见68T27型,68T37型,94D05型]

3786

次协调逻辑

1218

中间逻辑

952

其他非经典逻辑

2764

组合逻辑

164

自然语言逻辑[另见68T50型,91层20]

2171

计算机科学中的逻辑[另见68-XX号]

6229

逻辑的其他应用

528

以上都不是，但在本节中

1438

模型论

14961

方程类，模型论中的泛代数[另见08轴,08Bxx号,18摄氏度]

1013

一阶语言和结构的基本性质

593

量词消除、模型完整性和相关主题

920

有限结构模型理论[另见68问15,68问19]

946

可数可分结构的模型理论

554

超制品及相关结构

602

模型理论强迫

202

其他模型构造

342

理论的范畴性与完备性

1187

插值、保存、可定义性

817

分类理论，稳定性和模型理论中的相关概念[另见03C48号]

1849

抽象小学课程及相关主题[另见03C45型]

114

具有特殊性质的模型（饱和、刚性等）

638

模型类的性质

412

集合论模型论

303

可计算结构理论，可计算模型理论[另见D4035号]

997

模型论代数[另见08摄氏度,12长轴,13楼05分]

3104

算术模型与集合论[另见03时xx分]

732

有序结构模型理论；o-最小

847

其他数学理论模型

480

连续模型理论，度量结构模型理论

11

其他经典的一阶模型理论

641

容许集上的逻辑

136

其他无限逻辑

638

带额外量词和运算符的逻辑[另见03B42号,03B44号,03B45型,03B48号]

842

二阶和高阶模型理论

241

非经典模型（布尔值、层等）

452

抽象模型论

312

模型理论的应用[另见03C60型]

345

以上都不是，但在本节中

784

可计算性与递归理论

15366

Thue和Post系统等。

373

自动机与形式文法与逻辑问题[另见68Q45号,68问70,68兰特]

2168

图灵机及其相关概念[另见2004年第68季度]

1465

计算复杂性（包括隐式计算复杂性）[另见68问15,68问17]

2888

递归函数和关系，子递归层次结构

1778

递归（可计算）可枚举集和度

1806

其他图灵度结构

397

可计算性与递归理论中的其它度与可约性

1515

算法随机性与维数[另见68问题30]

435

不可判定性与句组程度

858

可计算性和递归理论中的单词问题等[另见06B25号,08A50型,2010财年,68兰特]

611

计算理论，有效地呈现结构[另见03C57型]{有关直观和类似的方法，请参见03F55}

1544

集合与结构的递归等价类型

226

可计算性和可定义性的层次结构

662

序、容许集等的可计算性和递归理论。

1048

高阶类型与集合递归理论

460

归纳可定义性

155

抽象公理可计算性与递归理论

363

现实的计算，可计算的分析{有关建设性方面，请参阅03层60}

440

可计算性与递归理论的应用

823

以上都不是，但在本节中

522

集合论

26666

分划关系

301

有序集及其余项；pcf理论

234

其他组合集合论

2704

序数和基数

1002

描述性集合论[另见28A05型,54时05分]

2970

连续体的基本特征

496

其他经典集合论（包括函数、关系和集合代数）

1512

选择公理及其相关命题

1218

经典集合论的公理化及其片断

803

一致性和独立性结果

3830

强制和布尔值模型的其他方面

849

内部模型，包括可构造性、序可定义性和核心模型

865

集合论可定义性的其他概念

62

连续统假设与马丁公理[另见03E57型]

1426

大红雀

2263

一般绝对性与强制公理[另见03E50型]

111

确定性原则

544

其他集合论假设与公理

396

非经典与二阶集合论

1269

模糊集理论等。

10765

集合论的应用

678

以上都不是，但在本节中

666

证明理论与建构数学

11572

一般证明理论（包括证明理论语义学）

947

割消去与范式定理

1833

证明结构

759

证明理论中的泛函

254

递归序数和序数符号

464

证明的复杂性

1117

相对一致性和解释

412

一阶算术和片段

1867

二阶和高阶算术和片段[另见03B30型]

1149

哥德尔数与不完全性问题

312

可证逻辑及相关代数（如可对角化代数）[另见03B45型,03G25型,06E25号]

288

构造系统元数学

743

线性逻辑和其他子结构逻辑的证明理论[另见03B47号]

890

直觉数学

1062

结构递归分析[另见03B30型,03D45型,03D78号,26E40型,46S30型,47S30型]

1103

其他构造数学[另见03D45型]

852

以上都不是，但在本节中

779

代数逻辑

10551

布尔代数的逻辑方面[另见06Exx公司]

1195

格与相关的逻辑结构[另见06Bxx号]

1088

量子逻辑[另见06C15,81页10页]

1633

圆柱代数和多元代数；关系代数

949

03二十国集团

Łukasiewicz与后代数的逻辑方面[另见06D25年,06日30分]

374

与逻辑有关的其他代数[另见03F45,06D20年,06E25号,06层35]

3697

抽象代数逻辑

151

范畴逻辑，拓朴[另见18B25型,18摄氏度,18摄氏度]

1771

以上都不是，但在本节中

257

非标准模型[另见03C62型]

2219

数学中的非标准模型[另见26E35型,28E05型,30G06型,46S20型,47S20型,54J05号]

1056

非标准模型的其他应用（经济学、物理学等）

199

非标准算术模型[另见2010年11月,12L15型,13楼05分]

609

以上都不是，但在本节中

399

概述

00

一般性和全局性主题；收藏

01

历史与传记

03

数理逻辑与基础

05

组合数学

06

序，格，有序代数结构

08

一般代数系统

11

数论

12

场论与多项式

13

交换代数

14

代数几何

15

线性代数和多线性代数；矩阵理论

16

结合环与代数

17

非关联环与代数

18

范畴论；同调代数

19

\（K）理论

20

群论与推广

22

拓扑群，李群

26

实函数

28

测量与集成

30

复变函数

31

势理论

32

多复变数与解析空间

33

特殊功能

34

常微分方程

35

偏微分方程

37

动力系统与遍历理论

39

差分与泛函方程

40

序列、序列、可和性

41

近似和展开

42

欧氏空间的调和分析

43

抽象谐波分析

44

积分变换，运算微积分

45

积分方程

46

功能分析

47

算符理论

49

变分法与最优控制；优化

51

几何学

52

凸与离散几何

53

微分几何

54

一般拓扑

55

代数拓扑学

57

细胞复合体和流形

58

整体分析，流形分析

60

概率论与随机过程

62

统计

65

数值分析

68

计算机科学

70

粒子与系统力学

74

可变形固体力学

76

流体力学

78

光学，电磁理论

80

经典热力学，传热

81

量子理论

82

统计力学，物质结构

83

相对论与引力理论

85

天文学和天体物理学

86

地球物理学

90

运筹学，数学规划

91

博弈论、经济学、金融学和其他社会和行为科学

92

生物学和其他自然科学

93

系统论；控制

94

信息与通信理论，电路

97

数学教育

W3C公司

©2021年菲兹卡尔斯鲁厄股份有限公司隐私政策法律声明条款和条件