期刊文献+

改进形式语言与自动机理论课程教学刍议

Improving Lectures in the Course on Formal Languages and Automata Theory
下载PDF
导出
摘要 分析了形式语言与自动机理论课程的特点以及该课程在桂林电子科技大学教学的现状,针对存在的问题,从课程内容设置、实验教学和理论教学三个方面提出了改进教学效果的几点建议。其基本思想是通过认识该课程的重要性,提高学生在课程学习中的积极性;通过把现代交互式教学方法贯彻到教学的各个环节,提高学生学习的趣味性和交互性。 The characteristics of formal languages and automata theory (FLAT) course and the current style to teach the course in Guilin University of Electronic Technology are analyzed in this paper, based on which several suggestions on improving the lectures in the course are proposed. These suggestions are related to the following three aspects of teaching the course, i.e. the materials contained in the course, lectures in a classroom and the experiment section. Our purpose is to improve the passion of students in studying the course by making them realize the importance of the course, and to increase the interaction and interest of a lecture by introducing modern interaction techniques to every section of teaching the course.
出处 《高教论坛》 2008年第3期113-115,共3页 higher education forum
关键词 形式语言与自动机理论 动态性 交互性 教学辅助软件 formal languages and automata theory dynamics interaction CAI software
  • 相关文献

参考文献14

  • 1K. Bowyer, G. Stockman and L. Stark. "Themes for improved teaching of image computation" [J]. IEEE Transactions on Education, 2000, 43(2): 221-223.
  • 2G. Bebis, D. Egbert and M. Shah. Review of Computer Vision Education [J]. IEEE Transactions on Education, 2003, 46(1): 2-21.
  • 3M.W. Powell and D. Goldgof. Software toolkit for teaching image processing [J]. Int. J. Pattern Recognition and Artificial Intelligence, 2001, 15 (5) : 833 - 844.
  • 4U. Endriss. The interactive learning environment WinKE for teaching deductive reasoning, invited talk [C]. Proceedings of the 1st International Congress on Tools for Teaching Logic, 2000.
  • 5J. Lodder, J.T. Jeuring, and H. Passier. An interactive tool for manipulating logical formulae [C]. Proceedings of the Second International Congress on Tools for Teaching Logic, 2006.
  • 6Valerie J. Harvey, Susan H. Rodger. Editorial for the special issue on software support for teaching discrete mathematics [J]. Journal on Educational Resources in Computing, 2005, 5(2) : 1-16.
  • 7K. Becker and M. Beacham. A Tool for Teaching Advanced Data Structures to Computer Science Students: An Overview of the BDP System [J]. The Journal of Computing Science in Colleges, 2001, 16(2) : 65-71.
  • 8K. Powers, P. Gross, S. Cooper, S. Joseph's, M. McNally, Kenneth J. Goldman, V. Proulx, M. Carlisle. Tools for Teaching Introductory Programming: What Works? [C]. Proceedings of SIGCSE'06, 2006. 560-561.
  • 9J. Barwise and J. Etehemendy. Turing's World 3.0 for the Macintosh [M]. CSLI, Cambridge University Press, 1993.
  • 10A. Stoughton. Experimenting with formal languages [C]. Proceedings of the Thirty-sixth SIGCSE Technical Symposium on Computer Science Education, 2005. 566.

共引文献24

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部