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