欢迎来到天天文库
浏览记录
ID:38676050
大小:93.91 KB
页数:14页
时间:2019-06-17
《数学物理大全(专业最全版)》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、运算符号符号中文发音意义+加(正)数相加-减(负)数相减±加减(正负)表正负同存或加减同算×或*或·乘数相乘÷或/除数相除(除数不为0)如a÷b中,b≠0√ ̄平方根数开平方(被开方数≥0)3√ ̄立方根数开立方(被开方数不限)a²平方某数平方a³立方某数立方exp(x)或a^x指数指数函数运算,表次方(a>0且a≠1)(x∈R)Logax对数对数函数运算,指数的反函数(a>0且a≠1)(x∈R)log2x同lbx基底为2对数同上Log10x同lgx基底为10对数同上Logex同Inx自然对数(基底为e对数)同上ax分
2、数分数运算,x≠0:(∷)比(比例)比例运算,与除法运算法则一致
3、a
4、绝对值规定
5、a
6、≥0(
7、a
8、≮0)(a∈R)%(‰)百分号(千分号)a%同a÷100,a‰同a÷1000
9、条件限制如{x
10、x∈R}∞(-∞)无穷大(无穷小)用于数的极限(lim)运算关系符号符号中文发音意义=等于用于基本初等运算,如3+1=4≡恒等于用于公式推导,如Δ≡b²-4ac≈约等于用于运算结果省略约等≒近似于同上,如2÷3≒0.667≠不等于用于运算结果不相等,如3≠4>大于运算大于情况3>2<小于运算小于情况4<5≥同≮大于等于(不小于
11、)运算大于等于情况≤同≯小于等于(不大于)运算小于等于情况>>远大于如999>>0.0002<<远小于如0.000054<<5566555∽相似用于图形证明,如△₁∽△₂≌全等于用于图形证明,如□₃≌□₂∝正比于用于比例运算,如在y=5x中,y∝x表x随y同增同减∈属于用于元素运算,如2∈R∉不属于同上,如3.5∉N∩交如R∩Q=Q表集合的公共部分∪并如N*∪R=R表两个集合共同占有的部分⊆包含A是B的一部分(可等)N⊆R⊂(或⫋)真包含A是B的一部分(不可等)如N⊂N*⊙同域表示两个集合属于共同领域⊕异域表示两个
12、集合异于共同领域CuA补集表示在全集中不属于A的另一部分U=R全集表示某个范畴包含所有几何的条件∅空集表示不满足条件的集合逻辑判定符号符号中文发音意义∵因为逻辑用语∴所以逻辑用语∧与逻辑用语∨或逻辑用语()小括号(开区间)不包含端点的区间如(3,5)={x
13、314、3≤x≤5}{}大括号(花括号)一般用于函数运算如{x15、5x+35=87}∑阶和如∑5=1+2+3+4+5=15∏阶积如 ∏ai=a1*a2*……*ann!阶乘如5!=5×4×3×2×1=120,16、规定0!=1n!!半阶乘(双阶乘)如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840∀ 全称量词代指全部称号,非略写如∀sin=sine∃存在量词带只存在某物├断定符(公式在L中可证)╞满足符(公式在E上有效,公式在E上可满足)﹁“非”命题的“非”运算,如命题的否定为﹁p→箭头命题的“条件”运算↔双箭头命题的“双条件”运算等价p<=>q ,命题p与q的等价关系,可互推导推导出命题p与q的蕴涵关系↑上箭头命题的“与非”运算↓下箭头命题的“或非”运算◇(□)斜方框(方框)模态词“可能”(必然)三17、角函数和图形代码正矢versinθ=1-cosθ 余矢coversθ=1-sinθ 正弦(sin)=对边∶斜边 余弦(cos)=邻边∶斜边 正切(tan)=对边∶邻边 余切(cot)=邻边∶对边 正割(sec)=斜边∶邻边余割(csc)=斜边∶对边△→三角形⊿□→正方形◇→菱形☆→五角星⊙→圆→平行四边形⌒→圆弧∥平行=平行且相等⊥垂直∟直角∠角°°′分″秒〒单位字母代码C 组合数A(或P) 排列数n 元素的总个数r 参与选择的元素个数wff 合式公式iff 当且仅当Z/(n)模n的同余类集合r(R)关18、系 R的自反闭包s(R)关系 R的对称闭包CP命题演绎的定理(CP规则)EG存在推广规则(存在量词引入规则)ES存在量词特指规则(存在量词消去规则)UG全称推广规则(全称量词引入规则)US全称特指规则(全称量词消去规则)R关系r 相容关系R○S关系与关系的复合G=(V,E)点集为V,边集为E的图GW(G)图G的连通分支数k(G)图G的点连通度Δ(G)图G的最大点度A(G)图G的邻接矩阵P(G)图G的可达矩阵M(G)图G的关联矩阵C 复数集I 虚数集N 自然数集,非负整数集(包含元素"0")N*(N+)正自然数集,正19、整数集(其中*表示从集合中去掉元素“0”,如R*表示非零实数)P 素数(质数)集Q 有理数集R 实数集Z 整数集Set集范畴Top拓扑空间范畴Ab交换群范畴Grp群范畴Mon单元半群范畴Ring有单位元的(结合)环范畴Rng环范畴CRng交换环范畴R-mod环R的左模范畴mod-R 环R的右模范畴Field域范畴Poset偏序集范畴其他关系符号及函数P(A)
14、3≤x≤5}{}大括号(花括号)一般用于函数运算如{x
15、5x+35=87}∑阶和如∑5=1+2+3+4+5=15∏阶积如 ∏ai=a1*a2*……*ann!阶乘如5!=5×4×3×2×1=120,
16、规定0!=1n!!半阶乘(双阶乘)如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840∀ 全称量词代指全部称号,非略写如∀sin=sine∃存在量词带只存在某物├断定符(公式在L中可证)╞满足符(公式在E上有效,公式在E上可满足)﹁“非”命题的“非”运算,如命题的否定为﹁p→箭头命题的“条件”运算↔双箭头命题的“双条件”运算等价p<=>q ,命题p与q的等价关系,可互推导推导出命题p与q的蕴涵关系↑上箭头命题的“与非”运算↓下箭头命题的“或非”运算◇(□)斜方框(方框)模态词“可能”(必然)三
17、角函数和图形代码正矢versinθ=1-cosθ 余矢coversθ=1-sinθ 正弦(sin)=对边∶斜边 余弦(cos)=邻边∶斜边 正切(tan)=对边∶邻边 余切(cot)=邻边∶对边 正割(sec)=斜边∶邻边余割(csc)=斜边∶对边△→三角形⊿□→正方形◇→菱形☆→五角星⊙→圆→平行四边形⌒→圆弧∥平行=平行且相等⊥垂直∟直角∠角°°′分″秒〒单位字母代码C 组合数A(或P) 排列数n 元素的总个数r 参与选择的元素个数wff 合式公式iff 当且仅当Z/(n)模n的同余类集合r(R)关
18、系 R的自反闭包s(R)关系 R的对称闭包CP命题演绎的定理(CP规则)EG存在推广规则(存在量词引入规则)ES存在量词特指规则(存在量词消去规则)UG全称推广规则(全称量词引入规则)US全称特指规则(全称量词消去规则)R关系r 相容关系R○S关系与关系的复合G=(V,E)点集为V,边集为E的图GW(G)图G的连通分支数k(G)图G的点连通度Δ(G)图G的最大点度A(G)图G的邻接矩阵P(G)图G的可达矩阵M(G)图G的关联矩阵C 复数集I 虚数集N 自然数集,非负整数集(包含元素"0")N*(N+)正自然数集,正
19、整数集(其中*表示从集合中去掉元素“0”,如R*表示非零实数)P 素数(质数)集Q 有理数集R 实数集Z 整数集Set集范畴Top拓扑空间范畴Ab交换群范畴Grp群范畴Mon单元半群范畴Ring有单位元的(结合)环范畴Rng环范畴CRng交换环范畴R-mod环R的左模范畴mod-R 环R的右模范畴Field域范畴Poset偏序集范畴其他关系符号及函数P(A)
此文档下载收益归作者所有