| 数理逻辑教学方法探讨 |
| |
| 引用本文： | 李志敏,夏学文,张学敏.数理逻辑教学方法探讨[J].孝感学院学报,2010,30(3):105-108. |
| |
| 作者姓名： | 李志敏 夏学文 张学敏 |
| |
| 作者单位： | 孝感学院,计算机与信息科学学院,湖北,孝感,432000 |
| |
| 摘 要： | 数理逻辑不仅是离散数学课程的基础,也是计算机科学与技术专业其他课程学习的重要基础.文章就如何提高数理逻辑的教学质量,提出了注重教学内容的合理拓展与延伸、注重数理逻辑在计算机科学与技术领域应用背景的介绍、注重引入先进教学资源和教学辅助工具(如ProofWeb)等教学方法.
|
| 关 键 词： | 离散数学 数理逻辑 计算机科学与技术专业 |
On the Teaching Approach of Mathematical Logic |
| |
| Li Zhimin,Xia Xuewen,Zhang Xuemin.On the Teaching Approach of Mathematical Logic[J].JOURNAL OF XIAOGAN UNIVERSITY,2010,30(3):105-108. |
| |
| Authors: | Li Zhimin Xia Xuewen Zhang Xuemin |
| |
| Abstract: | |
| |
| Keywords: | ProofWeb |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
