中科院数理逻辑
数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。简而言之
中科院多元统计分析
多元统计分析是从经典统计学中发展起来的一个分支，是一种综合分析方法，它能够在多个对象和多个指标互相关联的情况下分析它们的统计规律，很适合农业科学研究的特点。主要内容包括多元正态分布及其抽样分布、多元正态总体的均值向量和协方差阵的假设检验、多元方差分析、直线回归与相关、多元线性回归与相关(Ⅰ)和(Ⅱ)、主成分分析与因子分析、判别分析与聚类分析、Shannon信息量及其应用。简称多元分析。当总体的分布是多维（多元）概率分布时，处理该总体的数理统计理论和方法。数理统计学中的一个重要的分支学科。
中科院高等有机合成
《高等有机合成》是化学工程与工艺专业的跨模块选修课之一，是从事精细化工产品的生产、科研、开发的基础。本课程注重有机合成理论知识的传授，化合物合成路线的设计。通过本课程的学习，使学生在原有有机化学知识的基础上，了解有机合成领域的新成果和发展趋势；加深对有机化学反应类型的理解，掌握各类有机物的制备方法，提高学生分析问题和解决问题的能力，培养学生严谨的科学作风。
中科院随机过程共40课时视频
随机过程(Stochastic Process)是一连串随机事件动态关系的定量描述。随机过程论与其他数学、物理分支如位势论、微分方程、复变函数论、力学等有密切的联系，是在自然科学、工程科学及社会科学各领域研究随机现象的重要工具。
中科院Windows Server 2008实战攻略视频共18讲
2008年对我们所有的人都是一个值得期待的一年，这一年不仅仅有万众瞩目的奥运会在中国举行，同样在这一年微软公司也推出了最新一代的服务器平台产品带给我们了更多的值得期待的特性，为了让您更快更好的了解最新一代的产品我们针对企业的决策者，网络管理人员和技术爱好者隆重推出第二个 Windows Server 2008 系列课程“2008重磅出击??微软Windows Server 2008实战攻略系列”课程，通过新技术介绍，新名词讲解，技术场景描述，技术具体实现来帮助您由浅入深的了解最新一代的操作系统对您企业有何
中科院时间序列分析
时间序列分析(Time series analysis)是一种动态数据处理的统计方法。该方法基于随机过程理论和数理统计学方法，研究随机数据序列所遵从的统计规律，以用于解决实际问题。
中科院数字图像处理
数字图像处理(Digital Image Processing)是通过计算机对图像进行去除噪声、增强、复原、分割、提取特征等处理的方法和技术。数字图像处理的产生和迅速发展主要受三个因素的影响：一是计算机的发展；二是数学的发展（特别是离散数学理论的创立和完善）;三是广泛的农牧业、林业、环境、军事、工业和医学等方面的应用需求的增长。
中科院矩阵分析视频共30讲
《矩阵分析》旨在为读者提供泛函分析的精髓矩阵分析。算子理论，算子代数，数学物理和数值分析专业的研究生和科研人员将对《矩阵分析》感兴趣。《矩阵分析：英文（影印版）》可以作为高等线性代数和矩阵分析方向的研究生基础教程，也可以作为算子理论和数值分析方向的补充教程，包括的核心思想有最优化理论，特征值的变分原理，算子单调性和凸分析，矩阵函数的扰动和矩阵不等式。这些内容大多数都是第一次以《矩阵分析》中这么独特的方式讲述。读者将会从书中学到很多强大的工具、广泛的应用技巧以及和数学专业其他领域之间的联系。矩阵不等式使得《
中科院生物信息学视频共28讲
生物信息学(Bioinformatics)是研究生物信息的采集，处理，存储，传播，分析和解释等各方面的学科，也是随着生命科学和计算机科学的迅猛发展，生命科学和计算机科学相结合形成的一门新学科。它通过综合利用生物学，计算机科学和信息技术而揭示大量而复杂的生物数据所赋有的生物学奥秘。
中科院有限元方法
有限元分析（FEA，Finite Element Analysis）利用数学近似的方法对真实物理系统（几何和载荷工况）进行模拟。还利用简单而又相互作用的元素，即单元，就可以用有限数量的未知量去逼近无限未知量的真实系统。
中科院模式识别
模式识别（英语：Pattern recognition），就是通过计算机用数学技术方法来研究模式的自动处理和判读。我们把环境与客体统称为“模式”。随着计算机技术的发展，人类有可能研究复杂的信息处理过程。信息处理过程的一个重要形式是生命体对环境及客体的识别。对人类来说，特别重要的是对光学信息（通过视觉器官来获得）和声学信息（通过听觉器官来获得）的识别。这是模式识别的两个重要方面。市场上可见到的代表性产品有光学字符识别（Optical Character Recognition, OCR）、语音识别系统。
粤公网安备 44180302000013号