語義semantics) 喺程式語言理論上係指一串電腦運算作業背後嘅邏輯或者數學結構。相對於句法(syntax)。