理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- nonlinear instability
- nonlinear integral equation
- nonlinear integral operator
- nonlinear integrated optics
- non-linear interaction
- nonlinear interaction
- non-linear inverse theory of dynamic geodesy
- nonlinearity
- nonlinearity parameter
- nonlinear junction detector
- nonlinear Klein Gordon equation
- nonlinear Klein-Gordon equation
- nonlinear Landau damping
- non linear laser spectroscopy
- non-linear laser spectroscopy
- nonlinear laser spectroscopy
- nonlinear lattice dynamics
- nonlinear least squares fitting
- nonlinear least squares problem
- non-linear load
- nonlinear magneto-optical Kerr effect
- non linear mapping
- non-linear mapping
- nonlinear mapping
- nonlinear master equation