×

兹马思-数学第一资源

数学学科分类——MSC2020

数理逻辑与基础

117282

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

97

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

1843

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

2692

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

4312

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

174

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

2520

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

1

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

0

逻辑与基础的哲学方面

12911

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

12189

科学哲学中的逻辑

920

以上都不是，但在本节中

21

一般逻辑

46167

经典命题逻辑

1881

经典一阶逻辑

1893

高阶逻辑

80

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

1870

抽象演绎系统

573

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

4026

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

1214

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

4023

类型论

158

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

3382

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

2507

时态逻辑

2359

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

8095

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

1395

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

1393

多值逻辑

3784

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

3820

次协调逻辑

1256

中间逻辑

962

其他非经典逻辑

2781

组合逻辑

166

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

2177

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

6286

逻辑的其他应用

532

以上都不是，但在本节中

1442

模型论

15070

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

1017

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

598

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

928

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

951

可数可分结构的模型理论

562

超制品及相关结构

608

模型理论强迫

204

其他模型构造

345

理论的范畴性与完备性

1198

插值、保存、可定义性

821

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

1863

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

118

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

639

模型类的性质

416

集合论模型论

303

可计算结构理论，可计算模型理论[另见03D45型]

1007

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

3125

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

738

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

866

其他数学理论模型

480

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

13

其他经典的一阶模型理论

641

容许集上的逻辑

136

其他无限逻辑

640

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

843

二阶和高阶模型理论

241

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

457

抽象模型论

311

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

353

以上都不是，但在本节中

784

可计算性与递归理论

15441

Thue和Post系统等。

373

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

2177

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

1466

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

2897

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

1781

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

1811

其他图灵度结构

398

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

1516

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

437

不可判定性与句组程度

859

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

615

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

1558

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

226

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

666

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

1051

高阶类型与集合递归理论

461

归纳可定义性

156

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

363

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

442

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

827

以上都不是，但在本节中

523

集合论

26868

分划关系

304

有序集及其余项；pcf理论

234

其他组合集合论

2719

序数和基数

1007

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

2989

连续体的基本特征

500

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

1516

选择公理及其相关命题

1225

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

810

一致性和独立性结果

3864

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

859

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

877

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

63

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

1433

大红雀

2280

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

113

确定性原则

548

其他集合论假设与公理

396

非经典与二阶集合论

1278

模糊集理论等。

10869

集合论的应用

685

以上都不是，但在本节中

667

证明理论与建构数学

11677

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

971

割消去与范式定理

1857

证明结构

766

证明理论中的泛函

256

递归序数和序数符号

466

证明的复杂性

1126

相对一致性和解释

419

一阶算术和片段

1878

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

1160

哥德尔数与不完全性问题

316

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

293

构造系统元数学

748

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

904

直觉数学

1066

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

1111

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

859

以上都不是，但在本节中

781

代数逻辑

10608

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

1197

格及其相关结构的逻辑方面[另见06Bxx号]

1095

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

1637

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

960

03二十国集团

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

374

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

3724

抽象代数逻辑

154

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

1780

以上都不是，但在本节中

256

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

2223

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

1057

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

199

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

613

以上都不是，但在本节中

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年菲兹卡尔斯鲁厄股份有限公司隐私政策法律声明条款和条件