节点文献
数理逻辑教学方法探讨
On the Teaching Approach of Mathematical Logic
【摘要】 数理逻辑不仅是离散数学课程的基础,也是计算机科学与技术专业其他课程学习的重要基础。文章就如何提高数理逻辑的教学质量,提出了注重教学内容的合理拓展与延伸、注重数理逻辑在计算机科学与技术领域应用背景的介绍、注重引入先进教学资源和教学辅助工具(如ProofWeb)等教学方法。
【Abstract】 Mathematical logic is a foundation of discrete mathematics and also an important basic knowledge for learning in computer science and technology speciality.In this paper,for the purpose of improving teaching quality of mathematical logic,the authors proposed teaching approach from the aspects of focusing on the reasonable extending of teaching content,introducing applications-oriented background knowledge and the advanced teaching resources and aided teaching tools such as ProofWeb.
【关键词】 离散数学;
数理逻辑;
计算机科学与技术专业;
ProofWeb;
【Key words】 discrete mathematics; mathematical logic; computer science and technology speciality; ProofWeb;
【Key words】 discrete mathematics; mathematical logic; computer science and technology speciality; ProofWeb;
- 【文献出处】 孝感学院学报 ,Journal of Xiaogan University , 编辑部邮箱 ,2010年03期
- 【分类号】O141-4
- 【被引频次】2
- 【下载频次】206