常用数学输入符号:~~ ≈ ≡ ≠ = ≤ ≥ < > ≮ ≯ ∷ ± + - × ÷ / ∫ ∮ ∝ ∞ ∧ ∨ ∑ ∏ ∪ ∩ ∈ ∵ ∴ // ≱ ‖ ∠ ≲ ≌ ∽ √ () 【】 {} Ⅰ Ⅱ ⊕ ≰∥α β γ δ ε δ ε ζ Γ
α β γ δ ε δ ε ζ η θ ι κ λ μ ν π ξ ζ η υ θ χ ψ ω
Α Β Γ Γ Δ Ε Ζ Θ Η Κ ∧ Μ Ν Ξ Ο ∏ Ρ ∑ Τ Υ Φ Φ Χ Ψ
а б в г д е ѐ ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
第1页 共5页
第2页 共5页
公式输入符号
≈ ≡ ≠ = ≤ ≥ < > ≮ ≯ ∷ ± + - × ÷ /∫∮∝∞∧∨∑∏∪∩∈∵∴//≱‖∠≲≰≌∽√
第3页 共5页
第4页 共5页
引理→Lemma
是辅助定理(auxiliary theorem), 是为了叙述主要的定理而事先叙述的基本概念(concept)、基本原理(principle)、基本规则(rule)、基本特性(property).
推理→Deduce,Deduction
是证明的过程(proving),逻辑推理的过程(logic reasoning), 也就是前提推演(derive,deduce)出一个定理(theorem)的过程(process,procedure).
公理(Axiom)是不需要证明的立论、陈述(statement),例如:过一点可画无数条直线;过两点只可画一条直线。
定理(theorem)是理论(theory)的核心, 在科学上,定律(Law)是不可以证明的,是无法证明的。从定律出发,得出一系列的定理,通常我们又将定理称为公式(formula),它们是物理量跟物理量(physical quantity)之间的关系,是一种恒等式关系(identity),不同于普通的方程(equation),普通的方程是有条件的成立(conditional equation),如x+2=5,只有x=3才能满足。如电磁学上的高斯定理指的是电荷分布与电场强度分布的关系。数学上的Law 指的是运算规则,如分配律、结合律、交换律、传递律等等,theorem 指的也是量与量(variable)之间的关系,如勾股定理、相交弦定理等等。微积分中高斯定理,是将电磁场中的高斯定理进一步理论化,变成面积分与体积分之间的关系。
由定理、运算规则,加以拓展,形成理论。
第5页 共5页
常用数学输入符号:~~ ≈ ≡ ≠ = ≤ ≥ < > ≮ ≯ ∷ ± + - × ÷ / ∫ ∮ ∝ ∞ ∧ ∨ ∑ ∏ ∪ ∩ ∈ ∵ ∴ // ≱ ‖ ∠ ≲ ≌ ∽ √ () 【】 {} Ⅰ Ⅱ ⊕ ≰∥α β γ δ ε δ ε ζ Γ
α β γ δ ε δ ε ζ η θ ι κ λ μ ν π ξ ζ η υ θ χ ψ ω
Α Β Γ Γ Δ Ε Ζ Θ Η Κ ∧ Μ Ν Ξ Ο ∏ Ρ ∑ Τ Υ Φ Φ Χ Ψ
а б в г д е ѐ ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
第1页 共5页
第2页 共5页
公式输入符号
≈ ≡ ≠ = ≤ ≥ < > ≮ ≯ ∷ ± + - × ÷ /∫∮∝∞∧∨∑∏∪∩∈∵∴//≱‖∠≲≰≌∽√
第3页 共5页
第4页 共5页
引理→Lemma
是辅助定理(auxiliary theorem), 是为了叙述主要的定理而事先叙述的基本概念(concept)、基本原理(principle)、基本规则(rule)、基本特性(property).
推理→Deduce,Deduction
是证明的过程(proving),逻辑推理的过程(logic reasoning), 也就是前提推演(derive,deduce)出一个定理(theorem)的过程(process,procedure).
公理(Axiom)是不需要证明的立论、陈述(statement),例如:过一点可画无数条直线;过两点只可画一条直线。
定理(theorem)是理论(theory)的核心, 在科学上,定律(Law)是不可以证明的,是无法证明的。从定律出发,得出一系列的定理,通常我们又将定理称为公式(formula),它们是物理量跟物理量(physical quantity)之间的关系,是一种恒等式关系(identity),不同于普通的方程(equation),普通的方程是有条件的成立(conditional equation),如x+2=5,只有x=3才能满足。如电磁学上的高斯定理指的是电荷分布与电场强度分布的关系。数学上的Law 指的是运算规则,如分配律、结合律、交换律、传递律等等,theorem 指的也是量与量(variable)之间的关系,如勾股定理、相交弦定理等等。微积分中高斯定理,是将电磁场中的高斯定理进一步理论化,变成面积分与体积分之间的关系。
由定理、运算规则,加以拓展,形成理论。
第5页 共5页