| 离散数学教学中的命题符号化难点讨论 |
| |
| 引用本文： | 何锋. 离散数学教学中的命题符号化难点讨论[J]. 计算机教育, 2007, 0(17) |
| |
| 作者姓名： | 何锋 |
| |
| 作者单位： | 云南财经大学计算机科学系,云南昆明,650221 |
| |
| 摘 要： | 离散数学是计算机科学与技术专业的一门重要的专业基础课程,而数理逻辑是其最复杂内容之一,而进行逻辑推理首先要进行命题符号化,如何进行准确的命题符号化正是本文要讨论的问题。
|
| 关 键 词： | 数理逻辑 命题符号化 教学方法 |
Node discuss of propositions symbolization in the teaching of discrete mathematics |
| |
| He Feng. Node discuss of propositions symbolization in the teaching of discrete mathematics[J]. Computor Education, 2007, 0(17) |
| |
| Authors: | He Feng |
| |
| Abstract: | discuss mathematics is an important professional foundation course of the calculator science and technology profession,but the mathematics logic is one of the most complicated,but carry on logic’s reason logically to want to carry on to set question the sign to turn first,how carry on exactly propositions symbolization is that this paper want to discuss. |
| |
| Keywords: | Mathematics logic propositions symbolization teaching method. |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
