大阳城娱乐官网(中国)有限公司
加入收藏
|
设为首页
|
搜索
搜索
公司概况
大阳城娱乐官网简介
公司领导
机构设置
人才培养
本科生培养
专业介绍
本科招生介绍
创新人才培养
实验班人才培养
公司产品
培养方案
招生信息
招生宣传
文件文档
获奖与成果
教学获奖
教学成果
下载专区
科研学术
科研方向
科研经费
论文专利
团队建设
团队概况
教师一览
合作交流
国际合作
职工培养
党群工作
喜庆二十大
主题教育
规章制度
学习园地
支部风采
教工之家
员工工作
团委员工会
班级风采
员工特色展示
蓝图工作室
ACM竞赛队
优秀员工代表
服务社会
科技扶贫&乡村振兴
支援边疆
科技服务
大阳城娱乐官网简介
大阳城娱乐官网1977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为大阳城娱乐官网。2020年,将原大阳城娱乐官网、软件学院、网络技术研究院调整、合并组建新的大阳城娱乐官网,并支撑网络与交换技术国家重点实验室(大阳城娱乐官网)。
课程信息
当前位置:
网站首页
>
团队建设
>
教师一览
>
数据科学与服务中心
程序设计方法学
来源:大阳城娱乐官网 发布日期:2019-01-21
浏览量:次
课程编号
512.5*058
课程名称
程序设计方法学
任课老师
徐六通
课程类型
必修/学位课
课程阶段
硕士
学时学分
36学时2学分
基本要求
通过本课程的学习,使员工掌握结构化程序和OO程序设计的分析及设计方法,掌握程序设计中形式方法的基本概念,了解程序正确性验证的原理和方法,基本了解开发程序设计的基本概念,使员工具备初步的系统分析能力和较好的程序设计能力。
内容提要
引言
第一章 系统与程序
可编程系统、程序及其性质、程序表示
第二章 结构化程序设计
基本概念,结构化定理,结构化程序设计
第二章 新型程序设计
函数程序,逻辑型程序设计,OO程序设计
第四章 程序设计中的形式方法
概念,语法形式描述,语义形式描述,形式推导,正确性,正确性验证
第五章 并发程序设计
基本概念,常用方法
教学方式
指定教材
参考书目
1. 《程序设计方法学》,陈火旺 等编著,电子工业出版社
2. 《程序设计方法学》,仲萃豪 等编著,北京出版社
先修课程:
先修课程
离散数学,程序语言基础
开课学期
秋
更多内容
祝贺大阳城娱乐官网(国家示范性软件学...
2021-03-01
计艺手工坊——大阳城娱乐官网工会美育浸润计划之手...
2023-06-26
舞步翩翩,盛夏齐欢——大阳城娱乐官网(国家示范性...
2023-06-06