点击切换搜索课件文库搜索结果(166)
文档格式:PPT 文档大小:696.5KB 文档页数:52
• 基本知识 – 人−机−物三元世界、云计算、未来网、物联网、泛在网、图灵机计算模型、网域计算模型 • 交互计算 – 经典计算与交互计算、交互的特点、交互的机器模型、能描述交互的演算 • 从归纳到余归纳 – 良基集、非良基集、余归纳、互模拟 • 从代数到余代数 – 笛卡尔积, 可区分并, 余代数, 代数和余代数的区别
文档格式:PPT 文档大小:164.5KB 文档页数:42
一、计算机应用:与计算机使用相关联的领域。 二、计算机具体应用:计算机在各行各业的具体应用。 三、计算机应用技术:计算机应用于各具体领域的共性理论、方法和技术。 四、应用数学:计算机应用技术的基础理论
文档格式:PPTX 文档大小:454.19KB 文档页数:51
• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • 演算 – 表达式的文法、 演算的变换规则、Church数码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函数
文档格式:PPTX 文档大小:454.19KB 文档页数:51
• 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • λ演算 – λ表达式的文法、 λ演算的变换规则、Church数码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函数
文档格式:PPT 文档大小:706.5KB 文档页数:42
• 基本知识 – 可计算理论, 计算资源, 计算复杂性理论, 算法分析 • 复杂性的计量 – 问题规模、复杂性函数、最坏、最好和平均三种情况的时间复杂性 • 复杂性的渐近行为及其阶 – 复杂性的渐近行为、渐近意义下的记号O、记号O的运算规则、复杂性渐近阶分析的重要性 • 算法复杂性渐近阶的分析 – 算法的复杂性渐近阶的分析、语句规则的例举
文档格式:PPT 文档大小:291.5KB 文档页数:36
一、程序设计语言的发展 二、形式语言与自动机 三、形式语义学 四、程序设计方法学 五、计算语言学 六、软件开发方法学
文档格式:PPT 文档大小:1.3MB 文档页数:76
• 基本知识 – 内存分层结构、多处理器的体系结构 • 并行计算 – 并行计算的常见方式、循环级并行 • 程序中的局部性 – 时间局部性、空间局部性、代码和数据局部性 • 矩阵乘算法及其优化 – 矩阵乘算法及分析、分块的矩阵乘算法及分析 围绕计算机体系结构而不是抽象模型来讨论
文档格式:PPTX 文档大小:473.97KB 文档页数:56
• 大数据的魅力 – 数据挖掘、大数据、大数据案例、大数据的特点 • 大数据时代的思维变革 – 样本和全体、精确性和混杂性、因果关系和相关关系 • 大数据的处理 – 几种主要处理方式、MapReduce编程模型 • 大数据的分析 – 关键技术概述、PageRank初步
文档格式:PPT 文档大小:957.5KB 文档页数:48
• 基本知识 – 多核体系结构、并行编程模型 • 内存一致性模型 – 严格一致性模型、顺序一致性模型、内存一致性模型的重要性 • 共享变量并行编程模型 – 同步、锁、临界区、条件变量、死锁、数据竞争 • 消息传递并行编程模型 – 消息传递、同步与异步
文档格式:PPTX 文档大小:468.78KB 文档页数:50
• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况
首页上页4567891011下页末页
热门关键字
搜索一下,找到相关课件或文库资源 166 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有