|
|||||
|
|
| 计算机数学基础复习指导 | |
| 引用本文： | 冯泰.计算机数学基础复习指导[J].当代电大,2002(11):80-84. |
| 作者姓名： | 冯泰 |
| 作者单位： | 中央电大 |
| 摘 要： | 1 命题逻辑1 .1 学习要点(1 )命题与联结词 :命题 ,命题真值 ,真命题 ,假命题 ,联结词 ( ,∧ ,∨ ,∨ ,→ , )及其真值表。(2 )命题公式 :赋值与解释 ,公式的分类 ,命题公式的等值。(3)范式 :析取 (合取 )范式 ,极小项 ,极大项 ,主析取 (合取 )范式。(4)命题演算的推理理论 :有效结论和构造推理证明法 (直接证法、附加前提证法和间接证法 ) ,三个规则 (Ｐ规则、Ｔ规则和ＣＰ规则 )。1 .2 例题解析例 1 设命题公式 (Ｐ∧ (Ｑ → Ｐ) ) ,求使该命题为 0的Ｐ ,Ｑ的取值。解 使 (Ｐ∧ (Ｑ → Ｐ) ) 0 ,只有使Ｐ∧ (Ｑ → Ｐ) 1 ,合… |
Guide to Review of Basic Computer Mathematics |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |