计算机程序文库下载_中国高校课件下载中心

南京师范大学：《C程序设计》第四章选择结构程序设计

文档格式：PPT　文档大小：182.5KB　文档页数：22

4.1选择结构简介 4.2if语句 4.3 switch语句 4.4选择结构程序示例

清华大学：《汇编语言程序设计》第八章输入输出程序设计

文档格式：PPT　文档大小：178.5KB　文档页数：29

一、I/O设备的数据传送方式二、程序直接控制IO方式三、中断传送方式

清华大学出版社：《C程序设计》课程PPT教学课件（第三版）第二章程序的灵魂——算法

文档格式：PPT　文档大小：3.91MB　文档页数：71

2.1 算法的概念 2.2 简单算法举例 2.3 算法的特性 2.4 怎样表示一个算法 2.5 化程序设计方法

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章程序验证 ProgramVerification Necula 04 Decision-Procedure Based Theorem Provers Tactic-Based Theorem Proving Inferring Loop Invariants

文档格式：PPT　文档大小：259.5KB　文档页数：41

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章程序验证 ProgramVerification Necula 04 Decision-Procedure Based Theorem Provers Tactic-Based Theorem Proving Inferring Loop Invariants

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章程序验证 ProgramVerification Necula 03 Theorem Proving for FOL Satisfiability Procedures

文档格式：PPT　文档大小：214KB　文档页数：36

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章程序验证 ProgramVerification Necula 03 Theorem Proving for FOL Satisfiability Procedures

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章程序验证 ProgramVerification Necula 02 Finish Verification Condition Generation Simple Prover for FOL

文档格式：PPT　文档大小：217.5KB　文档页数：44

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章程序验证 ProgramVerification Necula 02 Finish Verification Condition Generation Simple Prover for FOL

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章程序验证 ProgramVerification Necula 01 Theorem Proving

文档格式：PPT　文档大小：174.5KB　文档页数：30

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章程序验证 ProgramVerification Necula 01 Theorem Proving

天津大学：《面向对象程序设计基础》课程电子教案（PPT课件）第三章基本控制结构

文档格式：PPT　文档大小：382KB　文档页数：88

3.1 程序的基本控制结构 3.2 选择结构 3.3 循环结构 3.4 跳转语句 3.5 简单程序设计举例

清华大学：《汇编语言程序设计》汇编语言程序与高级语言程序的连接

文档格式：PPT　文档大小：81KB　文档页数：6

连接中要解决的问题: 1.存储器分配问题 2.两种语言之间的控制传送问题 3.变量传送问题

华东理工大学：《VB程序设计 Visual Basic Programming》课程教学资源（PPT课件讲稿）第七讲 VB程序控制结构（2）

文档格式：PPS　文档大小：1.05MB　文档页数：22

4.3 循环结构程序设计