约束编程 约束编程(Constraint programming)是一种編程典範,在这种编程范式中,变量之间的“关系”是以约束的形式陈述(组织)的。这些“关系(约束)”和命令式编程语言元素不同的是:它们并非明确说明了要去执行的步骤中的某一步,而是規範其解的一些属性。这样看来,约束编程是一种声明式编程。 这是一篇電腦科學小作品。你可以通过编辑或修订扩充其内容。查论编 查论编编程范型指令式 过程式 非结构化 结构化 杰克逊结构化 例外处理 函数式 纯函数式 全函数式 隐式 函数级 代数数据类型 递归数据类型 模式匹配 推导式 面向表达式(英语:Expression-oriented programming language) 面向对象 基于类 基于原型 抽象数据类型 契约式 面向代理 元编程 宏 模板 反射式 同像性 元对象 元类 面向特性 面向语言 数据流程 同步式 响应式 函数式响应 管道 串流处理 基于流程 宣告式 逻辑式 回答集 函数式逻辑 约束式 数据查询 框架本体 并发/并行 协程 生成器 future/promise 演员模型 消息传递 通信顺序进程 通道 分叉会合 整体同步 其他范型 模块化 关注分离 面向方面 数据驱动 事件驱动 串接式 面向堆栈 基于自动机 可微分 概率式 关键特征 块 嵌套函数(英语:Nested function) 回调函数 阵列 递归 多态 运算符重载 泛型 多分派 求值策略 非确定性 头等对象 头等函数 闭包 依赖类型 实化 续体 多范型语言比较(英语:Comparison of multi-paradigm programming languages) 查论编应用数学运算数学 算法 算法设计 算法分析 自動機理論 自动化定理证明 编码理论 计算几何 约束满足 约束编程 计算机逻辑 密码学 信息论 计算统计学 离散数学 计算机代数 计算数论 组合数学 图论 离散几何学 数学分析 逼近理论 克利福德分析(英语:Clifford analysis) 克利福德代数 微分方程 常微分方程 偏微分方程 随机微分方程 微分几何 微分形式 规范理论 几何分析(英语:Geometric analysis) 动力系统 混沌理论 控制理论 泛函分析 算子代数 算子理论 调和分析 傅里叶分析 多重线性代数 外代数 几何代数 张量 向量代数 多元微积分 外微积分 几何微积分(英语:Geometric calculus) 张量微积分(英语:Tensor calculus) 向量微积分 数值分析 数值线性代数 常微分方程数值方法 偏微分方程数值方法 变分法 概率论 概率分布(随机变量) 随机过程 / 随机分析 泛函积分 马利阿温微积分(英语:Malliavin calculus) 数学物理 分析力学 拉格朗日力学 哈密顿力学 场论 经典场论 共形场论 有效场论 规范场论 量子场论 统计场论 拓扑量子场论 摄动理论 微扰理论 (量子力学) 位势论 弦理论 玻色弦理论 拓扑弦论 超对称 超对称量子力学(英语:Supersymmetric quantum mechanics) 随机力学超对称理论(英语:Supersymmetric theory of stochastic dynamics) 代数结构 物理空间代数 路径积分表述 泊松代数 量子群 重整化群 粒子物理与表示论(英语:Particle physics and representation theory) 时空代数 超代数 超对称代数(英语:Supersymmetry algebra) 决策论 博弈论 运筹学 最优化 社会选择理论 统计学 数理经济学 数理金融学 其他应用 数理生物学 数学化学(英语:Mathematical chemistry) 数学心理学 数理社会学 相关领域 数学 数学软件 社会组织 工业与应用数学学会 日本应用数理学会(英语:Japan Society for Industrial and Applied Mathematics) 法国应用与工业数学学会(英语:Société de Mathématiques Appliquées et Industrielles) 国际工业与应用数学理事会(英语:International Council for Industrial and Applied Mathematics) 分类 话题