元数
在邏輯、數學及電腦科學裡，函數或運算的元數是指所需的參數或運算元的數量。關係的元數則是指其對應之笛卡兒積的維度。 元數主要用在下面類型的函數之中：f : V → S，其中的V ⊂ Sn，且S是某個集合。此類函數通常稱為在S上的「運算」，且稱n是這個運算的元數。 例子 「元數」一詞其實在一般情況之下並不怎麼常使用。例如，與其說「加法運算的元數是2」或「加法是個元數2的運算」，更多人會說「加法是個二元運算」。 0元 有時，將一個常數視為一個…
标签：#泛代數
共 3 篇文章
字元集 (數理邏輯)
字元集在不同領域中有不同意義。在邏輯學（特別是數理邏輯中）代表的是列舉出形式語言中的一組集合；在泛代數中則是列舉出代數結構具代表性的運算。另外，在模型論中兩種用法皆有使用。 對邏輯學更哲學性的討論中，字元集的概念較少被提及。 定義 一個（單域）字元集在形式上定義為四元組 \sigma = \left(S_{\operatorname{func}}, S_{\operatorname{rel}}, S_{\operatorname{con…
克隆 (数学)
在泛代數中，克隆（）是由某集合A上的有限元運算組成的集合C，其滿足： *C包含了全部投影, *C在复合函数下閉合：若f, g1, …, gm都是C的成員，f為m元，且每一gj均為n元函數，那麼n元運算 也是C的成員。