×
切换导航
关于
常见问题解答
审阅者服务
联系人
偏好
每页默认点击数
10
20
50
100（默认）
200
默认显示格式
MathJax（默认）
乳胶
默认文档排序
最新优先（默认）
最老的第一个
参考文献引文
回顾引文
Zbl/JFM音量
相关性排名
好 啊
文件
作者
连载
分类
软件
Formulæ
搜索
领域
任何：
任意位置（默认）
复写的副本：
分类代码
计算机断层扫描：
分类文本
操作员
a
&
b
逻辑与（默认）
a
|
b
逻辑或
!
ab型
逻辑非
abc公司
*
右通配符
"
ab c公司
"
短语
(
ab c公司
)
圆括号
帮助
示例
几何学
搜索术语
几何学
在里面
任何
字段。
查询是
与案件无关
.
领域
任何
在任何地方
复写的副本
分类代码
计算机断层扫描
分类文本
操作员
一
&
b
逻辑与
abc公司
*
右通配符
一
|
b
逻辑或
"
ab c公司
"
短语
!
ab型
逻辑非
(
ab c公司
)
圆括号
数学学科分类——MSC2020
03-XX年
数理逻辑与基础
120228
03-00号
与数学逻辑和基础有关的一般参考书（手册、词典、参考书目等）
98
03-01年
与数学逻辑和基础有关的介绍性论述（教科书、教程等）
1877
03-02年
与数学逻辑和基础有关的研究展览会（专著、调查文章）
2717
03-03年
数理逻辑史与基础
[同时考虑第节中的分类号
01-XX号
]
4398
03-04年
与数学逻辑和基础有关的问题的软件、源代码等
174
2006年3月
与数学逻辑和基础有关的会议记录、会议记录、收藏等
2584
08年3月
数理逻辑与基础问题的计算方法
2
2011年3月
数理逻辑与基础问题的研究资料
0
03轴
逻辑与基础的哲学方面
13336
03A05型
逻辑与基础的哲学与批判方面
{关于数学哲学，另见
00小时30分
}
12576
03A10号
科学哲学中的逻辑
966
03A99型
以上都不是，但在本节中
19
03Bxx号
一般逻辑
47376
03B05型
经典命题逻辑
1902
03B10号
经典一阶逻辑
1925
03B16号
高阶逻辑
112
03B20型
经典逻辑（包括直觉逻辑）的子系统
1931
03B22号
抽象演绎系统
581
03B25型
理论和句子的可判定性
[另见
2005年11月
,
12楼05分
,
2010财年
]
4064
03B30型
经典理论基础（包括逆向数学）
[另见
03层35
]
1261
03B35型
证明和逻辑运算的机械化
[另见
68V15型
]
4116
03B38号
类型论
201
03B40型
组合逻辑与lambda演算
[另见
68N18
]
3435
03B42号
知识与信念的逻辑（包括信念变化）
2659
03B44号
时态逻辑
2457
03B45型
模态逻辑（包括规范逻辑）
{关于知识和信仰，请参阅
03B42号
;
有关时序逻辑，请参见
03B44号
;
有关可证明逻辑，另请参见
03F45
}
8262
03B47号
子结构逻辑（包括关联、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
{有关证明理论方面，请参见
03F52型
}
1459
03B48号
概率论与归纳逻辑
[另见
60A05年
]
1422
03B50型
多值逻辑
3856
03B52型
模糊逻辑；
模糊逻辑
[另见
68T27型
,
68T37型
,
94D05型
]
3869
03B53号
次协调逻辑
1314
03B55型
中间逻辑
962
03B60型
其他非经典逻辑
2809
03B62型
组合逻辑
167
03B65型
自然语言逻辑
[另见
68T50型
,
91层20
]
2235
03B70型
计算机科学中的逻辑
[另见
68-XX号
]
6560
03B80型
逻辑的其他应用
539
03B99号
以上都不是，但在本节中
1440
03Cxx型
模型论
15357
03C05型
方程类，模型论中的泛代数
[另见
08轴
,
08Bxx号
,
18摄氏度
]
1006
03C07型
一阶语言和结构的基本性质
613
03C10型
量词消除、模型完整性和相关主题
951
03C13
有限结构模型理论
[另见
68问15
,
68问19
]
969
03C15型
可数可分结构的模型理论
583
03立方厘米
超制品及相关结构
620
03C25型
模型理论强迫
201
03立方厘米
其他模型构造
358
03C35型
理论的范畴性与完备性
1216
03C40型
插值、保存、可定义性
853
03C45型
分类理论，稳定性和模型理论中的相关概念
[另见
03C48号
]
1923
03C48号
抽象小学课程及相关主题
[另见
03C45型
]
124
03C50型
具有特殊性质的模型（饱和、刚性等）
659
03C52型
模型类的性质
422
03C55型
集合论模型论
305
03C57型
可计算结构理论，可计算模型理论
[另见
03D45型
]
1040
03C60型
模型论代数
[另见
08摄氏度
,
12长轴
,
13楼05分
]
3199
03C62型
算术模型与集合论
[另见
03时xx分
]
746
03C64号
有序结构模型理论；
o-最小
905
03C65型
其他数学理论模型
492
03C66号
连续模型理论，度量结构模型理论
19
03C68号
其他经典的一阶模型理论
648
03C70型
容许集上的逻辑
138
03C75型
其他无限逻辑
647
03C80型
带额外量词和运算符的逻辑
[另见
03B42号
,
03B44号
,
03B45型
,
03B48号
]
849
03C85型
二阶和高阶模型理论
243
03C90型
非经典模型（布尔值、层等）
464
03C95型
抽象模型论
314
03C98号
模型理论的应用
[另见
03C60型
]
374
03C99号
以上都不是，但在本节中
788
03Dxx公司
可计算性与递归理论
15730
03年03月
Thue和Post系统等。
375
03D05年
自动机与形式文法与逻辑问题
[另见
68Q45号
,
68问70
,
68兰特
]
2223
03天10分
图灵机及其相关概念
[另见
2004年第68季度
]
1480
03D15号
计算复杂性（包括隐式计算复杂性）
[另见
68问15
,
68问17
]
2921
03年20月
递归函数和关系，子递归层次结构
1792
03D25年
递归（可计算）可枚举集和度
1830
03D28年
其他图灵度结构
418
03天30分
可计算性与递归理论中的其它度与可约性
1550
03D32
算法随机性与维数
[另见
68问题30
]
456
03天35分
不可判定性与句组程度
880
03D40号
可计算性和递归理论中的单词问题等
[另见
06B25号
,
08A50型
,
2010财年
,
68兰特
]
620
03D45型
计算理论，有效地呈现结构
[另见
03C57型
]{有关直观和类似的方法，请参见
03F55
}
1611
03D50型
集合与结构的递归等价类型
226
03D55
可计算性和可定义性的层次结构
671
03D60型
序、容许集等的可计算性和递归理论。
1065
03D65型
高阶类型与集合递归理论
468
03D70型
归纳可定义性
161
03D75型
抽象公理可计算性与递归理论
364
03D78号
现实的计算，可计算的分析
{有关建设性方面，请参阅
03层60
}
485
03D80型
可计算性与递归理论的应用
843
03D99号
以上都不是，但在本节中
531
03Exx公司
集合论
27365
03E02型
分划关系
315
03E04型
有序集及其余项；
pcf理论
242
03E05型
其他组合集合论
2785
03E10号
序数和基数
1020
03E15号
描述性集合论
[另见
28A05型
,
54时05分
]
3071
03E17号
连续体的基本特征
542
03E20型
其他经典集合论（包括函数、关系和集合代数）
1515
03E25型
选择公理及其相关命题
1254
03E30号
经典集合论的公理化及其片断
821
03E35号
一致性和独立性结果
3974
03E40型
强制和布尔值模型的其他方面
883
03E45型
内部模型，包括可构造性、序可定义性和核心模型
897
03E47号
集合论可定义性的其他概念
66
03E50型
连续统假设与马丁公理
[另见
03E57型
]
1454
03E55型
大红雀
2319
03E57型
一般绝对性与强制公理
[另见
03E50型
]
120
03E60型
确定性原则
563
03E65型
其他集合论假设与公理
403
03E70型
非经典与二阶集合论
1302
03E72型
模糊集理论等。
11027
03E75型
集合论的应用
697
03E99号
以上都不是，但在本节中
684
03Fxx公司
证明理论与建构数学
11996
03F03号
一般证明理论（包括证明理论语义学）
1022
03F05号
割消去与范式定理
1916
03F07号
证明结构
801
03层
证明理论中的泛函
263
35层
递归序数和序数符号
476
03层20
证明的复杂性
1158
03层25
相对一致性和解释
430
03层30
一阶算术和片段
1915
03层35
二阶和高阶算术和片段
[另见
03B30型
]
1199
03F40
哥德尔数与不完全性问题
330
03F45
可证逻辑及相关代数（如可对角化代数）
[另见
03B45型
,
03G25型
,
06E25号
]
299
03F50型
构造系统元数学
761
03F52型
线性逻辑和其他子结构逻辑的证明理论
[另见
03B47号
]
951
03F55
直觉数学
1098
03层60
结构递归分析
[另见
03B30型
,
03D45型
,
03D78号
,
26E40型
,
46S30型
,
47S30型
]
1135
03F65
其他构造数学
[另见
03D45型
]
877
03F99型
以上都不是，但在本节中
781
03Gxx公司
代数逻辑
10882
03G05号
布尔代数的逻辑方面
[另见
06Exx公司
]
1206
03G10型
格及其相关结构的逻辑方面
[另见
06Bxx号
]
1137
03G12
量子逻辑
[另见
06C15
,
81页10页
]
1691
03G15型
圆柱代数和多元代数；
关系代数
975
03二十国集团
Łukasiewicz与后代数的逻辑方面
[另见
06D25年
,
06日30分
]
378
03G25型
与逻辑有关的其他代数
[另见
03F45
,
06D20年
,
06E25号
,
06层35
]
3824
03G27号
抽象代数逻辑
165
03G30型
范畴逻辑，拓朴
[另见
18B25型
,
18摄氏度
,
18摄氏度
]
1814
03G99号
以上都不是，但在本节中
260
03时xx分
非标准模型
[另见
03C62型
]
2242
03时05分
数学中的非标准模型
[另见
26E35型
,
28E05型
,
30G06型
,
46S20型
,
47S20型
,
54J05号
]
1068
03时10分
非标准模型的其他应用（经济学、物理学等）
201
03时15分
非标准算术模型
[另见
2010年11月
,
12L15型
,
13楼05分
]
616
03时99分
以上都不是，但在本节中
400
概述
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
数学教育
©2022年
菲兹卡尔斯鲁厄股份有限公司
隐私政策
法律声明
条款和条件
（在新选项卡中打开）