软件工程理论基础实验2：Coq中的命题和证明实验目的学习Coq中命题和证明的表示方法以及证明方法。实验内容根据课件及给定Coq文件（CoqCode2.v）学习Coq中命题和证明的表示方法及证明方法。掌握intros，apply等证明策略的使用方法。学会在Coq中对命题进行定义和声明及证明命题

代码练习1.下载IndianPines数据集!wgethttp://www.ehu.eus/ccwintco/uploads/6/67/Indian_pines_corrected.mat!wgethttp://www.ehu.eus/ccwintco/uploads/c/c4/Indian_pines_gt.matIndianPines是一个标准的高光谱数据集，广泛用于分类任务的研究。2.导入

中国海洋大学银行账号、税号信息发布者：信息发布发布时间：2017-03-22浏览次数：23119基本户账户名称：中国海洋大学OCEANUNIVERSITYOFCHINA基本户账号：226007730053基本户开户银行名称：中国银行股份有限公司青岛市南第二支行BANKOFCHINASHANDONGBRANCHQINGDAOSHIN

目录一、专业概述1.1专业定义1.2专业方向1.3专业课程1.4能力要求二、就业前景三、深造与研究方向四、海洋科学专业排名一、专业概述1.1专业定义        海洋科学是地球科学的重要组成部分，研究对象是占地球表面71%的海洋，包括海水、溶解和悬浮于海水中