• 程序逻辑：描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍

• 4.1 程序设计概述 • 4.2 顺序程序设计 • 4.3 循环程序设计 • 4.4 分支程序设计 • 4.5 子程序设计 • 4.6 查表程序设计 • 本章小结 • 习题

目录 第一章 socket网络编程 第二章C/S模式程序设计 访问关系数据库 程序设计 第三章B/S模式程序设计 WWW基础 页面程序设计(javascript) 服务器端程序设计(jsp,asp)

1.了解什么是结构化程序设计,以及结构化程序设计的原则。 2.了解程序设计风格4个方面的要求 3.了解提高程序效率的方法。 4.了解程序设计语言的分类和特点。 5.掌握度量程序复杂性的 McCabe方法和 Halstead方法

本章讲解程序设计的基本概念并初步认识Java。重 点搞清什么是计算机程序、程序设计、程序设计语 言等基本概念。同时介绍Java程序的编写、编译和 运行，以及相关的环境设置和工具使用

（一）理论课程 1《微机原理及接口技术》 2《计算机网络技术》（理论） 3《数字信号处理》 4《数字图像处理》（理论） 5《专业英语》 6《EDA 技术》课程理论教学大纲 7《单片机原理》课程理论教学大纲 8《汽车电子技术》 9《电气制图及 CAD》 10《电路原理 A》 11《模拟电子电路 A》 12《数字电子电路》 13《文献检索》 14《电磁场与电磁波》 15《算法与数据结构》 16《电子信息工程导论》 17《通信电子电路》 18《信号与系统》 19《通信原理 B》 20《机器人技术》（理论） 21《DSP 技术及应用》 22《信息论与编码》 23《移动应用软件开发》 24《面向对象程序设计》 25《智能控制技术》 26《移动互联网技术》 27《物联网与云计算》 28《软件工程》 29《人工智能导论》（理论） 30《电子测量技术》 31《传感器原理与应用》（理论） 32《ASPNET 程序设计》 33《嵌入式系统原理与设计》（理论） 34《工程项目管理与经济决策》 35《Python 程序设计》理论 36《智能建筑系统集成》 （二）实验课程 37《微机原理及接口技术》 38《计算机网络技术》（实验） 39《数字信号处理》 40《数字图像处理》（实验） 41《EDA 技术》课程 42《单片机原理》课程 43《通信电子电路》 44《电子技术基础实验》 45《电路原理实验》 46《信号与系统》 47《通信原理 B 实验》 48《人工智能导论》（实验） 49《传感器原理与应用》 50《嵌入式系统原理与设计》（实验） 51《Python 程序设计》实验 （三）实践课程 52《电工电子实习》 53《印制板微机辅助设计》 54《专业认知实习（1）》 55《专业认知实习（2）》 56《毕业设计（论文）》 57《电子系统综合实训》 58《C 语言程序概念实训》教学大纲 59《程序设计技能实训》 60《EDA 课程设计》课程设计教学大纲 61《嵌入式系统原理与设计》课程设计教学大纲 62《单片机原理》课程设计教学大纲

一、教学大纲说明 (一)课程的性质与目的 《Visua1Basc《程序设计》是工科非计算机科学与技术专业本科生的一门 必修计算机技术基础课程。本课程的目的与任务是使学生通过本课程的学习和 示例的分析,掌握使用 Visual Basic开发 Windows应用程序的一般方法和特 点,理解Windows应用程序的基本概念、主要功能和 Windows应用程序开发的 基本思想,能够根据实际需要自行开发简单的 Windows应用程序,并为今后进 一步使用 Visual Basic或其他面向对象的可视化开发工具开发 Windows应用程 序打下基础

本章详细讲述汇编 语言程序设计的基本步骤,通过实例 分析说明程序的基本结构,按照程序 设计的基本步骤设计各种结构程序的 方法,主要有:

欢迎进入 Java 的世界学习计算机程序设计课程。这将是一次美妙和激动人心的探索， 可能将为你今后从事的充满挑战和令人兴奋的职业奠定软件编程的基础。因为众所周知计算 机在我们的日常生活中扮演了一个重要的角色而且在未来也将一样。 计算机科学是一个充满了挑战和发展机遇的年轻学科，而计算机程序设计则是这门学科 的重要基础。随着计算机在各行各业的广泛应用，很多非计算机专业的课程设置中也把计算 机程序设计列为公共基础课之一。 既然是作为基础课的教材，那么本书所假定的读者可以既不具有程序设计经验，也没有 面向对象技术的概念和 Web 程序设计知识，甚至没有太多的计算机知识

实验一 数据传送实验 实验目的： （1）学习使用伟福仿真软件 （2）掌握8031内部RAM和外部RAM之间数据传送特点和应用。 （3）复习数据传送指令。 实验二 数制转换运算实验 实验目的 ： 1、学习二进制数转换为BCD码数的一般算法。 2、学习十进制数转换成ASCⅡ码的一般算法。 实验三 控制转移程序实验 实验目的 ： 学习掌握控制转移指令程序设计方法。 实验四 定时器/计数器实验 实验目的 ： 1、学习掌握利用中断、查询方法设计8031内部定时计数器程序。 2、进一步掌握中断处理程序的编程方法。 实验五 串行口扩展实验 实验目的 ： 1、掌握串行口控制显示器硬件原理及软件设计方法。 2、掌握单片机与74LS164接口电路设计。 实验六 串行通信实验 实验目的： 学习单片机串行通信方式，熟悉串行通信程序设计。 实验七 流水灯实验 实验目的： 掌握8051单片机输入、输出端口程序设计方法