在計算理論中，形式語義學是關注計算的模式和程式語言的含義的嚴格的數學研究的領域。
語言的形式語義是用數學模型去表達該語言描述的可能的計算來給出的。
形式語義學（formal semantics），是程序設計理論的組成部分，以數學為工具，利用符號和公式，精確地定義和解釋電腦程式設計語言的語義，使語義形式化的學科。
提供程式語言的形式語義的方法很多，其中主要類別有：
- 公理語義學，如 謂詞變換語義學和代數語義學。
外部連結
 | 這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
Remove ads