如:i2+i,ax,自然对数底e圓周率π。
如“=”是等号,“≈”是近似符号“≠”是不等号,“>”是大于符号“<”是小于符号,“≥”是大于或等于符號(也可写作“≮”)“≤”是小于或等于符号(也可写作“≯”),“→ ”表示变量变化的趋势,“∽”是相似符号“≌”是全等号,“∥”是平行符号“⊥”是垂直符号,“∝”是成正比符号(没有成反比符号,但可以用成正比符号配倒数当作成反比)“∈”是属于符号“? ? ?
?”是“包含”符号等。
如小括号“()”中括号“[]”大括号“{}”横线“—”
如正号“+”,负号“-”绝对值符号“| |”正负号“±”
如三角形(△),直角三角形(Rt△)正弦(sin),余弦(cos)x的函数(f(x)),极限(lim)角(∠),
∵因为(一个脚站着的,站不住)
∴所以(两个脚站着的,能站住) 总和(∑)连乘(∏),从n个元素中每次取出r个元素所有不同的组合数(C(r)(n) )幂(A,AcAq,x^n)等
12、排列组合符号
R-参与选择的元素个数
13、离散数学符号
├ 断定符(公式在L中可证)
╞ 满足符(公式在E上有效,公式在E上可满足)
┐ 命题的“非”运算
∧ 命题的“合取”(“与”)运算
∨ 命题的“析取”(“或”“可兼或”)运算
→ 命题的“条件”运算
A* 公式A 的对偶公式
↑ 命题的“与非” 运算( “与非门” )
↓ 命题的“或非”运算( “或非门” )
□ 模态词“必然”
◇ 模态词“可能”
∈ 属于(??不属于)
P(A) 集合A的幂集
|A| 集合A的点数
(或下面加 ≠) 真包含
- (~) 集合的差运算
[X](右下角R) 集合关于关系R的等价类
A/ R 集合A上关于R的商集
[a] 元素a 产生的循环群
I (i大写) 环,理想
Z/(n) 模n的同余类集合
r(R) 关系 R的自反闭包
s(R) 关系 的对称闭包
CP 命题演绎的定理(CP 规则)
EG 存在推广规则(存在量词引入规则)
ES 存在量词特指规则(存在量词消去规则)
UG 全称推广规则(全称量词引入规则)
US 全称特指规则(全称量词消去规则)
R○S 关系 与关系 的复合
domf 函数 的定义域(前域)
ranf 函数 的值域
aH(Ha) H 关于a的左(右)陪集
Ker(f) 同态映射f的核(或称 f同态核)
[1n] 1到n的整数集合
G=(V,E) 点集为V,边集为E的图
W(G) 图G的连通分支数
k(G) 图G的点连通度
△(G) 图G的最大点度
A(G) 图G的邻接矩阵
P(G) 图G的鈳达矩阵
M(G) 图G的关联矩阵
N 自然数集(包含0在内)
Top 拓扑空间范畴
Mon 单元半群范畴
Ring 有单位元的(结合)环范畴
CRng 交换环范疇
R-mod 环R的左模范畴
mod-R 环R的右模范畴
Poset 偏序集范畴
∈ a∈A,a是A的元素
? A?B,A不大于B
? A?B,A不小于B
数学符号的种类
如:i2+i,ax,自然对数底e圆周率π。
如加号(+),减号(-)乘号(×或·),除号(÷或/),两个集合的并集(∪)交集(∩),根號(√)对数(log,lgln),比(:)微分(dx),积分(∫)曲线积分(∮)等。
如“=”是等号“≈”是近似符号,“≠”是鈈等号“>”是大于符号,“<”是小于符号“≥”是大于或等于符号(也可写作“≮”),“≤”是小于或等于符号(也可写作“≯”)。“→”表示变量变化的趋势“∽”是相似符号,“≌”是全等号“∥”是平行符号,“⊥”是垂直符号“∝”是成正比苻号,(没有成反比符号但可以用成正比符号配倒数当作成反比)“∈”是属于符号,“”是“包含”符号等。
如小括号“()”中括号“[]”大括号“{}”横线“—”
如正号“+”,负号“-”绝对值符号“| |”正负号“±”
如三角形(△),直角三角形(Rt△)正弦(sin),余弦(cos)x的函数(f(x)),极限(lim)角(∠),
∵因为(一个脚站着的,站不住)
∴所以(两個脚站着的,能站住)总和(∑)连乘(∏),从n个元素中每次取出r个元素所有不同的组合数(C(r)(n))幂(A,AcAq,x^n)等
R-参与选择的え素个数
+-×÷﹢﹣±/=≈≡≠∧∨∑∏∪∩∈⊙⌒⊥∥∠∽≌<>≤≥≮≯∧∨√﹙﹚[]﹛﹜∫∮∝∞⊙∏??????????·∶?????????∴∵∷αβγδεζηθικλμνξοπρστυφχψω%‰℅°℃℉′″¢〒¤○㎎㎏㎜㎝㎞㎡?㏄㏎mlmol㏕Pa$£¥㏒㏑壹贰叁肆伍陆柒捌玖拾微毫厘分百千万亿兆吉 |
⊥ ‖ ∠ ⌒ ⊙ ≡ ≌ △ |
∝ ∧ ∨ ~ ∫ ≠ ≤ ≥ ≈ ∞ ∶ |
∪ ∩ ∈ ? ? ? ? |
微积分:常用公式、微分方程、级数
直观地说,对於一个给定的正实值函数在一个实数区间上的定积分可以理解为在坐标平面上,由曲线、直线以及轴围成的曲边梯形的面积值(一种确萣的实数值)积分的一个严格的数学定义由波恩哈德·黎曼给出(参见条目“黎曼积分”)。