网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
登录或注册
点击切换搜索课件
文库搜索结果(220)
中国科学技术大学:《程序设计语言理论》课程教学资源(PPT课件讲稿)第4章 类型化λ演算的模型
文档格式:PPT 文档大小:791.5KB 文档页数:47
• 递归函数和不动点算子,以及PCF语言的编程实例 • 基于完全偏序集合的,带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法,这是一种对递归定义进行推理的证明方法
中国科学技术大学:《程序设计语言理论》课程教学资源(PPT课件讲稿)第3章 简单类型化λ演算
文档格式:PPT 文档大小:0.98MB 文档页数:103
• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统(操作语义) • 讨论类型化演算的通用模型(指称语义)及可靠性和完备性定理 • 介绍PCF语言(递归函数留待下一章)及其公理语义和操作语义
西安石油大学计算机学院:《程序设计语言(C语言)》课程教学资源(授课教案)第五章 结构体和公用体
文档格式:DOCX 文档大小:26.03KB 文档页数:12
5.1 结构体的概念 5.2 结构体变量的定义、初始化和引用 5.3 结构体数组 5.4 指向结构体的指针 5.5 公用体 5.6 枚举 5.7 typedef 的使用
西安石油大学计算机学院:《程序设计语言(C语言)》课程教学资源(授课教案)第四章 函数及编译预处理
文档格式:DOCX 文档大小:37.87KB 文档页数:22
4.1 函数的定义、说明与调用 4.2 变量的存储类、作用域和存在性,内部和外部函数 4.3 编译预处理 4.4 递归函数 4.5 指针与函数的参数传递 4.6 指向函数的指针 4.7 返回指针的函数 4.8 命令行参数
《编译原理》课程教学资源(PPT课件讲稿)第七章 语义分析和中间代码生成
文档格式:PPT 文档大小:575KB 文档页数:123
本章内容: 介绍几种常用的中间表示:后缀表示、图形表示和三地址代码; 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式; 7.1 中间语言 7.2 说明语句 7.3 赋值语句 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查
西安石油大学计算机学院:《程序设计语言(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 文档大小:475KB 文档页数:59
语法:单词作为语句中元素的显示它们之间关系的布局。描述 了构成有效程序的符号序列。如C中,x=y+z是有效的符号序列, 而xy+一则不是。 语法提供了理解程序需要的有意义的信息。也提供了大量源程 序到目标程序翻译所需的信息
《高级程序设计语言》 第八章 函数
文档格式:PPT 文档大小:224KB 文档页数:56
概述 一、模块化 1.一个较大的程序一般被划分为若干个程序模块,每个模块来实现某一个特定的功能 2.C语言中,用函数来实现程序模块的功能例:(P143例8.1)结果:
《程序设计语言与编译》课程PPT教学课件(高职)第二十六讲 运行时存储空间管理
文档格式:PPT 文档大小:143.5KB 文档页数:42
程序投入运行的必要条件: 一组可运行的代码 一个运行环境:分配空间、提供运行信息
首页
上页
11
12
13
14
15
16
17
18
下页
末页
热门关键字
工程应用]
photoshop平面设计
控制器
东华大学
初等数学
波动光学]
VIsual.FoxPro应用
MasterCAM应用
INTERNET基础应用
DNA合成
工等数学
工程原理
工程师]
工程控制原理
东南大学
东北农业大学]
定解问题
大学英语4
场量基本方程]
差分方法
材料试验方法
材料力学
北京工业大学
北京电影
八下数学
XML应用
SQLSERVER数据库
SPSS统计方法
spss数据分析
pVT关系
ppt
PLC编程
PHOTOSHOP与平面设计
ORACLE数据库
MATLAB工程应用
11]
《仓储与配送管理》
《专题讲座》
《经济学》
《3S技术应用》
搜索一下,找到相关课件或文库资源
220
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有