学科分类 - 《中国大百科全书》第三版网络版

高级搜索

个人中心
机构中心
退出

专业板块专题板块大众板块

总分类

哲学经济学法学教育学文学历史学理学工学农学医学军事学管理学艺术学

返回总分类

首页

计算机科学理论/ theory of computer science // theory of computer science /

以电子计算机为研究对象的科学理论。计算机科学的基础理论的总称。它是建立在系统化的基本概念、基本方法、基本定理、基本模型和基本原理之上的知识体系，主要包括数值计算、符号计算、离散数学、概率统计、计算理论和程序理论六个部分。又称理论计算机科学。

计算机科学中的逻辑/ logics in computer science /logics in computer science
计算机科学理论
计算机科学的每个分支中的一个或多个逻辑系统。
矩阵计算/ matrix computation /matrix computation
数值计算
研究矩阵乘法、矩阵范数、线性方程组、正交化和最小二乘法、矩阵特征值、矩阵分解等理论问题与计算方法的数值分析的重要分支。
区间运算/ interval arithmetic /interval arithmetic
数值计算
操作数或变量为区间，其计算结果也为区间的运算。
离散优化/ discrete optimization /discrete optimization
数值计算
应用数学和计算机科学中优化问题的一个分支。
网络优化/ network optimization /network optimization
数值计算
研究如何有效计划、管理和控制网络系统，使之发挥最大的社会和经济效益的运筹学重要分支。
非凸优化/ nonconvex optimization /nonconvex optimization
离散连续混合优化
相对于凸优化而言的一类一般的优化问题。
二次规划/ quadratic programming; QP /quadratic programming; QP
离散连续混合优化
一种如投资组合、线性约束最小二乘问题、分类问题中的线性支持向量机等特殊类型的最优化问题。
拟凸规划/ quasiconvex programming /quasiconvex programming
离散连续混合优化
一种广义的凸优化问题。
序/ order /order
集合论
集合中元素的次序关系。
集合运算/ set operation /set operation
集合论
实体造型系统中非常重要的模块，也是一种非常有效的构造形体的方法。

计算机科学理论/ theory of computer science // theory of computer science /

计算机科学中的逻辑/ logics in computer science /logics in computer science

矩阵计算/ matrix computation /matrix computation

区间运算/ interval arithmetic /interval arithmetic

离散优化/ discrete optimization /discrete optimization

网络优化/ network optimization /network optimization

非凸优化/ nonconvex optimization /nonconvex optimization

二次规划/ quadratic programming; QP /quadratic programming; QP

拟凸规划/ quasiconvex programming /quasiconvex programming

序/ order /order

集合运算/ set operation /set operation