| 离散数学命题符号化的三种方法 |
| |
| 引用本文： | 郭芸,王朝晖.离散数学命题符号化的三种方法[J].苏州市职业大学学报,2013(3):44-46. |
| |
| 作者姓名： | 郭芸 王朝晖 |
| |
| 作者单位： | 苏州大学 计算机科学与技术学院,江苏 苏州,215006 |
| |
| 基金项目： | 苏州市应用基础研究计划 |
| |
| 摘 要： | 命题符号化是离散数学课程的重要内容，看似简单，学生在学习过程中却常常犯错，甚至经典教材配套用书也存在一些错误．针对这一教学难题，分析出错的原因，并结合教学实际，提出了解决命题符号化问题的三种方法：真值表法、类比法和平衡主谓法．
|
| 关 键 词： | 离散数学 数理逻辑 命题符号化 |
Three Skills of Proposition Symbolization in Discrete Mathematics |
| |
| GUO Yun
,
WANG Zhao-hui.Three Skills of Proposition Symbolization in Discrete Mathematics[J].Journal of Suzhou Vocational University,2013(3):44-46. |
| |
| Authors: | GUO Yun WANG Zhao-hui |
| |
| Institution: | (School of Computer Science ＆ Technology, Soochow University, Suzhou 215006, China) |
| |
| Abstract: | Proposition symbolization, which appears to be easy but is error-prone for students, is one of the important contents of discrete mathematics. Errors even can be found in the answer books of classic teaching materials. To solve this difficult teaching problem, the cause of errors is analyzed and three skills, namely truth table method, analogism and the method of balancing subject and predicate, are put forward according to teaching practice. |
| |
| Keywords: | discrete mathematics mathematical logic proposition symbolization |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
