教学课程资源库 更多>>

关键词： 程序设计语言   教学方法   Java   个性化   课程   面向对象编程语言   面向对象程序   SUN公司  

摘要： Java作为一种完全意义上的面向对象编程语言具有很多优势,自1995年由SUN公司推出以来,获得广泛的应用,成为主流程序设计语言之一。以往《Java程序设计》课程均为必修课,作为个性化课程时,出现了与必修课不同的需要思考和解决的问题。本文首先提炼了本课程作为个性化课程学习过程中与以往不同的问题,并据此总结了实际教学中所采用的有针对性的组织形式、教学方法以及学习方法引导等尝试。经过教学目标的思考和教学实践的探索,证明了所采用的教学方法有助于提高学生的学习效率,使学生与已学过的知识相联系、重点理解面向对象编程的相关概念,最终提高学生对面向对象程序的读写能力。

关键词： 形象化   语言  

摘要： 程序设计语言"一直以来是计算机专业学生学习的难点,老师讲不通,学生听不懂。而"形象化"教学方法可以借助生动的语言、形象的教具、有趣的游戏等教学形式,让学生通过自我信息加工处理、想象等过程构建知识逻辑,从而使学生顺利理解理论与操作的一种教学方法。形象化教学,可以激发学生的学习兴趣,可以把抽象的概念和逻辑形象化,便于学生的理解,并在实际教学中获得更好的教学效果。

关键词： 分层   实践教学   程序设计语言   主体性原则  

摘要： 目前的程序设计课程教学理论讲授多,实践少,课堂教学存在"一刀切"现象,针对此类问题,文章探讨了以能力培养为目的,分层递进式的课堂教学方式。通过目标分层设定、课堂上的分层教学、差异化辅导、作业练习的分档、多层次的考查和评价等多种方法,拓展学生的学习能力,使不同程度学生都能得到"最优发展",全面提升学生的创新能力。

关键词： 工程教育认证   SPOC   雨课堂   PTA  

摘要： 在工程教育认证大背景下,针对程序设计类课程评价机制不够完善的现状,借助在SPOC课程、雨课堂、PTA等手段,在对教学过程中的课前、课上、课后、期末均做准确评价的基础上,牵引学习兴趣、加强学习效果、促进实践能力的提升,贯彻工程认证"以学生为中心"、"产出导向"理念,以期达到工程认证要求。

关键词： Computer science  

摘要： In order to fully utilize the potential of current architectures, programmers must program withconcurrency in mind. Concurrent processes can be extremely challenging to reason about due tounexpected program behavior that may emerge from interaction between processes. One approachto deal with this difficulty is to study new programming languages that offer an abstraction forconcurrency. This thesis focuses on developing a logical interpretation for concurrent processesand incorporating it in an existing functional programming language called SML. We developthis feature upon the fact that a proof of a theorem in logic can be expressed as a program in aprogramming language. This relation allows us to design a formal system that behaves both as aproof system and a typed programming language. We introduce a system of Natural Deduction to develop a logical basis for concurrent program-ming. This works as a proof system in which logic is defined by inference rules and its propositionscan be seen as resource combinators that keep on changing throughout the derivation which leadsto the idea of using Natural Deduction as a logic of concurrent computation. Lastly, we constructa concurrent programming language called concurrent SML by assigning a syntactical form to thelogical foundation established through natural deduction relations and integrating it with a func-tional programming language.

关键词： 微课   编程   问卷调查   知识点  

摘要： 微课是一种随着计算机、通信和网络技术的迅速发展而出现的数字化教学资源,逐渐为大众所接受。但在高校,怎样把微课融入不同学科、不同深度的教学中仍然值得探讨。探讨微课应用于编程语言课程教学的可行性,将微课引入"程序设计语言C"的教学实践,并对微课的应用效果、使用情境、教育优势、阻碍因素等进行问卷统计调查,其结果表明:微课在提升学习效率、课堂注意力等方面效果显著,对个性化学习也有明显的促进作用,而在编程能力提高方面表现一般。因此,将微课引入课堂教学时应依据课程特点探索适宜策略,并通过良好的选题、设计和制作让其发挥最佳作用。

ISBN: (纸本)9787111619017

关键词： 程序设计语言   公共基础课   教学改革  

摘要： 针对学生对程序设计语言公共基础课程兴趣不高、反映难度大等现状,从教学思想、教学设计、教师提高等方面对大学计算机程序设计语言公共基础课程改革进行探讨。强调讲授程序设计语言课程要注重方法,而不是语言本身。教师要习惯性总结反思,不断提高教学水平,调动学生学习兴趣,和学生开展良好互动,对课程要勇于创新,推进以学生为中心的教学改革。