孝感学院学报
孝感學院學報
효감학원학보
JOURNAL OF XIAOGAN UNIVERSITY
2010年
3期
105~108
,共null页
离散数学 数理逻辑 计算机科学与技术专业 ProofWeb
離散數學 數理邏輯 計算機科學與技術專業 ProofWeb
리산수학 수리라집 계산궤과학여기술전업 ProofWeb
discrete mathematics; mathematical logic; computer science and technology speciality; ProofWeb
数理逻辑不仅是离散数学课程的基础,也是计算机科学与技术专业其他课程学习的重要基础。文章就如何提高数理逻辑的教学质量,提出了注重教学内容的合理拓展与延伸、注重数理逻辑在计算机科学与技术领域应用背景的介绍、注重引入先进教学资源和教学辅助工具（如ProofWeb）等教学方法。
數理邏輯不僅是離散數學課程的基礎,也是計算機科學與技術專業其他課程學習的重要基礎。文章就如何提高數理邏輯的教學質量,提齣瞭註重教學內容的閤理拓展與延伸、註重數理邏輯在計算機科學與技術領域應用揹景的介紹、註重引入先進教學資源和教學輔助工具（如ProofWeb）等教學方法。
수리라집불부시리산수학과정적기출,야시계산궤과학여기술전업기타과정학습적중요기출。문장취여하제고수리라집적교학질량,제출료주중교학내용적합리탁전여연신、주중수리라집재계산궤과학여기술영역응용배경적개소、주중인입선진교학자원화교학보조공구（여ProofWeb）등교학방법。
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.
