计算科学导论文库下载_中国高校课件下载中心

文档格式：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章多媒体技术