" />
超級表達式計算器2008是一款專門為解決復雜的表達式計算而設計的軟件,功能強大,使用方便,支持多種數學函數,可進行各種表達式計算,將使你徹底擺脫計算時調整計算順序的煩惱。您不妨下載試試,相信你一定會喜歡它的。
表達式,是由數字、算符、數字分組符號(括號)、自由變量和約束變量等以能求得數值的有意義排列方法所得的組合。約束變量在表達式中已被指定數值,而自由變量則可以在表達式之外另行指定數值。
給與自由變量一些數值指定,可以給與一個表達式數值,即使對于一些自由變量的值,表示式或許沒有定義。因此,一個表達式代表一個 函數,其輸入為自由變量的定值,而其輸出則為表示式因之后所產生出的數值。
舉例來說,表達式 / ,分別使自由變量 和 定值為10和5,其輸出為 數字2;但在 值為0時則沒有定義。
一個表達式的賦值和算符的定義以及數值的定義域是有關聯的。
兩個表達式若被說是 等值的,表示對于自由 變量任意的定值,兩個表達式都會有相同的輸出,即它們代表同一個 函數。
一個表達式必須是 合式的。亦即,其每個算符都必須有正確的輸入數量,在正確的地方。如表達式 便是 合式的;而表達式 則不是合式的,至少不是算術的一般標記方式。
表達式和其賦值曾在20世紀30年代由 阿隆佐·邱奇和Stephen Kleene在其 λ演算中被公式化。 λ演算對現代數學和電腦 編程語言的發(fā)展都曾有過重大的影響。