×
切换导航
关于
常见问题解答
审阅者服务
联系人
偏好
每页点击数
10
20
50
100(默认)
200
显示格式
MathJax(默认)
乳胶
文档排序
最新的第一个(默认)
引文
关联
作者排序
按字母顺序(默认)
引文
序列号排序
按字母顺序(默认)
引文
软件排序
引文(默认)
按字母顺序
好 啊
文件
作者
系列
软件
分类
福尔穆尔
搜索
领域
任何:
任意位置(默认)
复写的副本:
分类代码
计算机断层扫描:
分类文本
操作员
一个
&
b条
逻辑和(默认)
一个
|
b条
逻辑或
!
ab公司
逻辑不是
美国广播公司
*
右通配符
"
ab c公司
"
短语
(
ab c公司
)
圆括号
帮助
示例
几何图形
搜索术语
几何图形
在里面
任何
字段。
查询包括
案例相关性
.
领域
任何
在任何地方
立方厘米
分类代码
计算机断层扫描
分类文本
操作员
一
&
b条
逻辑和
美国广播公司
*
右通配符
一
|
b条
逻辑或
"
ab c公司
"
短语
!
ab公司
逻辑不是
(
ab c公司
)
圆括号
数学学科分类——MSC2020
03年XX月
数学逻辑和基础
129716
03-00
与数学逻辑和基础有关的一般参考书(手册、词典、书目等)
103
03-01
关于数学逻辑和基础的介绍性说明(教科书、教程论文等)
1977
03-02
与数学逻辑和基础相关的研究展览(专著、调查文章)
2803
03-03
数学逻辑和基础的历史
[同时考虑第节中的分类号
01月XX日
]
4712
03-04
数学逻辑和基础相关问题的软件、源代码等
184
03-06
与数理逻辑和基础有关的会议记录、会议、收藏等
2721
03-08
数学逻辑和基础问题的计算方法
4
03-11
数学逻辑和基础相关问题的研究数据
0
03轴
逻辑和基础的哲学方面
14366
03A05号
逻辑和基础的哲学和批判性方面
{关于数学哲学,另请参阅
00A30型
}
13494
03年10月
科学哲学中的逻辑
1091
03A99号
以上都不是,但在本节中
26
03亿xx
一般逻辑
51193
03B05号
经典命题逻辑
2022
03B10号机组
经典一阶逻辑
2027
03B16号
高阶逻辑
200
03B20型
经典逻辑子系统(包括直觉逻辑)
2163
03B22号
抽象演绎系统
612
03B25号
理论和句子集的可决定性
[另请参见
2005年11月
,
12升05
,
20英尺10英寸
]
4241
03B30型
经典理论基础(包括逆向数学)
[另请参见
第03页第35页
]
1430
03B35型
证明和逻辑操作的机械化
[另请参见
68伏15
]
4342
03B38型
类型理论
376
03B40型
组合逻辑与lambda演算
[另请参见
68甲18
]
3665
03B42号
知识和信念的逻辑(包括信念变化)
2978
03B44号
时间逻辑
2786
03B45号
模态逻辑(包括规范逻辑)
{有关知识和信念,请参阅
03B42号
;
有关时序逻辑,请参见
03B44号
;
有关可证明性逻辑,请参见
03层45
}
8876
03B47号
子结构逻辑(包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑)
{有关验证理论方面,请参阅
03楼52
}
1673
03B48号
概率和归纳逻辑
[另请参见
60A05型
]
1508
03B50号
多值逻辑
4077
03B52号
模糊逻辑;
模糊逻辑
[另请参见
68T27型
,
68层37
,
第94天05
]
4070
03B53型
准一致逻辑
1432
03B55号
中间逻辑
1000
03B60号
其他非经典逻辑
3039
03B62号
组合逻辑
179
03B65号
自然语言逻辑
[另请参见
68T50型
,
91层20
]
2363
03B70号
计算机科学中的逻辑
[另请参见
68倍
]
7291
03B80号
逻辑的其他应用
603
03B99号
以上都不是,但在本节中
1452
03Cxx号
模型理论
17048
03C05号机组
模型理论中的方程类、泛代数
[另请参见
08轴
,
08亿xx
,
18二氧化碳
]
1066
03C07号机组
一阶语言和结构的基本性质
663
03C10号机组
量词消除、模型完整性和相关主题
1096
03C13号机组
有限结构模型理论
[另请参见
2015年第68季度
,
19年第68季度
]
1095
03C15号
可数可分结构的模型理论
668
03C20
Ultra产品和相关结构
719
03C25号
模型理论强迫
221
03C30号
其他模型构造
408
03C35号
理论的分类和完整性
1271
03C40号
插值、保存、可定义性
932
03C45号机组
分类理论、稳定性和模型理论中的相关概念
[另请参见
03C48
]
2227
03C48
抽象初等类和相关主题
[另请参见
03C45号机组
]
178
03元50分
具有特殊属性(饱和、刚性等)的模型
749
03元52分
模型类的属性
483
03C55号
集合理论模型理论
366
03C57号
可计算结构理论
[另请参见
03D45号
]
1143
03C60型
模型理论代数
[另请参见
08C10号
,
12升xx
,
13升05
]
3511
03C62号
算术和集合论模型
[另请参见
03年月日
]
825
03C64号
有序结构的模型理论;
o极小性
1129
03C65号
其他数学理论模型
564
03C66号
连续模型理论、度量结构模型理论
91
03C68号
其他经典一阶模型理论
670
03C70号
容许集上的逻辑
144
03C75号
其他无穷逻辑
690
03C80号
带有额外量词和运算符的逻辑
[另请参见
03B42号
,
03B44号
,
03B45号
,
03B48号
]
893
03C85号
二阶和高阶模型理论
267
03C90号
非经典模型(布尔值、层等)
498
03C95号
抽象模型理论
364
03C98号
模型理论的应用
[另请参见
03C60型
]
501
03C99号
以上都不是,但在本节中
798
03年月日
可计算性和递归理论
16634
03年3月
Thue和Post系统等。
385
05年3月
与逻辑问题相关的自动机和形式文法
[另请参见
第68季度第45季度
,
70年第68季度
,
68兰特
]
2320
03日第10天
图灵机及其相关概念
[另请参见
04年第68季度
]
1534
2015年3月1日
计算复杂性(包括隐式计算复杂性)
[另请参见
2015年第68季度
,
2017年第68季度
]
3052
03D20日
递归函数和关系、子递归层次结构
1855
03D25号
递归(可计算)可枚举集和度
1894
03D28号
其他图灵度结构
452
03日30分
可计算性和递归理论中的其他度和可约性
1638
03第32页
算法随机性和维数
[另请参见
68问题30
]
522
03天35分
句子集的不确定性和程度
935
03D40号
可计算性和递归理论中的单词问题等
[另请参见
2006年2月25日
,
08A50
,
20英尺10英寸
,
68兰特
]
647
03D45号
计算理论,有效呈现结构
[另请参见
03C57号
]{有关直观和类似的方法,请参见
03楼55
}
1741
03D50型
集合和结构的递归等价类型
229
03D55号
可计算性和可定义性的层次结构
715
03天60
序数、容许集等的可计算性和递归理论。
1109
03D65年
高级类型和集合递归理论
497
03日70
归纳可定义性
171
03D75号
抽象公理可计算性和递归理论
385
03D78号
实数计算,可计算分析
{有关建设性方面,请参阅
03层60
}
592
03天80
可计算性和递归理论的应用
901
03D99号
以上都不是,但在本节中
545
03埃克斯
集合论
29470
03E02号
分区关系
404
04年3月
有序集及其余终结性;
pcf理论
297
03E05号
其他组合集合论
3077
03E10年
序数和基数
1107
03E15年
描述性集合论
[另请参见
2005年10月28日
,
05年5月54日
]
3487
2017年3月
连续体的基本特征
691
03E20型
其他经典集合论(包括函数、关系和集合代数)
1546
03E25型
选择公理和相关命题
1428
03E30年
经典集合论及其片断的公理化
886
03E35号
一致性和独立性结果
4511
03E40型
强制模型和布尔值模型的其他方面
1009
03E45型
内部模型,包括可构造性、顺序可定义性和核心模型
1044
03E47型
集合理论可定义性的其他概念
89
03E50
连续统假设与马丁公理
[另请参见
03E57型
]
1550
03E55型
大型基数
2602
03E57型
一般绝对性和强制公理
[另请参见
03E50
]
169
03E60年
确定性原则
649
03E65年
其他集合理论假设和公理
479
03E70型
非经典和二阶集合论
1367
03E72型
模糊集理论等。
11542
03E75型
集合论的应用
834
03E99型
以上都不是,但在本节中
697
03Fxx公司
证明理论与构造数学
13068
03财年03
一般证明理论(包括证明理论语义)
1169
05年3月
切割消除和正规形定理
2089
2007年3月
证明的结构
826
2010年1月3日
证明理论中的函数
301
2015年1月3日
递归序数和序数符号
523
03英尺20英寸
证明的复杂性
1229
35层03
相对一致性和解释
495
03英尺30英寸
一阶算法和片段
2080
第03页第35页
二阶和高阶算术和片段
[另请参见
03B30型
]
1306
03英尺40英寸
哥德尔数与不完全性问题
418
03层45
可证明逻辑和相关代数(例如,可对角化代数)
[另请参见
03B45号
,
03G25号
,
06E25年
]
351
03楼50
构造系统的元数学
848
03楼52
线性逻辑和其他子结构逻辑的理论证明
[另请参见
03B47号
]
1047
03楼55
直觉数学
1145
03层60
构造性和递归分析
[另请参见
03B30型
,
03D45号
,
03D78号
,
26E40型
,
46 S30
,
47 S30
]
1226
65楼03号
其他构造数学
[另请参见
03D45号
]
978
1999年3月
以上都不是,但在本节中
804
03Gxx公司
代数逻辑
11665
05年3月
布尔代数的逻辑方面
[另请参见
06 Exx公司
]
1255
03G10年
格和相关结构的逻辑方面
[另请参见
06Bxx年
]
1278
03G12号机组
量子逻辑
[另请参见
06第15页
,
81页第10页
]
1792
03G15年
柱代数和多代数;
关系代数
1016
03G20年
Łukasiewicz和后代数的逻辑方面
[另请参见
2015年2月6日
,
06时30分
]
394
03G25号
与逻辑相关的其他代数
[另请参见
03层45
,
06D20日
,
06E25年
,
35楼06号
]
4102
03G27号
抽象代数逻辑
204
03G30型
分类逻辑,拓扑
[另请参见
18对25
,
18二氧化碳
,
18立方厘米
]
2008
03G99型
以上都不是,但在本节中
267
03年月日
非标准型号
[另请参见
03C62号
]
2379
05年3月
数学中的非标准模型
[另请参见
26E35岁
,
2005年10月28日
,
2006年8月30日
,
46秒20
,
47平方米
,
54J05型
]
1149
03H10年上半年
非标准模型的其他应用(经济学、物理学等)
211
2015年上半年03日
非标准算术模型
[另请参见
11单元10
,
第12页第15页
,
13升05
]
660
99年3月
以上都不是,但在本节中
405
概述
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
数学教育
© 2024
FIZ卡尔斯鲁厄股份有限公司
隐私政策
法律声明
条款和条件
(在新选项卡中打开)