面向信息安全的数理逻辑教学

摘要：

数理逻辑是信息安全专业其他课程学习的重要基础.通过数理逻辑知识的学习,能为学生专业课程的学习和将来从事信息安全方向软、硬件开发打下坚实的基础.本文就如何提高信息安全专业数理逻辑的教学质量,提出了从证明论的角度整理数理逻辑知识体系,合理介绍非经典逻辑知识体系,注重数理逻辑在信息安全领域中应用背景的介绍,引入数理逻辑教学资源和教学辅助工具(COQ&Proof web)等教学方法.

关键词： 数理逻辑 信息安全专业 课程体系 教学质量 知识管理

作者: 李志敏 陈建新 卢军 叶从欢

作者单位: 孝感学院计算机与信息科学学院,孝感,中国,432100

会议类型: 国内会议

会议名称: 2010年全国密码学与信息安全教学研讨会

会议地点: 昆明

会议语种:中文

页码: 405-408

在线出版日期: 2010-07-01（万方平台首次上网日期，不代表论文的发表时间）