欢迎来到天天文库
浏览记录
ID:25859112
大小:69.19 KB
页数:4页
时间:2018-11-23
《《高数符号总结》word版》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、数量符号 如:i,2+i,a,x,自然对数底e,圆周率π。运算符号除号(÷或/)两个集合的并集(∪)交集(∩)根号(√)对数(log,lg,ln),比(:)微分(dx)积分(∫)曲线积分(∮)等。结合符号 如小括号“()”中括号“[]”,大括号“{}”横线“—”省略符号三角形(△)直角三角形(Rt△)x的函数(f(x))极限(lim)角(∠),∵因为,(一个脚站着的,站不住)∴所以,(两个脚站着的,能站住)总和(∑)连乘(∏)从n个元素中每次取出r个元素所有不同的组合数(C(r)(n))幂(A,Ac,Aq,x^n)等。排列组合符号 C-组合数 A-排列数 N-元素的
2、总个数 R-参与选择的元素个数 !-阶乘,如5!=5×4×3×2×1=120 C-Combination-组合 A-Arrangement-排列离散数学符号(未全) ∀全称量词 ∃存在量词 ├断定符(公式在L中可证) ╞满足符(公式在E上有效,公式在E上可满足) ┐命题的“非”运算 ∧命题的“合取”(“与”)运算 ∨命题的“析取”(“或”,“可兼或”)运算 →命题的“条件”运算 ?命题的“双条件”运算的 A<=>B命题A与B等价关系 A=>B命题A与B的蕴涵关系 A*公式A的对偶公式 wff合式公式 iff当且仅当 ↑命题的“与非”运算(
3、“与非门”) ↓命题的“或非”运算(“或非门”) □模态词“必然” ◇模态词“可能” φ空集 ∈属于(?不属于) P(A)集合A的幂集
4、A
5、集合A的点数 R^2=R○R[R^n=R^(n-1)○R]关系R的“复合” א阿列夫 ⊆包含 ⊂(或下面加≠)真包含 ∪集合的并运算 ∩集合的交运算 -(~)集合的差运算 〡限制 [X](右下角R)集合关于关系R的等价类 A/R集合A上关于R的商集 [a]元素a产生的循环群 I(i大写)环,理想 Z/(n)模n的同余类集合 r(R)关系R的自反闭包 s(R)关系的对称闭包 CP命题演绎的定理(
6、CP规则) EG存在推广规则(存在量词引入规则) ES存在量词特指规则(存在量词消去规则) UG全称推广规则(全称量词引入规则) US全称特指规则(全称量词消去规则) R关系 r相容关系 R○S关系与关系的复合 domf函数的定义域(前域) ranf函数的值域 f:X→Yf是X到Y的函数 GCD(x,y)x,y最大公约数 LCM(x,y)x,y最小公倍数 aH(Ha)H关于a的左(右)陪集 Ker(f)同态映射f的核(或称f同态核) [1,n]1到n的整数集合 d(u,v)点u与点v间的距离 d(v)点v的度数 G=(V,E)点集为V,边集
7、为E的图 W(G)图G的连通分支数 k(G)图G的点连通度 △(G)图G的最大点度 A(G)图G的邻接矩阵 P(G)图G的可达矩阵 M(G)图G的关联矩阵 C复数集 N自然数集(包含0在内) N*正自然数集 P素数集 Q有理数集 R实数集 Z整数集 Set集范畴 Top拓扑空间范畴 Ab交换群范畴 Grp群范畴 Mon单元半群范畴 Ring有单位元的(结合)环范畴 Rng环范畴 CRng交换环范畴 R-mod环R的左模范畴 mod-R环R的右模范畴 Field域范畴Poset偏序集范畴数学符号的意义 符号(Symbol) 意义
8、(Meaning)>>远远大于号 <<远远小于号 ∪ 并集 ∩ 交集 ⊆包含于 ⊙圆 φbet磁通系数;角度;系数(数学中常用作表示未知角) βfai磁通;角(数学中常用作表示未知角) ∞ 无穷大 ln(x) 以e为底的对数 lg(x) 以10为底的对数 floor(x) 上取整函数 ceil(x) 下取整函数 xmody 求余数 x-floor(x)小数部分 ∫f(x)dx 不定积分 ∫[a:b]f(x)dx a到b的定积分拓展思考:数学符号的应用 P为真等于1否则等于0 ∑[1≤k≤n]f(k)对n进行求和,可以拓广至很多情况 如:∑
9、[nisprime][n<10]f(n) ∑∑[1≤i≤j≤n]n^2 limf(x)(x->?)求极限 f(z)f关于z的m阶导函数 C(n:m)组合数,n中取m P(n:m)排列数 m
10、nm整除n m⊥nm与n互质 a∈Aa属于集合A #A集合A中的元素个数
此文档下载收益归作者所有