切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
加强计算机本科专业程序正确性知识教育与能力培养
加强计算机本科专业程序正确性知识教育与能力培养
来源 :计算机教育 | 被引量 : 0次 | 上传用户:lxs000
【摘 要】
:
针对当前计算机本科专业对程序正确性的知识教育与能力培养十分薄弱,远不能满足未来计算机工作者的培养需求的情况,讨论程序正确性内涵及保障正确性的形式化方法的意义,分析计算
【作 者】
:
刘波
刘志明
裘宗燕
秦晓
【机 构】
:
西南大学计算机与信息科学学院,西南大学软件研究与创新中心,北京大学数学科学学院
【出 处】
:
计算机教育
【发表日期】
:
2018年2期
【关键词】
:
计算机本科教育
计算机科学与技术
软件工程
程序正确性
形式化方法
【基金项目】
:
西南大学“千人计划”人才引进项目(SWU116007).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对当前计算机本科专业对程序正确性的知识教育与能力培养十分薄弱,远不能满足未来计算机工作者的培养需求的情况,讨论程序正确性内涵及保障正确性的形式化方法的意义,分析计算机专业基础课程设置中存在的问题,‘提出加强正确性即形式化方法的知识教育与能力培养建议。
其他文献
李达参与中国共产党创建的思想基础及其重要贡献
李达是中国共产党的重要创始人之一、早期领导者之一。他参与中国共产党的创建.努力宣传马克思主义,为中国共产党创立做了思想和舆论准备;他担任上海早期党组织的临时负责人,为中
期刊
李达
中国共产党
创建
Li Da the CPC establishment
地下翻卷机大轴断裂原因分析
通过对卷取机翻卷机大轴进行受力分析计算,找到了翻卷机大轴断裂的原因,指出了日本某公司设计中存在的问题,对该设备的改进起了指导作用。
期刊
卷取机
翻卷机
大轴断裂
青海大通宝库河断裂活动性研究
本文在对宝库河地区第四系及地貌单元划分对比的基础上,结合年代测试结果,分析了宝库河断裂带的断错微地貌特征。结果表明,宝库河断裂穿过的Ⅰ-Ⅲ级冲积、坡洪积阶地未被断错;经热
期刊
断层活动性
热释光法
第四纪
宝库河断裂
Fault activity
Thermol uminescent method
Quaternary
Geomorp
2001年发生厄尔尼诺事件的天文条件
据2001年8月23日《长春晚报》报道,最近上海天文台预测,厄尔尼诺事件将在今年年末发生笔者在1999年就曾预报2000~2001年将发生厄尔尼诺事件,并在2001年进一步预测其发生时间在
期刊
厄尔尼诺
火山活动
地球自转
天文条件
2001年
El NinoVolcano activityRotation of the earth
翻转课堂模式及其在计算机编程课程中的应用研究
根据翻转课堂在高校课程教学中应用和效果,在分析国内计算机编程课程教学现状的基础上,阐述基于翻转课堂的计算机编程课程教学设计,并分别从课前准备工作、课堂教学环节和考
期刊
翻转课堂
教学设计
教学评价
计算机编程
中国是当今世界最有可能实现生态文明的地方——著名建设性后现代思想家柯布教授访谈录
利用赴美参加由中国自然辩证法研究会和中美后现代发展研究院在美国克莱蒙举办的主题为"马克思主义,建设性后现代主义与生态文明"的第四届生态文明国际论坛的机会,本刊执行主
期刊
电偶源频率电磁测深中磁场比值视电阻率与其相位间的频散关系及资料的联合反演
探讨了在电偶源频率电磁测深中利用磁场比值定义的视电阻率ρzy的物理意义及与其相位间的频散关系,给出了在频散关系的基础上电视电阻率资料估算相位的方法,并证明所估算的相位与
期刊
视电阻率
联合反演
电磁测深
磁场比值
频散关系
振动频率对原状黄土动本构关系的影响
对原状黄土(Q4)施加4种频率的等幅正弦波荷载进行动三轴试验,研究振动频率对原状黄土动本构关系的影响。结果表明,对应于4种频率的原状黄土的动本构关系均服从双曲线模型,但试验常数a,b均
期刊
振动频率
动三轴试验
原状黄土
动本构关系
Vibration frequencyElastic modulus Dynamic triaxial test L
肃南台水管倾斜仪试记资料的初步分析
对肃南台FSQ自记水管倾斜仪试记资料进行了分析,对建台后几个月的资料进行了处理,结果表明,其观测资料的内精度达到了现行观测规范的要求,记录的突跳异常与该台附近发生的几次中小地
期刊
甘肃
水平倾斜仪
数据分析
地震监测
地震资料
Gansu Horizontal tiltmeter Data analysis Seismologic sur
中国大陆西部及邻区地震时空分布特征及其强震趋势预测
通过分析中国大陆西部及邻区地震活动的时空韵律性特征,较详细地研究了该区域的强震等间距、强震空带等间距的空间分布格局以及时间分布上的23a太阳活动准周期,同时探讨了活动
期刊
地震分布
地震活动性
中国
地震预测
时空分布
Trend prediction Earthquake distributionSeismic activity
与本文相关的学术论文