课程文献中心 更多>>

关键词： “双创”元素   地方高校   数据结构   核心课程   “专创融合”   教学改革  

摘要： 创新创业教育(“双创”教育)改革是目前高等教育教学改革发展的重要内容之一,将“双创”教育改革和普通地方高校专业核心课程教学改革相融合,培养普通地方高校低年级大学生的创新创业意识和能力,对普通高校教育教学改革发展来说是一个重要的探索和研究过程。该文以地方高校计算机专业核心课程数据结构在新时代的教学改革为背景,在课程教学改革中融合“双创”元素,将创新创业教育和专业课程教学进行融合改革探索,从而为“专创融合”教学改革提供参考。

关键词： 数据结构   线上线下混合式教学  

摘要： 《数据结构》课程具有算法设计和算法实现的特点。对于学生来说,传统的单一教学难于理解和掌握,为突破学生学习《数据结构》课程难于理解难于操作的瓶颈,笔者对《数据结构》线上线下混合式教学进行了探索与实践。

关键词： 思政元素   数据结构与算法   课程融合   实施路径  

摘要： 课程思政是高校落实“立德树人”根本任务的有效形式。《数据结构与算法》是高校计算机科学中一门综合性的基础课程。该课程的教学研究是科学实践的具体形式,蕴含丰富的思政元素。本文探讨了思政元素如何有效融入《数据结构与算法》课程教学的现状与实施情况。研究通过对思政元素的理解、课程中思政元素的挖掘、思政实施路径三个部分进行详细分析,旨在提升学生的综合素质与思想道德水平,促进课程思政教育的深化与普及。Curriculum-based ideological and political education is an effective way for universities to implement the fundamental task of “cultivating virtue and nurturing persons”. “Data Structures and Algorithms” is a comprehensive and foundational course in computer science at the university level. The teaching and research of this course represent a concrete form of scientific practice, rich in ideological and political elements. This paper explores the current status and implementation of effectively integrating ideological and political elements into the teaching of the “Data Structures and Algorithms” course. The research provides a detailed analysis through three adpects: understanding of ideological and political elements, identification of these elements within the course, and the pathways of their implementation. The aim is to enhance students’ comprehensive qualities and ideological and moral standards, and to promote the deepening and popularization of curriculum-based ideological and political education.

关键词： 数据结构与算法   课程思政   改革路径   融入模式  

摘要： 分析专业课程在课程思政建设改革中存在的问题,聚焦职业型本科新时代数字工匠人才培养,提出数据结构与算法课程“三结合、四原则、五融入”的课程思政建设改革路径,阐述“模块化、项目化、思政化、数字化”四化融合的课程思政建设改革实施方法,“以德为本、以技树人、寓德于技”的课程思政融入模式,以及如何将立德树人贯穿于理论教学、项目实践、自主探究的教学全过程,最后通过应用案例介绍实施流程并说明建设改革效果。

关键词： 自动组题系统   试题库管理   图  

摘要： 随着网络应用的普及,网络教学已经成为教育的新形势。为了保证网络教学的效果,公平地对学生进行考核,就需要有庞大的题库来支撑。题库的构建繁杂且费时,如何自动地建立题库是非常值得研究的。本文的研究目的是通过自动组题来生成各种题目,丰富题库。自动组题系统中,用户可以设计组题规则,自动生成题目及答案。本文对自动组题的方法和形式进行了研究,可以实现二叉树、哈夫曼树、无向图、有向图、无向网、有向网的图形自动生成,并将生成的图形和相同或不同的题干组合形成不同问题,供练习和考试使用。组题系统不仅可以帮助教师提高效率,提升教学和考试的质量,还可以提供完备和有针对性的题目,提高学生的学习体验感和教学效果。With the popularization of online applications, online teaching has become a new form of education. A large question bank is needed to support the effectiveness of online teaching and the fair assessment of students. The construction of question banks is complex and time-consuming, and it is worth studying how to automatically establish a question bank. This article aims to study the generation of various questions and enrich the question bank through automatic question combinations. In the automatic question combination system, users can design question rules and automatically generate questions and answers. This article studies the methods and forms of online question combinations, which can automatically generate graphs from binary trees, Huffman trees, undirected graphs, directed graphs, undirected networks, and directed networks. The generated graphs can be combined with the same or different question stems to form different questions for practice and examination. The question system can not only help teachers improve efficiency and enhance the quality of teaching and exams, but also provide comprehensive and targeted questions to enhance students’ learning experience and teaching effectiveness.

关键词： U+新工科智慧云平台   产学合作协同育人体系   数据结构与算法   课程建设  

摘要： U+新工科智慧云平台致力于加强校企间的联结与合作,通过产教融合、教育数字化等创新模式,提升人才培养质量。在U+新工科智慧云平台的助力下,建设新型“数据结构与算法”课堂。合理利用平台提供的智慧云教学平台、工程实践平台、智能考试平台、专业认证辅助平台,深度结合“数据结构与算法”课程特点,在实践中提升课程教学质量,促进学生个性化和全面化发展,建设产学合作协同育人体系。

关键词： 数据结构与算法   课程思政   工匠精神   教学方法  

摘要： 充分挖掘“数据结构与算法”课程所蕴含的思政教育资源,实现了高校教书育人的教育目标和教育理念。探索理工科类专业课程中的思政教育建设与改革,融入中华优秀传统文化、大国工匠、家国情怀、爱岗敬业、科技报国、追求真理等思政元素,取得了良好的育人效果。

关键词： 大语言模型   提示工程   自动定理证明   Isabelle/HOL   形式化验证  

摘要： 该文利用大语言模型(large language models,LLMs)与形式化验证技术实现线性数据结构定理的自动证明,并提出通过引入引理来提高线性数据结构定理证明效率的方法.首先,利用LLMs生成定理的非形式化证明及形式化证明草图;然后,基于非形式化证明构造相关引理进行形式化验证以确保引理的正确性;最后,通过引入引理,辅助定理形式化验证,降低现有自动定理证明工具在处理形式化证明草图时的难度,提高自动证明效率.实验结果显示线性数据结构定理的证明成功率从54.55%提升至68.18%,这充分表明引理在定理证明过程中发挥了关键作用.

关键词： 政务服务   一网通办   数据结构   数据安全  

摘要： 政务服务软件以高效、便捷、透明为目标,近年来其重要性日益凸显。S市“一网通办”集成服务入口,便利市民企业,促进数据开放,增强城市创新力。本研究聚焦软件数据结构,以交通政务为例,指出其中存在的问题并提出优化策略,助力其向着数字化、智能化、友好透明转型。此举旨在提效应需,强化政民企互动和信任,同时关注数据安全隐私保护,推动数字治理,助力城市可持续发展。

关键词： 数据结构   SPOC   四级翻转课堂   混合式教学模式   个性化学习  

摘要： 分析单一翻转课堂模式的弊端,提出数据结构SPOC课程的“不翻转、初级翻转、中级翻转、高级翻转的线上线下混合式四级翻转课堂”教学新模式,以“图”为例,介绍该模式在数据结构SPOC课程中的应用。