泛函分析专业英语词汇翻译

形式幂级数(环)    formal power series (ring)

形式证明；形式证法    formal proof

形式解    formal solution

形式语法    formal syntax

形式系统    formal system

形式变换    formal transformation

形式不可判定命题    formal undecidable proposition

形式体系；形式主义    formalism

形式体系化    formalization

形式化算法    formalized arithmetic

形式实体    formally real field

格式；规格    format

形式规则；构造规则    formation rule

公式；{基}句式    formula

均差(反局差分)插值公式    formula for interpolation by divided differences (with reciprocal differences)

积分公式    formula of integration

约化公式；简约公式    formula of reduction

公式认    formula recognition

立式    formulation

立出方程    formulation of equation

前向导数；前向微商    forward derivative

前向差分    forward difference

前向差分法    forward difference method

前向差分算子    forward difference operator

前向方程；前瞻方程    forward equation

前向误差分析    forward error analysis

前向简波    forward facing simple wave

前向式    forward formula

前向插值    forward interpolation

前向物件    forward object

前向射线锥    forward ray cone

前移算子    forward shift operator

前向替换    forward substitution

前向式循环    forward type cycle

数学基础    foundation of mathematics

几何学的基础    foundations of geometry

四色问题    four color problem

算术(基本)四则运算    four fundamental operations of arithmetic

四则；四基法    four fundamental rules

四元群(Klein氏的)    four group

四瓣玫瑰线    four leaved rose curve

四步法    four step rule