| 数理逻辑中范式教学探讨 |
| |
| 引用本文： | 王青海. 数理逻辑中范式教学探讨[J]. 计算机教育, 2008, 0(12): 60-62 |
| |
| 作者姓名： | 王青海 |
| |
| 作者单位： | 青海师范大学计算机系,西宁,810008 |
| |
| 摘 要： | 命题公式范式是命题逻辑中的一个重要内容，也是计算机学科中人工智能、软件工程等多门核心课程的重要数学基础。本文作者对此内容进行了深入的研究，在结合教学实践的基础上，提出了一个完整的教学案例。
|
| 关 键 词： | 离散数学 命题逻辑 主合取范式 主析取范式 |
Studies on the Normal Form Teaching in Mathematics Logic |
| |
| WANG Qing-hai. Studies on the Normal Form Teaching in Mathematics Logic[J]. Computor Education, 2008, 0(12): 60-62 |
| |
| Authors: | WANG Qing-hai |
| |
| Affiliation: | WANG Qing-hai (Computer department of QingHai Normal University,Xining city,QingHai province 810008) |
| |
| Abstract: | Normal form of propositional function is an important part in propositional logic, and it is also the important mathematics foundation of several core courses such as artificial intelligence and software engineering etc. in computer subject. In this paper, the author had a thorough research to this contents, and put forward a full teaching case in combination with teaching practices. |
| |
| Keywords: | Discrete Mathematics Propositional logic Special Conjunctive Normal Form Special Disjunctive Normal Form. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
