点击切换搜索课件文库搜索结果(166)
文档格式:PPT 文档大小:1.12MB 文档页数:56
• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序
文档格式:PPT 文档大小:13.84MB 文档页数:55
1. 大数据时代 2. 大数据概念 3. 大数据的影响 4. 大数据的应用 5. 大数据关键技术 6. 大数据计算模式 7. 大数据产业 8. 大数据与云计算、物联网的关系 9. 大数据在中医药及生物医学领域的应用
文档格式:PPT 文档大小:324.5KB 文档页数:44
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第8章 计算机科学技术的研究范及在各领域的应用
文档格式:PPT 文档大小:299KB 文档页数:13
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第9章 计算机科学技术学科适应领域与择业
文档格式:PPT 文档大小:465KB 文档页数:118
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第1章 计算机科学技术的基础知识
文档格式:PPT 文档大小:1.11MB 文档页数:83
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第5章 数据库系统与信息系统
文档格式:PPT 文档大小:101.5KB 文档页数:2
《计算机科学技术导论》课程教学资源(PPT课件讲稿)章节目录
文档格式:PPT 文档大小:669KB 文档页数:46
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第10章 计算机常用软件介绍
文档格式:PPT 文档大小:100.5KB 文档页数:24
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第7章 计算机安全技术
文档格式:PPT 文档大小:418.5KB 文档页数:38
《计算机科学技术导论》课程教学资源(PPT课件讲稿)第6章 多媒体技术
首页上页56789101112下页末页
热门关键字
搜索一下,找到相关课件或文库资源 166 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有