热门问题
时间线
聊天
视角
形式语义学
来自维基百科,自由的百科全书
Remove ads
在计算理论中,形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。
语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。
形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。
提供程序设计语言的形式语义的方法很多,其中主要类别有:
- 公理语义学,如 谓词变换语义学和代数语义学。
外部链接
![]() | 这是一篇与逻辑学相关的小作品。您可以通过编辑或修订扩充其内容。 |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads