离散数学
Chapter-1 Logic & Proofs
术语 | 翻译 | 术语 | 翻译 | 术语 | 翻译 |
---|---|---|---|---|---|
rational | 有理数 | counterexample | 反例 | premise | 前提 |
proposition | 命题 | paradox | 悖论 | consistent | 一致的 |
conjunction | 和取 | disjunction | 析取 | exclusive or | 异或 |
hypothesis | 假设 | antecedent | 假设 | premise | 假设 |
conclusion | 结论 | consequence | 假设 | converse | 逆命题 |
inverse | 否命题 | contrapositive | 逆否命题 | tautology | 永真式 |
contradiction | 永假式 | contingency | 可能式 | predicate | 谓词 |
axiom | 公理 | corollary | 推论 | conjecture | 猜想 |
lemma | 引理 | vacuous proof | 空证明 | trivial proof | 平凡证明 |
Proposition
proposition: a declarative sentence that is either true or false, but not both
propositional variables: use variables to represent propositions
atomic propositions: Propositions that cannot be expressed in terms of simpler propositions
compound propositions: propositions formed from existing propositions using logical operators
阅读更多...
常微分方程
nth-order Differential Equation
The most general form of an nth-order differential equation with independent and unknown function or dependent variable is
An nth-order differential equation ordinarily has an n-parameter family of solutions-one involving n different arbitrary constants or parameters.
阅读更多...