点击切换搜索课件文库搜索结果(11149)
文档格式:PDF 文档大小:3.65MB 文档页数:96
一. 集成电路的摩尔定律——电荷行为 二. 神奇的磁性及其应用——自旋和电荷行为 三. 巨磁电阻效应——可爱活泼的自旋行为 四. 交换偏置效应——再次显示自旋的伟大 五. 锰氧化物庞磁电阻——自旋的又一非凡表现 六. 纳米尺度下自旋行为的调控——看我是多么配合 七. 目前存在的问题——未来世界属于你们
文档格式:PPT 文档大小:601.5KB 文档页数:45
– 带依赖类型的演算,包括依赖积与依赖和 – 概要介绍Dependent ML(DML),以此来展示怎样把依赖类型用到实际语言中,这是当前程序设计语言研究的一个课题 – 带广义积与广义和的直谓式演算,以及它们同SML及其相近语言的模块系统的联系
文档格式:PPT 文档大小:565.5KB 文档页数:42
• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统
文档格式:PPT 文档大小:791.5KB 文档页数:47
• 递归函数和不动点算子,以及PCF语言的编程实例 • 基于完全偏序集合的,带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法,这是一种对递归定义进行推理的证明方法
文档格式:PDF 文档大小:571.13KB 文档页数:38
1.1 什么是数据结构 1.2 基本概念和术语 1.3 抽象数据类型的表示与实现 1.4 算法和算法分析 1.4.1 算法 1.4.2 算法设计的要求 1.4.3 算法效率的度量 1.4.4 算法的存储空间的需求
文档格式:PDF 文档大小:5.72MB 文档页数:44
第一节 农业要素是什么 第二节 作物生活要素 第三节 农业增长要素 第四节 农业资源利用与养育原理 第五节 中国农业资源
文档格式:PPT 文档大小:1.73MB 文档页数:83
一、科学社会主义维度上的科学发展观 二、科学体系维度上的科学发展观 三、科学发展观是科学的世界观和方法论维度上的科学理论 四、科学发展观是解放思想的产物,是发展模式的创新,凝聚了新的改革共识 五、科学发展观是研究中国特色社会主义发展科学规律的理论 六、科学技术维度上的科学发展观
文档格式:PPT 文档大小:6.26MB 文档页数:109
通过本章学习,正确理解和把握社会主义本质理论的科学内涵和重要意义;深刻认识社会主义建设的根本任务是解放和发展生产力;正确认识中国特色社会主义的发展战略,掌握社会主义初级阶段“三步走”的发展战略、全面建设小康社会的奋斗目标以及当前实现中华民族伟大复兴中国梦的科学内涵。 第一节 社会主义的本质 第二节 社会主义的根本任务 第三节 中国特色社会主义的发展战略
文档格式:PDF 文档大小:4.35MB 文档页数:32
 什么是大学?  自动化学院是什么样的?  自动化、测控技术与仪器专业是什么样的一类专业?
文档格式:PPT 文档大小:5.38MB 文档页数:57
一、什么是自杀? 二、自杀的类型 三、自杀原因分析 四、什么样的青少年容易自杀 五、中国的自杀现状(1995—1999) 六、大学生自杀问题 七、改变一些错误的关于自杀的观念
首页上页7576777879808182下页末页
热门关键字
搜索一下,找到相关课件或文库资源 11149 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有