计算机学科教学改革:北航式的奋斗——祝贺北航计算机系成立三十周年——从数理逻辑观点看计算机专业的理论基础探讨

来源 :计算机教育 | 被引量 : 0次 | 上传用户:juejue_wang1111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
人才培养是一个大学得以存在的根基。北京航空航天大学计算机学院一直以培养高质量的计算机专业人才为学院的核心工作。自1958建立计算机解算专业、1978年建立计算机系以来,经过几代人的不懈努力和探索,终有一些收获。总结学院多年办学经验,北航精炼出“研究型学院人才培养模式和培养体系”,该成果在2005年获国家教学成果一等奖,同时富于创新模式的“先进计算机网络技术实验基地的建设”获2005年国家教学成果二等奖;
其他文献
在生态系统能量流动部分内容教学过程中,通过运用问题驱动的方式,让学生将思考问题的答案以概念模型的形式一一呈现,使学生从简到繁,层层拨开能量流动的面纱,深度理解能量流
本文分析研究了反映空调用冷水机组在部分负荷运行时的综合性能相关参数,讨论了不同部分负荷性能冷水机组的能耗评价方法和节能潜力,划分了冷水机组在不同负荷段的部分负荷性
结合光合作用的原理和应用,探讨了基于任务驱动的高中生物学课堂教学,细化了设计任务目标、明确驱动途径、呈现驱动任务,以及完成任务和评价的过程,特别注意显性化其中所暗含
分析我国高校传统行政管理体制对现代环境的不适应性;探讨高校行政管理体制改革的新思路、新途径、新手段;论述中国高校行政管理职能从管理型到服务型的转变。
江苏省镇江市民政局戴江澄认为,近年来.各级党委.政府先后制定出台了一系列社会救助制度和政策.构成了一个与经济社会发展水平相适应的城乡统筹、形式有别、广覆盖、保基本,多层次
陕西省西安市灞桥区福利企业在落实科学发展观中前进,连续九年快速发展。2009年,全区20个福利企业完成总产值15000万元,税利1400万元。安排残疾人840人,占福利企业职工总数的41.7%
为探索销售新渠道、拓宽宣传新平台.江苏省扬州市广陵区福彩中心通过“一升级、二培训、三覆盖”方式提升福彩业务的工作能力。”一升级“即每隔一段时间就会对投注机和管理系
精品课程建设是高职院校教学改革工程的重要组成部分。作为国家首批高职示范校的天津职业大学,在精品课程建设上也在不断地探索,并取得了一定成绩。本文结合“光传输组网”精品
近年来,深圳市民间组织管理局在积极培育发展社会组织的同时,不断建立健全对社会组织的监管系统,完善社会组织的退出机制,加大社会组织执法监察力度,净化了社会组织的发展环
数据库课程的知识点具有立体化特点。本文针对应用性教育的特点和人才市场的需求,分析数据库课程的教学目标、能力要求,设计面向应用性教育的数据库课程体系,并提出相应的教学方