目录 一 函数概述 二 函数定义的一般形式 三 函数的调用、参数和返回值 四 局部变量和全局变量 五 变量的存储类型 六 内部函数和外部函数

文件(File) C语言中的文件 ，C语言把文件看作一个字节的序列 ，C语言对文件的存取是以字节为单位的 文本文件(ASCI文件) 按数据的ASCI形式存储。 二进制文件 ，按数据在内存中的二进制形式存储

C语言的特点，语言简捷、紧凑,使用方便、灵活 运算符丰富 数据结构丰富 具有结构化的控制语句，语法限制不太严格,程序设计自由度大，能实现较底层的功能。生成目标代码质量高,程序执行效率高，程序可移植性好

位运算,按二进制位进行运算,位运算的运算对象是二进制的位,位运算速度快,效率高,节省存储空间 只能对整型数据(包括字符型)进行位运算。负数以补码形式参与运算，注意与逻辑运算区别

由于原子能、电子工业、计算机、医疗、 激光等近代科学技术的发展及国防工业的需要 ,玻璃材料和其他无机非金属材料一样,发展 非常迅速

资源数据管理技术主要包括数据采集技术、关系数据库技术、空间数据库(图形库)技术和信息发送服务技术。这些技术既是开发和建造资源信息系统的基础，也是资源勘查开发与地球科学领域中一切计算机应用的基础

目录 一、指针概念 二、指针变量和指针运算 三、指向数组的指针 四、指向字符串的指针 五、指向函数的指针 六、返回指针值的函数 七、指针数组和指向指针的指针

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

• 大数据的魅力 – 数据挖掘、大数据、大数据案例、大数据的特点 • 大数据时代的思维变革 – 样本和全体、精确性和混杂性、因果关系和相关关系 • 大数据的处理 – 几种主要处理方式、MapReduce编程模型 • 大数据的分析 – 关键技术概述、PageRank初步