网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(205)
中国科学技术大学:《程序设计语言理论》课程教学资源(PPT课件讲稿)第5章 命令式程序的语义
文档格式:PPT 文档大小:538.5KB 文档页数:49
• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义
中国科学技术大学:《程序设计语言理论》课程教学资源(PPT课件讲稿)第4章 类型化λ演算的模型
文档格式:PPT 文档大小:791.5KB 文档页数:47
• 递归函数和不动点算子,以及PCF语言的编程实例 • 基于完全偏序集合的,带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法,这是一种对递归定义进行推理的证明方法
中国科学技术大学:《程序设计语言理论》课程教学资源(PPT课件讲稿)第3章 简单类型化λ演算
文档格式:PPT 文档大小:0.98MB 文档页数:103
• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统(操作语义) • 讨论类型化演算的通用模型(指称语义)及可靠性和完备性定理 • 介绍PCF语言(递归函数留待下一章)及其公理语义和操作语义
西安石油大学计算机学院:《程序设计语言(C语言)》课程教学资源(授课教案)第四章 函数及编译预处理
文档格式:DOCX 文档大小:37.87KB 文档页数:22
4.1 函数的定义、说明与调用 4.2 变量的存储类、作用域和存在性,内部和外部函数 4.3 编译预处理 4.4 递归函数 4.5 指针与函数的参数传递 4.6 指向函数的指针 4.7 返回指针的函数 4.8 命令行参数
西安石油大学计算机学院:《程序设计语言(C语言)》课程教学资源(授课教案)第三章 指针和数组
文档格式:DOCX 文档大小:32.33KB 文档页数:20
3.1 一维数组的定义和引用 3.2 二维数组的定义和引用 3.3 字符数组和字符串 3.4 指针的概念 3.5 指针变量的定义和引用 3.6 指针和数组的关系 3.7 指针和字符串 3.8 指针数组和指向指针的指针
中国石油大学(华东)计算机与通信工程学院:《Fortran程序设计语言》FORTRAN语言上机简单步骤(赵永军)
文档格式:PPT 文档大小:342KB 文档页数:6
一、基本操作 1、开机进入WINDOWS XP 2、开始—程序—附件,选“命令提示符” 3、显示出命令提示符窗口后,进入D盘的FOR51子目录(文件夹)
《编译原理》课程教学资源(PPT课件讲稿)第七章 语义分析和中间代码生成
文档格式:PPT 文档大小:575KB 文档页数:123
本章内容: 介绍几种常用的中间表示:后缀表示、图形表示和三地址代码; 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式; 7.1 中间语言 7.2 说明语句 7.3 赋值语句 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查
清华大学:《程序设计语言(JAVA)》课程教学资源(PPT课件讲稿)第十章 Java数据流
文档格式:PPT 文档大小:1.48MB 文档页数:56
本章主要介绍Java语言如何利用数据流的思 想处理字节和字符的输入输出(包括stdin、 stdout和stderr)。本章后面的几个小节还将 介绍一些对文件和文件中的数据进行处理 的具体方法
《高级程序设计语言原理》第三章 语言翻译
文档格式:PPT 文档大小:475KB 文档页数:59
语法:单词作为语句中元素的显示它们之间关系的布局。描述 了构成有效程序的符号序列。如C中,x=y+z是有效的符号序列, 而xy+一则不是。 语法提供了理解程序需要的有意义的信息。也提供了大量源程 序到目标程序翻译所需的信息
《高级程序设计语言》 第八章 函数
文档格式:PPT 文档大小:224KB 文档页数:56
概述 一、模块化 1.一个较大的程序一般被划分为若干个程序模块,每个模块来实现某一个特定的功能 2.C语言中,用函数来实现程序模块的功能例:(P143例8.1)结果:
首页
上页
9
10
11
12
13
14
15
16
下页
末页
热门关键字
1:5
园林
西华师范大学
西藏农牧学院
西北农林科技大学
三维结构
青岛科技大学
包庇
BR
c/c
中国科学技术大学
西南交通大学
西南大学商学院
武夷学院
投资决策
统计学
山东医科大学
人脑
模拟电子技术
兰州交通大学
抗肿瘤药
极限状态设计
华中科技大学
湖南农业大学
冲击强度测定
池州学院
标准
北京林业大学
ACCESS数据库
DNA
ASIC原理
AutoCAD
MATLAB应用
FLAC3D
VF程序设计
Visual
Elastic
CCNA安全
《测控电路》
《大学计算机基础》
搜索一下,找到相关课件或文库资源
205
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有