理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- psychological warfare
- psychological warfare by propaganda
- psychological warfare equipment
- psychological weapon
- psychological well-being
- psychologilization
- psychologism paradigm
- psychology
- psychology and physiology's behavior relation model
- psychology experiment
- psychology expert witness
- Psychology for Screenwriters
- Psychology from the Standpoint of a Behaviorist
- psychology hypothesis
- psychology in competition
- psychology metaphor
- psychology model
- psychology of aging
- psychology of artistic creation
- Psychology of artistic enlightenment
- psychology of artistic imitation
- psychology of coaches
- psychology of composition
- psychology of consciousness of returning to the root
- psychology of counter-terrorism