公理语义学英文解释翻译、公理语义学的近义词、反义词、例句
英语翻译：
【计】 axiomatic semantics
分词翻译：
公理的英语翻译：
axiom; generally acknowledged truth
【计】 Armstrong
语义学的英语翻译：
semantics
【计】 semantics
【医】 semaatics
网络扩展解释
公理语义学
公理语义学（英文名称：Axiomatic Semantics）是指一种基于逻辑公理构建程序语义的方法。公理语义学作为程序语义研究的一种方法，它旨在通过对程序中每个变量的语义进行精确的定义，从而确保程序的正确性。
中文拼音
Gōng lǐ yǔ yì xué
英语解释翻译
Axiomatic Semantics
公理语义学是一种基于逻辑公理构建程序语义的方法。
英文读音
æk siəˈmætɪks sɛˈmæntɪks
英文的用法（中文解释）
公理语义学是程序语义研究的一种方法，它通过对程序中每个变量的语义进行精确的定义，来确保程序的正确性。
英文例句（包含中文解释）
- When using axiomatic semantics, every variable in a program has a precise definition.（使用公理语义学时，程序中的每个变量都有一个精确的定义。）
- Axiomatic semantics ensure that a program is correct by defining the semantics of each variable in the code.（公理语义学通过为程序中的每个变量定义语义，确保程序的正确性。）
英文近义词（包含中文解释）
- Formal semantics（形式语义学）
- Denotational semantics（指称语义学）
- Operational semantics（操作语义学）
英文反义词（包含中文解释）
informal semantics（非形式语义学）
英文单词常用度
公理语义学并不是一个普遍使用的术语，因此在英语中并不常见。