探究使编译原理获得更多正向共鸣之路

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,*,*,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,探究使编译原理获得更多正向共鸣之路,探究使编译原理获得更多正向共鸣之路探究使编译原理获得更多正向共鸣之路序编译是一门很好的课程：直观印象老牌计算机专业都开设这门课专业课到专业技术基础课,但是却有“不少”不同的声音,要想有真正的效果，必须有共鸣,共鸣的正向与反向,本来就有“正向”“反向”之说,“反向的”有一定的“阵势”,学生们有,老师们也有,正向的在增强，负向的在减弱？,序,编译是一门很好的课程：直观印象老牌计算机专业都开设这门课专业课到专业技术基础课,但是却有“不少”不同的声音,要想有真正的效果，必须有共鸣,共鸣的正向与反向,本来就有“正向”“反向”之说,“反向的”有一定的“阵势”,学生们有,老师们也有,正向的在增强，负向的在减弱？,内容提要,编译是一门好课程,在争议中前行,呼唤共鸣从我做起,探索能力导向之路,内容提要,编译是一门好课程,在争议中前行,呼唤共鸣从我做起,探索能力导向之路,编译是一门好课程,毕业生的三大主要缺点：独立解决问题的能力、责任心、基本的抽象分析问题的能力弱,问题的形式化描述,基于形式化描述的问题求解过程设计与分析,符号化是形式化的基本表征,基于形式化描述的问题求解效果的分析,基于形式化描述的问题求解结果与实际的关联,抽象分析能力,在编译中看到,(V, T, P, S),T ,(A)(A),(A)(),I0JV(),A,(C, VT, , I0, C),编译是一门好课程,头三位的专业技能：编程、数据结构、算法,那一项不是编译课程的重要内容？,那一项在编译课程中不是有更高水平的“存在”？,综合的、复杂的数据结构,基于形式化描述的算法！典型的类计算,简单的、小规模的程序；,复杂的、中规模的程序,甚至可以是大规模的！,编译是一门好课程,应该具有扎实的理论基础，特别是理论结合实际的能力,从典型叫法看：编译原理、编译技术、编译方法,基本“编译”的成熟，赖于其理论的成熟，正是在理论的指导下，人们才得以开展有效的实践活动,是进行“理论结合实际的能力”培养的恰当知识载体,编译是一门好课程,数学基础、建模能力等将决定一个计算机专业人才的发展前景。这些能力应该在基础课中得到训练，在实践教学中得到升华,在编译中随处可以看到的模型与模型计算，有的还是很经典的模型：,、属性文法,(V, T, P, S),(C, VT, , I0, C),a (), M= A,B.J, BP,编译是一门好课程,学好离散数学、数据结构、操作系统、编译原理这四门计算机专业的主干课，对自己的可持续发展是至关重要的，可惜这样的体会在工作中才得出,另一来源：离散、算法、编译、组成原理、原理,我们应该知道编译课程对学生的可持续发展是“至关重要的”，更知道为什么是“至关重要的”,如何告诉学生，并且使学生相信！,编译是一门好课程,：“编写编译器的原理和技术具有十分普遍的意义，以至于在每个计算机科学家的研究生涯中，本书中的原理和技术都会反复用到。”,都有哪些原理？,都有哪些技术？,它们怎么会被“反复地用到”,编译是一门好课程,最经典、最常用的问题求解和系统设计思想和方法,自顶向下,自底向上,逐步求精,递归求解,目标驱动,计算模型,抽象与形式化描述,模块化,数据结构的选择与使用,算法设计与实现,系统构建,编译是一门好课程,“问题、形式化描述、计算机化”的求解过程,问题：程序翻译细化为语言描述、词法分析、语法分析、语义分析等价变换(中间代码、优化、目标代码),形式化：文法、代码结构、分析模型(分析器、属性文法),计算机化：数据结构+算法=程序,体现的是“有效地自动计算”,内容提要,编译是一门好课程,在争议中前行,呼唤共鸣从我做起,探索能力导向之路,在争议中前行,专业课程,20世纪70年代和80年代初，开办计算机专业的学校很少，计算机专业主要从事系统软件的研究开发,毫无争议的重要核心课程,教学基本目的：掌握编译原理、技术、方法，为今后的研究开发打基础,编译系统的设计与实现为主，其他的研究为辅,在争议中前行,专业技术基础课程,大量的计算机专业人才有了更多的精力去关心计算机技术的更广泛、更深入的应用，更多地关心新的应用技术的开发,编译、操作系统不再是唯一的研究内容，但其含有的原理、技术、方法和思想则是在今后将进行的应用系统的开发中常用的。特别是其中含有的问题求解基本思想，已经成为一些最经典、最有用的思想,还有系统级的计算思维,并不是都这么想！特别是学生很难这么想,在争议中前行,学生的学习兴趣不足,很多学校不开(主要是新建的计算机专业),原因,没用：不进行编译系统的设计与实现，更不进行编译原理的研究,浮躁的背景下,总课时削减，新的课程较多，有的仅32学时,难,学生学不懂,没有适当的师资,在争议中前行,难在哪里？,形式化描述,双刃剑：便于机器实现，造成理解困难离机器近，离人远计算机专业的使命之一：填补人与机器间的鸿沟,问题：学生、教师在形式化上的修养存在不足,解决：增加修养、形式化与实际意义(“物理意义”)的结合,问题的复杂度,系统复杂,问题较多，关系密切(基本算法很经典，并不复杂),系统软件，少有机会接触，难得“亲身体验”,在争议中前行,课程目标必须调整,作为技术基础课程，要强调其基础特性,理论(知识)基础，思想、方法基础、技能基础,不再是单一的知识，不再是,“,为编译而编译,”,让课程教学更好地体现本科教育面向未来的基本要求,在争议中前行,目标：掌握终生受用的基本思想与方法，在系统级上再认识程序和算法，提升计算机问题求解的水平，增强系统能力，体验实现自动计算的乐趣,需要努力让学生在心中认可这一目标,在争议中前行,从知识载体的有效性看，目前的计算机专业人才培养中，编译的适应性,有利于思想方法的传授,知识的必要性,授课实效性,高速铁路的启示基于4年有限的精力,城际高铁；县间高铁(财政、效率),课程有效性,科学型,必须,工程型,需要,应用型,选择(能力),内容提要,编译是一门好课程,在争议中前行,呼唤共鸣从我做起,探索能力导向之路,呼唤共鸣从我做起,想办法解决一个“难”字和“用”字,从学科形态入手，瞄准相应类型人才培养之需要，强调恰当形态的内容,了解理论形态的内容，理解抽象形态的内容，掌握设计形态的内容,呼唤共鸣从我做起,从对形式化描述的直观理解入手教师要下功夫，深入理解形式化描述的实际意义,避免从形式化到形式化,考虑是否能从实际到形式化，再从形式化到实际,呼唤共鸣从我做起,举例： 分析法基本思想,从形式描述入手，利用文法对语法成分结构的描述，通过刻画当前分析进程,解决句柄识别问题,添加SS，分析开始：S ，分析成功：SS.,例,1) S,2) B,3) Bb,S,S,S.,S,B,B,S,S,B,B,S,-闭包,分析法理论很强的方法,规范句型,规范句型活前缀,项目,后继项目,项目集闭包(-闭包),初始项目,项目集间的转移,识别所有规范句型活前缀的,呼唤共鸣从我做起,在实践中实现深入的思考和理解,实践可以促进学生对形式化内容的理解,深入理解,下功夫更多,亲口尝一下“梨子”的滋味，才能真正找到感觉/体会，才能有效地找到感觉/体会,呼唤共鸣从我做起,分而治之,重视编译程序的总体结构,注意对问题的分解，不要一下子陷入泥潭密切关注当前问题，更不要吓唬学生,例：词法分析时重点关注分词，语法分析时重点关注语法成分，求、时不要想更多的问题,注意讲课艺术：对一些难以理解的问题，要想办法提前做铺垫,呼唤共鸣从我做起,问题总的复杂度,“难”的另一个值得重视的原因系统复杂,降低相对复杂度：理解,在实践中实现深入的思考和理解,提升学生信心：系统能力之需要、此台阶可上,关于新进展,不要简单追求“全、深、新”,需要的话，可以开一门选修课,课内提一下有效性,内容提要,编译是一门好课程,在争议中前行,呼唤共鸣从我做起,探索能力导向之路,探索能力导向之路,现代教育3要素,教育是能够导致学习的交流活动，是发展思维,重要的不是着眼于实用性、传播知识和技能，而是要唤醒学生的力量，培养其自我性、主动性、抽象的归纳力和理解力,知识、能力、素质,以知识为载体，实现能力培养和素质的提升,工程教育专业认证强调能力导向的教育,探索能力导向之路,当我们的学生未来并不从事,“,编译,”,工作,计算学科的高速发展需要教育走内涵发展的道路,内涵发展以夯实知识基础和能力基础为主,创新能力=厚基础+善思维+常实践,“,编译课程,”,是进行专业能力培养的最佳知识载体,怎样利用这些知识载体？培养什么样的能力？,计算思维,算法设计,程序实现,系统能力,体现能力导向的教育,计算机专业基础能力,全局掌控一定规模系统,系统地考虑问题的求解,计算观念的迁移(提升)：“实例计算” “类计算”,体现能力导向的教育 例：编译原理,掌握程序变换基本概念、问题描述和处理方法,(自顶向下、自底向上、逐步求精、递归求解、目标驱动、问题的抽象与形式化描述、算法设计与实现、数据结构的选择与使用、系统构建、模块化 ),修养“问题、形式化描述、计算机化”问题求解习惯，推进从“实例计算”到“类计算”和“模型计算”的跨越,培养算法设计与实现能力；从整体到局部、从局部到整体，提升系统能力,增强理论结合实际能力，鼓励探索未知，获得更多的“顶峰体验”,探索能力导向之路,以知识为载体，引导学生学习计算学科最经典、最常用的问题描述、问题求解和系统设计思想与方法，培养他们“问题、形式化描述、计算机化”的求解习惯，引导他们体验自动计算的乐趣，努力提升编译课程的效率，使编译课程有更多的正向共鸣,蒋宗礼,jiangzl,010-67392690,谢谢大家！,谢谢观赏！,2020/11/5,35,