理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- fair play
- fair relation
- fair sample hypothesis
- fair sequence
- fair share for loss
- fairs of Champagne
- fair trade order
- fair use
- fair use of copyright
- Fair value
- fairway side mark
- fair weather
- fairy chess
- Fairy Garment Opera Association
- Fairy Gives Flowers to the Earth
- Fairy Lake Scenic and Historic Area
- fairy pitta
- Fairy Primrose
- fairy ring
- Fairy Tale
- fairy tale film
- fairy-tale film
- fairy tales
- Fairy Zhuowa Sangmu
- Faisalabad