
【計】 function definition
function
【計】 F; FUNC; function
define; definition; circumscription
【計】 DEF; define
【醫】 definition
在漢英詞典視角下,“函數定義”指對數學或編程中“函數”這一概念進行形式化描述的過程。其核心含義可拆解為以下四部分:
中文術語:函數定義(hánshù dìngyì)
英文對應:Function Definition
核心要素:
例如:在數學中,函數定義需滿足“唯一性”,即每個輸入對應唯一輸出。
數學函數定義需嚴格遵循集合論邏輯,标準形式為:
$$
f: A to B
x mapsto f(x)
$$
其中:
權威參考:
《數學分析原理》(Principles of Mathematical Analysis)由 Walter Rudin 提出,函數定義需滿足“單值性”與“定義域明确性”。
國際标準 ISO 80000-2:2019 規定函數符號的書寫規範。
在編程中,函數定義包含以下結構:
def function_name(parameter):# 定義域:參數聲明
"""規則描述(Docstring)"""
result = parameter * 2 # 映射規則
return result # 值域:返回值
關鍵差異:編程函數可包含副作用(如修改全局變量),而數學函數強調純映射關系。
行業标準:
Python 官方文檔規定函數定義需包含
def
關鍵字、參數列表及函數體。IEEE 軟件工程标準(IEEE 24765)強調函數定義的模塊化與接口清晰性。
領域 | 定義側重點 | 典型來源 |
---|---|---|
數學 | 映射唯一性 | 《實分析》(Terence Tao) |
計算機 | 可執行性 | ACM 編程範式标準 |
語言學 | 符號邏輯 | 《形式語義學導論》 |
“函數”一詞由萊布尼茨(Gottfried Leibniz)于 1694 年首次提出(拉丁文 functio),現代定義由狄利克雷(Dirichlet)于 1837 年确立:
“若變量 $y$ 隨變量 $x$ 變化,且對每個 $x$ 存在唯一 $y$,則 $y$ 是 $x$ 的函數。”
——狄利克雷,《數學文集》(Werke)
此定義奠定了現代函數理論的基礎,并被收錄于《牛津數學史》。
函數定義是編程和數學中的核心概念,用于描述一個可重用、具有特定功能的代碼塊或數學關系。以下是詳細解釋:
基本結構
在編程中,函數定義通常包括以下部分:
calculate_sum
)。a, b
)。return a + b
)。示例(Python):
def calculate_sum(a, b):
return a + b
作用與意義
數學函數表示輸入與輸出的映射關系,例如:
$$ f: X to Y quad text{滿足} quad f(x) = x $$
維度 | 編程函數 | 數學函數 |
---|---|---|
執行方式 | 可能包含副作用(如修改外部變量) | 純映射關系,無副作用 |
參數類型 | 可接受多參數、默認參數等 | 通常單輸入,嚴格一對一映射 |
返回值 | 可選(如 void 函數) |
必須有明确的輸出 |
sort(arr)
)。area = πr²
)。通過定義函數,開發者或數學家可以高效組織邏輯,提升代碼或模型的可讀性和複用性。如需進一步了解具體編程語言的語法(如JavaScript、C++),建議查閱官方文檔。
北裡氏葡萄糖甲酸鈉明膠殘餘膿腫查訖傳統的成本計算法除草醚大地雜訊界限高電壓電子顯微鏡格式化磁盤工讀生喉縫術結節性痤瘡訣竅絕緣密封開放敷裹可預測中斷空插件拉伸試驗鹵代胺螺紋扣數毛魚藤偶極非質子溶劑佩吉特氏膿腫羟苯酮尿潛移默化鞣制不足十的補碼失運動能受過程限制的退休政策腕木