理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- unramified extension
- unramified field
- unramified field extension
- unramified function
- unramified ideal
- unramified local domain
- unramified local ring
- unramified manifold
- unramified morphism
- unramifiedness
- unramified prime ideal
- unramified regular element
- unramified Riemann domain
- unramified ring
- unramified ring extension
- unramified semilocal ring
- unramified subfield
- unramified surface
- unranked officials
- unreacted
- unreacted core model
- unreactive
- unreasonable resonance structure
- unreclaimed
- unrectifiable set