点击切换搜索课件文库搜索结果(1585)
文档格式:PDF 文档大小:2.75MB 文档页数:31
北京中医药大学:《数据科学导论》课程教学资源(课件讲稿)大数据与卫生管理(主讲:李瑞锋)
文档格式:PDF 文档大小:570.95KB 文档页数:67
8.1层次分析模型 8.2循环比赛的名次 8.3社会经济系统的冲量过程 8.4效益的合理分配
文档格式:PPTX 文档大小:6.91MB 文档页数:56
北京中医药大学:《数据科学导论》课程教学资源(PPT课件)第3章 计算机网络
文档格式:PPTX 文档大小:15.77MB 文档页数:71
北京中医药大学:《数据科学导论》课程教学资源(PPT课件)第2章 计算机基础
文档格式:PPT 文档大小:699.5KB 文档页数:74
– 多态类型系统的语法,包括直谓式的,非直谓式的和type: type版本 – 直谓式多态λ演算,包括和其它两个系统之间的联系,它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类
文档格式:PPTX 文档大小:468.78KB 文档页数:50
• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况
文档格式:PPT 文档大小:764KB 文档页数:27
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第三部分 代数结构 第七章 代数系统
文档格式:PPT 文档大小:230KB 文档页数:56
电子服务的方式 1、经济信息服务:提供新闻、经济、金融、信息服务的系统 2、电子设备环境服务:提供辅助工具、场所、虚拟空间、数字设备等服务; 3、社会服务系统:方便人们工作、生活的服务系统,包括工作、娱乐和休闲等;
文档格式:PDF 文档大小:204.54KB 文档页数:36
《应用随机过程教程》教学资源(参考资料)与在算法和智能计算中的应用——第9章 以图象信息为背景的随机场、迭代Markov系统
文档格式:PPT 文档大小:525KB 文档页数:18
一、四则运算是计算机经常进行的一种操作。算术运算指令实现二进制(和十进制)数据的四则运算
首页上页136137138139140141142143下页末页
热门关键字
搜索一下,找到相关课件或文库资源 1585 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有