乔海燕
- 作品数：11 被引量：40H指数：3
- 供职机构：中山大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：文化科学自动化与计算机技术理学更多>>
- 离散数学课程教学目标的细化与课程内容整合被引量：4
- 2020年
- 针对离散数学课程主题多、内容抽象,从而使得课程教学内容选材目的不明确,课程内容之间以及与计算机专业其他课程联系不够紧密等问题,提出应该围绕培养学生离散建模能力这一核心目标,对计算机专业的离散数学课程教学目标做进一步的细化,并基于细化的教学目标对课程内容进行整合,强化课程内容各主题之间的联系以及与程序设计课程之间的联系。
- 周晓聪乔海燕李绿周
- 关键词：离散数学课程教学目标课程内容整合
- 安全协议验证的归纳方法与串空间形式化比较被引量：2
- 2008年
- 使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化,并比较了这两种安全协议验证法,证明两种方法形式化的正确性和攻击者能力是相同的.
- 乔海燕
- 关键词：安全协议验证串空间类型论
- 提高Haskell函数程序设计基础课程完成率的翻转课堂探讨
- 2022年
- Haskell函数程序设计基础是使用函数式语言讲解程序设计的本科生入门公选课。针对选修人数少、课程难、学生退课率高等问题,通过进行线下线上相结合、电子教室等技术手段的翻转课堂教学实践,更多学生坚持学完了课程;通过设计典型案例展示函数程序设计特色和简洁之美,更多学生喜欢上了程序设计。统计显示,实施线上线下相结合教学的学年,完课学生人数较上学年增加了20%,学生平均成绩、及格率和优秀率也比往年有较大提高。
- 乔海燕周晓聪杨永红
- 安全协议验证的归纳方法与串空间形式化比较
- 使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化,并比较了这两种安全协议验证法,证明两种方法形式化的正确性和攻击者能力是相同的.
- 乔海燕
- 关键词：安全协议验证串空间类型论形式化
- 文献传递
- 在讲解Dijkstra最短路径算法中展示数学之美
- 从一个命题出发推导出Dijkstra最短路径算法,进一步用不变式和归纳法证明算法的正确性,从而说明数学命题对于算法设计以及算法正确性的重要性,展示数学之美,培养学生的数学审美情趣,激发学生探求数学知识的内驱力。最后,用C...
- 乔海燕周晓聪李绿周
- 关键词：命题离散数学数学审美
- 提高在线评测代码提交接受率的三步法被引量：1
- 2020年
- 在使用在线评测系统的程序设计实践教学中,为确保学生能够编写出高质量的程序,提高代码接受率,要求学生采取三步走的方式:第一步描述思想方法,第二步写出伪代码算法,第三步编写代码。根据对数据结构与算法实验期末机考成绩的统计显示,采取三步法的教学班比未采取三步法的另外两个班级平均成绩分别高出7%和11%,及格率分别高出20%和21%,提交接受率分别高出12.6%和15.2%。
- 乔海燕周晓聪王若梅万海
- 关键词：伪代码在线评测
- 离散数学课程组合计数教学中计算思维的培养被引量：2
- 2022年
- 组合计数是计算机专业离散数学课程的重要组成部分,如何在组合计数的教学中培养学生的计算思维,突显计算机专业离散数学课程的特点是一个值得探索的问题。文章探讨如何通过案例将组合计数部分的教学与离散化、模块化、层次化、系统化、公理化等计算思维相结合,强化学生利用计算机求解问题能力的培养,最后通过调查说明案例的运用在实际教学中对学生计算思维培养有较好的效果。
- 周晓聪乔海燕李绿周
- 关键词：离散数学组合计数计算思维
- 面向思维能力培养的离散数学课程教学研究被引量：15
- 2015年
- 离散数学是计算机科学与技术专业的重要基础课程,但是传统的离散数学教学往往过于数学化。文章探讨如何针对计算机科学与技术专业的特点,在离散数学教学中强化对学生逻辑思维和计算思维能力的培养,提出一些课程教学改革的针对性措施。
- 周晓聪乔海燕
- 关键词：离散数学逻辑思维计算思维
- 新工科背景下离散数学课程目标定位与课程改革被引量：19
- 2019年
- 针对新工科建设中培养新兴工程科技人才的要求,分析离散数学课程作为计算机类专业基础理论课程在创新性、综合化、全周期工程教育中应该发挥的作用,提出以培养离散建模能力为核心的课程目标定位,探讨如何以离散模型表示、构建与分析为中心组织课程教学内容和设计教学过程,并给出一些教学改革思路和具体的教学案例。
- 周晓聪衣杨乔海燕
- 关键词：离散数学课程目标定位
- 一个离散数学辅助教学软件的设计与开发被引量：1
- 2022年
- 离散数学是计算机专业的核心基础课程,通常包括逻辑、证明、集合、关系、函数、组合计数、图论和代数等多个模块。一个能求解离散数学问题的计算机软件对离散数学课程的教学和学习都有很好的辅助作用。本文使用面向对象方法设计和开发了一个包含能求解逻辑、集合、组合计数、图论与代数等离散数学课程模块中问题的教学辅助软件。该软件不仅能展示离散数学问题求解的详细过程,还能随机生成问题供学生练习。对学生试用后的调查表明,该软件对学生学习离散数学课程很有帮助,也有助于培养学生的计算思维。
- 周晓聪赵清谢扬周宇乔海燕
- 关键词：离散数学辅助教学软件面向对象设计
