布爾同態英語怎麼說及英文單詞
㈠ 火狐的布爾 整數 字元串各代表哪個英文字母
什麼叫代表哪個英文字母? 這些又不是用來表示英文字母的
布爾值就兩種情況 ture和false 英文是boolean
整數就是你平常見的整數啊 英文是integer
字元串就是一串字元 比如一句話 幾個字母 幾個數字都可以是字元串 英文是string
㈡ 松布爾英語怎麼寫
Loose fabric
㈢ 在3dmax 布爾運算英語命令是什麼
叫BOOLEAN,在創建模型欄的第3個選項中就能看到這個命令。
㈣ 布爾代數的衍生理論
每個布爾代數 (A,<math>land</math>,<math>lor</math>) 都引出一個環 (A,+,*),通過定義 a + b = (a <math>land</math> ¬b) <math>lor</math> (b <math>land</math> ¬a) (這個運算在集合論中叫做對稱差在邏輯中叫做XOR(異或)) 和 a * b = a <math>land</math> b。這個環的零元素符合布爾代數的 0;環的乘法單位元素是布爾代數的 1。這個環有對於 A 中的所有的 a 保持 a * a = a 的性質;有這種性質的環叫做布爾環。
反過來,如果給出布爾環A,我們可以把它轉換成布爾代數,通過定義 x <math>lor</math> y = x + y + xy 和 x <math>land</math> y = xy。因為這兩個運算是互逆的,我們可以說每個布爾環引發一個布爾代數,或反之。此外,映射 f : A → B 是布爾代數的同態,當且僅當它是布爾環的同態。布爾環和代數的范疇是等價的。
布爾代數 A 的理想是一個子集 I,對於在 I 中的所有 x,y 我們有 x <math>lor</math> y 在 I 中,並且對於在 A 中的所有 a 我們有 a <math>land</math> x 在 I 中。理想的概念符合在布爾環 A中環理想的概念。A 的理想 I 叫做素理想,如果 I ≠ A;並且如果 a <math>land</math> b 在 I 中總是蘊涵 a 在 I 中或 b 在 I 中。A 的理想 I 叫做極大理想,如果 I ≠ A 並且真正包含 I 的唯一的理想是 A 自身。這些概念符合布爾環A 中的素理想和極大理想的環理論概念。
理想的對偶是濾子。布爾代數 A 的濾子是子集 p,對於在 p 中的所有 x,y 我們有 x <math>land</math> y 在 p 中,並且對於在 A 中的所有 a,如果 a <math>lor</math> x = a 則 a 在 p 中。 可以證實所有的有限的布爾代數都同構於這個有限集合的所有子集的布爾代數。此外,所有的有限的布爾代數的元素數目都是二的冪。
Stone 的著名的布爾代數的表示定理陳述了所有的布爾代數 A 都在某個(緊湊的完全不連通的 Hausdorff)拓撲空間中同構於所有閉開集的布爾代數。 在 1933 年,美國數學家 Edward Vermilye Huntington (1874-1952) 展示了對布爾代數的如下公理化:
交換律: x + y = y + x。
結合律: (x + y) + z = x + (y + z)。
Huntington等式: n(n(x) + y) + n(n(x) + n(y)) = x。
一元函數符號 n 可以讀做'補'。
Herbert Robbins 接著擺出下列問題: Huntington等式能否縮短為下述的等式,並且這個新等式與結合律和交換律一起成為布爾代數的基礎? 通過一組叫做 Robbins 代數的公理,問題就變成了: 是否所有的 Robbins 代數都是布爾代數?
Robbins 代數的公理化:
交換律: x + y = y + x。
結合律: (x + y) + z = x + (y + z)。
Robbins等式: n(n(x + y') + n(x + n(y))) = x。
這個問題自從 1930 年代一直是公開的,並成為 Alfred Tarski 和他的學生最喜好的問題。
在 1996 年,William McCune 在 Argonne 國家實驗室,建造在 Larry Wos、Steve Winker 和 Bob Veroff 的工作之上,肯定的回答了這個長期存在的問題: 所有的 Robbins 代數都是布爾代數。這項工作是使用 McCune 的自動推理程序 EQP 完成的。 代入法則 它可描述為邏輯代數式中的任何變數A,都可用另一個函數Z代替,等式仍然成立。
對偶法則 它可描述為對任何一個邏輯表達式F,如果將其中的「+」換成「*」,「*」換成「+」,「1」換成「0」,「0」換成「1」,仍保持原來的邏輯優先順序,則可得到原函數F的對偶式G,而且F與G互為對偶式。我們可以看出基本公式是成對出現的,二都互為對偶式。
反演法則 有原函數求反函數就稱為反演(利用摩根定律),
我們可以把反演法則這樣描述:將原函數F中的「*」換成「+」,「+」換成「*」,「0」換成「1」,「1」換成「0」;原變數換成反變數,反變數換成原變數,長非號即兩個或兩個以上變數的非號不變,就得到原函數的反函數。 互補律:
第一互補律:若A=0,則~A=1,若A=1,則~A=0 註:~A =NOTA
第二互補律:A*~A=0
第三互補律:A+~A=1
雙重互補律:/<~A>=//A=A
交換律:
AND交換律:A*B=B*A
OR交換律: A+B=B+A
結合律:
AND結合律:A<B*C>=C*<A*B>
OR結合律:A+<B+C>=C+<A+B>
分配律:
第一分配律:A*<B+C>=<A*B>+<A*C>
第二分配律:A+<B*C>=<A+B>*<A+C>
重言律:
第一重言律: A*A=A 若A=1,則A*A=1;若A=0,則A*A=0。因此表達式簡化為A
第二重言律: A+A=A 若A=1,則1+1=1;若A=0,則0+0=0。因此表達式簡化為A
帶常數的重言律:
A+1=1
A*1=A
A*0=0
A+0=A
吸收率:
第一吸收率: A*<A+B>=A
第二吸收率: A+<A*B>=A 在k元素集合X上有k個n元運算f: X→X,因此在{0,1}上有2個n元運算。所以得出所有布爾代數,不論大小都兩個常量或「零元」運算,四個一元運算,16個二元運算,256個三元運算,以此類推,它們叫做給定布爾代數的布爾運算。只有一個例外就是一個元素的布爾代數,它叫做退化的或平凡的(被一些早期作者禁用),布爾代數的所有運算可以被證明是獨特的。(在退化情況下,給定元數的所有運算都是同樣的運算因為對所有輸入都返回同樣結果。)
在{0,1}上的運算可以用真值表展出,選取0和1為真值假和真。它們可以按統一和不依賴應用的方式列出,允許我們命名或至少單獨列出它們。這些名字對布爾運算提供方便的簡寫。n元運算的名字是2位的二進制數。有2個這種運算,你不能得到更簡明的命名法了!
下面展示元數從0到2的所有運算的這種格局和關聯的名字。
直到2元的布爾運算的真值表
常量 f0 f1 0 1 一元運算 x0 f0 f1 f2 f3 0 0 1 0 1 1 0 0 1 1 二元運算 x0 x1 f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 這些表格繼續到更高元數上,對n元有2行,每個行給出n個變數x0,…xn−1的一個求值或綁定,而每列都有表頭fi,它們給出第i個n元運算fi(x0,…,xn−1)在這個求值下的值。運算包括變數本身,例如f2是x0而f10是x0 (作為它的一元對應者的兩個復件)而f12是x1 (沒有一元對應者)。否定或補¬x0出現為f1再次出現為f5,連同f3 (¬x1在1元時沒有出現),析取或並x0∨x1出現為f14,合取或交x0∧x1出現為f8,蘊涵x0→x1出現為f13,異或或對稱差x0⊕x1出現為f6,差集x0−x1出現為f2等等。對布爾函數的其他命名或表示可參見零階邏輯。
作為關於它的形式而非內容的次要詳情,一個代數的運算傳統上組織為一個列表。我們這里通過在{0,1}上有限運算索引了布爾代數的運算,上述真值表表示的排序首先按元數,其次為每個元數運算的列出表格。給定元數的列表次序是如下兩個規則確定的。 (i)表格左半部分的第i行是i的二進製表示,最低有效位或第0位在最左(「小端」次序,最初由艾倫·圖靈提議,所以可不無合理的叫做圖靈序)。 (ii)表格的右半部分的第j列是j的二進製表示,還是按小端次序。在效果上運算的下標就是這個運算的真值表。
㈤ 英語單詞ring的本意是什麼
ring作名詞時意為林(人名),戒指;環形物;(鈴的)響聲;圓形標記;教堂的編鍾;(非正式)打電話;腿環;環形路線;圓形表演場;(非法的)團體;圍城一圈的人(或物);拳擊場」。
作動詞時意為給......打電話;優美的聲音(回盪);響起鈴聲;通過按鈴(要求服務);回響;嗡嗡作響;聽上去(有指明的印象或品質);奏響(鍾樂等)敲鍾」。
ring
音標:英 [rɪŋ] 美 [rɪŋ]
短語搭配:
(1)Seat ring 閥座 ; 閥座環 ; 密封圈 ; 座環。
(2)growth ring 年輪 ;生長輪 ; 生長環 ; 生長年輪。
例句:
(1)Thisringhasalwaysbroughtmegoodluck.
這戒指總是給我帶來好運。
(2)Justringforthenurseifyouneedher.
如果需要護士,按一下鈴就行了。
㈥ 澳大利亞的代表性動物是什麼代數用英語怎麼說
澳大利亞的代表性動物是袋鼠,考拉。代數的英語是Algebra。
Algebra
英['ældʒɪbrə]美['ældʒɪbrə]
n. 代數學
短語:
1、linear algebra線性代數
2、boolean algebra布爾代數
3、lie algebra李代數,李氏代數
4、relational algebra[數]關系代數
5、advanced algebra高等代數,大代數
(6)布爾同態英語怎麼說及英文單詞擴展閱讀
英語單詞algebra源於阿拉伯語al jebr,原意是「連接斷開的部分」、「連接斷骨」,al是定冠詞,相當於英語中的the。
公元820年,波斯數學家花刺子模發表了一份代數學領域的專著,闡述了解一次和二次方程的基本方法,明確提出了代數學中的一些基本概念,把代數學發展成為一門與幾何學相提並論的獨立學科。
同根詞
1、adj.
algebraic[數] 代數的;關於代數學的
algebraical代數學的(等於algebraic)
2、adv.
algebraically用代數方法
3、n.
algebraist代數學家
㈦ 含有a的英文單詞
1、ail 英[eɪl] 美[el]
【釋義】
vi. 生病; 感到不舒服; 處境困難; 境況不佳。
vt. 折磨; 使受病痛; 使疼痛; 使煩惱。
n. 病痛,苦惱,煩惱。
【例句】A full-scale debate is under way on whatailstheinstry.
關於工業為何陷入困境正在展開一場全面的討論。
㈧ 初一英語題 急
一:開音節:hope,rise,these,smoke,
閉:got,chat,snack,spend,dig,cup
二:單:he,see,
雙:goodbye,minus,
多:husband,American delicious computer
2USA
3UK 1.和at讀音相同,應該是 在 的意思。
2.山姆大叔
美國的報紙雜志、文學作品和漫畫中,經常可以看到「山姆大叔」的名字及其生動的形象。在不同畫家的筆下,「山姆大叔」神態各異,有的兇狠可憎,有的和藹可親。但最常見的形象還是高高的個子、瘦削的面龐,頭戴飾星高頂帽,身穿燕尾服和條紋褲,雖白發蒼髯,卻精神矍鑠,一派威儀。這一形象深受美國人民的喜愛。
「山姆大叔」這一綽號產生於1812年美英戰爭時期。紐約州的洛伊城有一位肉類包裝商,名叫塞繆爾·威爾遜。他誠實能幹,富於創業精神,在當地很有威信,人們親切地叫他「山姆大叔」。戰爭期間,他擔任紐約州和新澤西州的軍需檢驗員,負責在供應軍隊的牛肉桶和酒桶上打戳。
1812年1月,紐約州長帶領一些人前往其加工廠參觀,看到牛肉桶上都蓋有E.A.—U.S.的標記,便問是何意思。工人回答,E.A.是一個軍火承包商的名字,U.S.是美國的縮寫。湊巧的是,「山姆大叔」的縮寫也是U.S.,所以一個工人開玩笑地說,U.S.就是「山姆大叔」(Uncle Sam)。這件趣事傳開後,「山姆大叔」名聲大振。人們把那些軍需食品都稱為「山姆大叔」送來的食物。美國人還把「山姆大叔」誠實可靠、吃苦耐勞以及愛國主義的精神視為自己民族的驕傲和共有的品質。從此這個綽號便不脛而走。第一次世界大戰中曾出現過「山姆大叔」號召美國青年當兵的宣傳畫,流傳很廣。 1961年,美國國會正式承認「山姆大叔」為美國的民族象徵。
3.約翰牛
John Bull
原是18世紀英國作家約翰·阿布希諾特在《約翰·布爾的歷史》中所創造的形象——一個矮胖愚笨的紳士,用來諷刺當時輝格黨的戰爭政策。由於「布爾」在英文中是牛的意思,故譯為「約翰牛」。隨著《約翰·布爾的歷史》一書的行銷,人們便用「約翰牛」來稱呼英國人,後來,約翰牛漸漸變為專指英國,成為英國的代名詞。
㈨ 非常漂亮用英語怎麼說
very pretty
英文發音:[ˈveri ˈprɪti]
中文釋義:非常漂亮;很漂亮;很美
例句:
Whitstable is still a very pretty little town.
惠特斯特布爾仍然是一個非常漂亮的小鎮。
詞彙解析:
pretty
英文發音:[ˈprɪti]
中文釋義:adj.漂亮的;標致的;嫵媚的;動人的;賞心悅目的;
例句:
She found a pretty yellow jug smashed to bits.
她發現一個漂亮的黃色小罐被摔得粉碎。
(9)布爾同態英語怎麼說及英文單詞擴展閱讀
pretty的用法:
1、pretty著重指女性適度的美,指嬌小可愛,側重表面的吸引力或部分的美。語氣較beautiful弱,且大多用來指年輕的女性,一般不用來描寫成年男性。
2、pretty也可以用於男女兒童,表示漂亮、活潑、可愛。
3、pretty用於物或動物,常含有「小巧玲瓏,精緻美好」的意思。
4、pretty還可作「出色的」解,相當於excellent或good。
5、pretty有時用作貶義,指「娘娘腔的男子」「不好的,不妙的」,在句中作定語。
㈩ 數學專用詞彙英文表示 例如:角度 angle
A
abelian group:阿貝爾群; absolute geometry:絕對幾何; absolute value:絕對值; abstract algebra:抽象代數; addition:加法; algebra:代數; algebraic closure:代數閉包; algebraic geometry:代數幾何; algebraic geometry and analytic geometry:代數幾何和解析幾何; algebraic numbers:代數數; algorithm:演算法; almost all:絕大多數; analytic function:解析函數; analytic geometry:解析幾何; and:且; angle:角度; anticommutative:反交換律; antisymmetric relation:反對稱關系; antisymmetry:反對稱性; approximately equal:約等於; Archimedean field:阿基米德域; Archimedean group:阿基米德群; area:面積; arithmetic:算術; associative algebra:結合代數; associativity:結合律; axiom:公理; axiom of constructibility:可構造公理; axiom of empty set:空集公理; axiom of extensionality:外延公理; axiom of foundation:正則公理; axiom of pairing:對集公理; axiom of regularity:正則公理; axiom of replacement:代換公理; axiom of union:並集公理; axiom schema of separation:分離公理; axiom schema of specification:分離公理; axiomatic set theory:公理集合論; axiomatic system:公理系統;
B
Baire space:貝利空間; basis:基; Bézout's identity:貝祖恆等式; Bernoulli's inequality:伯努利不等式 ; Big O notation:大O符號; bilinear operator:雙線性運算元; binary operation:二元運算; binary predicate:二元謂詞; binary relation:二元關系; Boolean algebra:布爾代數; Boolean logic:布爾邏輯; Boolean ring:布爾環; boundary:邊界; boundary point:邊界點; bounded lattice:有界格;
C
calculus:微積分學; Cantor's diagonal argument:康托爾對角線方法; cardinal number:基數; cardinality:勢; cardinality of the continuum:連續統的勢; Cartesian coordinate system:直角坐標系; Cartesian proct:笛卡爾積; category:范疇; Cauchy sequence:柯西序列; Cauchy-Schwarz inequality:柯西不等式; Ceva's Theorem:塞瓦定理; characteristic:特徵; characteristic polynomial:特徵多項式; circle:圓; class:類; closed:閉集; closure:封閉性 或 閉包; closure algebra:閉包代數; combinatorial identities:組合恆等式; commutative group:交換群; commutative ring:交換環; commutativity::交換律; compact:緊致的; compact set:緊致集合; compact space:緊致空間; complement:補集 或 補運算; complete lattice:完備格; complete metric space:完備的度量空間; complete space:完備空間; complex manifold:復流形; complex plane:復平面; congruence:同餘; congruent:全等; connected space:連通空間; constructible universe:可構造全集; constructions of the real numbers:實數的構造; continued fraction:連分數; continuous:連續; continuum hypothesis:連續統假設; contractible space:可縮空間; convergence space:收斂空間; cosine:餘弦; countable:可數; countable set:可數集; cross proct:叉積; cycle space:圈空間; cyclic group:循環群;
D
de Morgan's laws:德·摩根律; Dedekind completion:戴德金完備性; Dedekind cut:戴德金分割; del:微分運算元; dense:稠密; densely ordered:稠密排列; derivative:導數; determinant:行列式; diffeomorphism:可微同構; difference:差; differentiable manifold:可微流形; differential calculus:微分學; dimension:維數; directed graph:有向圖; discrete space:離散空間; discriminant:判別式; distance:距離; distributivity:分配律; dividend:被除數; dividing:除; divisibility:整除; division:除法; divisor:除數; dot proct:點積;
E
eigenvalue:特徵值; eigenvector:特徵向量; element:元素; elementary algebra:初等代數; empty function:空函數; empty set:空集; empty proct:空積; equal:等於; equality:等式 或 等於; equation:方程; equivalence relation:等價關系; Euclidean geometry:歐幾里德幾何; Euclidean metric:歐幾里德度量; Euclidean space:歐幾里德空間; Euler's identity:歐拉恆等式; even number:偶數; event:事件; existential quantifier:存在量詞; exponential function:指數函數; exponential identities:指數恆等式; expression:表達式; extended real number line:擴展的實數軸;
F
false:假; field:域; finite:有限; finite field:有限域; finite set:有限集合; first-countable space:第一可數空間; first order logic:一階邏輯; foundations of mathematics:數學基礎; function:函數; functional analysis:泛函分析; functional predicate:函數謂詞; fundamental theorem of algebra:代數基本定理; fraction:分數;
G
gauge space:規格空間; general linear group:一般線性群; geometry:幾何學; gradient:梯度; graph:圖; graph of a relation:關系圖; graph theory:圖論; greatest element:最大元; group:群; group homomorphism:群同態;
H
Hausdorff space:豪斯多夫空間; hereditarily finite set:遺傳有限集合; Heron's formula:海倫公式; Hilbert space:希爾伯特空間; Hilbert's axioms:希爾伯特公理系統; Hodge decomposition:霍奇分解; Hodge Laplacian:霍奇拉普拉斯運算元; homeomorphism:同胚; horizontal:水平; hyperbolic function identities:雙曲線函數恆等式; hypergeometric function identities:超幾何函數恆等式; hyperreal number:超實數;
I
identical:同一的; identity:恆等式; identity element:單位元; identity matrix:單位矩陣; idempotent:冪等; if:若; if and only if:當且僅當; iff:當且僅當; imaginary number:虛數; inclusion:包含; index set:索引集合; indiscrete space:非離散空間; inequality:不等式 或 不等; inequality of arithmetic and geometric means:平均數不等式; infimum:下確界; infinite series:無窮級數; infinite:無窮大; infinitesimal:無窮小; infinity:無窮大; initial object:初始對象; inner angle:內角; inner proct:內積; inner proct space:內積空間; integer:整數; integer sequence:整數列; integral:積分; integral domain:整數環; interior:內部; interior algebra:內部代數; interior point:內點; intersection:交集; inverse element:逆元; invertible matrix:可逆矩陣; interval:區間; involution:迴旋; irrational number:無理數; isolated point:孤點; isomorphism:同構;
J
Jacobi identity:雅可比恆等式; join:並運算;
K
格式: Kuratowski closure axioms:Kuratowski 閉包公理;
L
least element:最小元; Lebesgue measure:勒貝格測度; Leibniz's law:萊布尼茨律; Lie algebra:李代數; Lie group:李群; limit:極限; limit point:極限點; line:線; line segment:線段; linear:線性; linear algebra:線性代數; linear operator:線性運算元; linear space:線性空間; linear transformation:線性變換; linearity:線性性; list of inequalities:不等式列表; list of linear algebra topics:線性代數相關條目; locally compact space:局部緊致空間; logarithmic identities:對數恆等式; logic:邏輯學; logical positivism:邏輯實證主義; law of cosines:餘弦定理; L??wenheim-Skolem theorem:L??wenheim-Skolem 定理; lower limit topology:下限拓撲;
M
magnitude:量; manifold:流形; map:映射; mathematical symbols:數學符號; mathematical analysis:數學分析; mathematical proof:數學證明; mathematics:數學; matrix:矩陣; matrix multiplication:矩陣乘法; meaning:語義; measure:測度; meet:交運算; member:元素; metamathematics:元數學; metric:度量; metric space:度量空間; model:模型; model theory:模型論; molar arithmetic:模運算; mole:模; monotonic function:單調函數; multilinear algebra:多重線性代數; multiplication:乘法; multiset:多樣集;
N
naive set theory:樸素集合論; natural logarithm:自然對數; natural number:自然數; natural science:自然科學; negative number:負數; neighbourhood:鄰域; New Foundations:新基礎理論; nine point circle:九點圓; non-Euclidean geometry:非歐幾里德幾何; nonlinearity:非線性; non-singular matrix:非奇異矩陣; nonstandard model:非標准模型; nonstandard analysis:非標准分析; norm:范數; normed vector space:賦范向量空間; n-tuple:n 元組 或 多元組; nullary:空; nullary intersection:空交集; number:數; number line:數軸;
O
object:對象; octonion:八元數; one-to-one correspondence:一一對應; open:開集; open ball:開球; operation:運算; operator:運算元; or:或; order topology:序拓撲; ordered field:有序域; ordered pair:有序對; ordered set:偏序集; ordinal number:序數; ordinary mathematics:一般數學; origin:原點; orthogonal matrix:正交矩陣;
P
p-adic number:p進數; paracompact space:仿緊致空間; parallel postulate:平行公理; parallelepiped:平行六面體; parallelogram:平行四邊形; partial order:偏序關系; partition:分割; Peano arithmetic:皮亞諾公理; Pedoe's inequality:佩多不等式; perpendicular:垂直; philosopher:哲學家; philosophy:哲學; philosophy journals:哲學類雜志; plane:平面; plural quantification:復數量化; point:點; Point-Line-Plane postulate:點線面假設; polar coordinates:極坐標系; polynomial:多項式; polynomial sequence:多項式列; positive-definite matrix:正定矩陣; positive-semidefinite matrix:半正定矩陣; power set:冪集; predicate:謂詞; predicate logic:謂詞邏輯; preorder:預序關系; prime number:素數; proct:積; proof:證明; proper class:純類; proper subset:真子集; property:性質; proposition:命題; pseudovector:偽向量; Pythagorean theorem:勾股定理;
Q
Q.E.D.:Q.E.D.; quaternion:四元數; quaternions and spatial rotation:四元數與空間旋轉; question:疑問句; quotient field:商域; quotient set:商集;
R
radius:半徑; ratio:比; rational number:有理數; real analysis:實分析; real closed field:實閉域; real line:實數軸; real number:實數; real number line:實數線; reflexive relation:自反關系; reflexivity:自反性; reification:具體化; relation:關系; relative complement:相對補集; relatively complemented lattice:相對補格; right angle:直角; right-handed rule:右手定則; ring:環;
S
scalar:標量; second-countable space:第二可數空間; self-adjoint operator:自伴隨運算元; sentence:判斷; separable space:可分空間; sequence:數列 或 序列; sequence space:序列空間; series:級數; sesquilinear function:半雙線性函數; set:集合; set-theoretic definition of natural numbers:自然數的集合論定義; set theory:集合論; several complex variables:一些復變數; shape:幾何形狀; sign function:符號函數; singleton:單元素集合; social science:社會科學; solid geometry:立體幾何; space:空間; spherical coordinates:球坐標系; square matrix:方塊矩陣; square root:平方根; strict:嚴格; structural recursion:結構遞歸; subset:子集; subsequence:子序列; subspace:子空間; subspace topology:子空間拓撲; subtraction:減法; sum:和; summation:求和; supremum:上確界; surreal number:超實數; symmetric difference:對稱差; symmetric relation:對稱關系; system of linear equations:線性方程組;
T
tensor:張量; terminal object:終結對象; the algebra of sets:集合代數; theorem:定理; top element:最大元; topological field:拓撲域; topological manifold:拓撲流形; topological space:拓撲空間; topology:拓撲 或 拓撲學; total order:全序關系; totally disconnected:完全不連貫; totally ordered set:全序集; transcendental number:超越數; transfinite recursion:超限歸納法; transitivity:傳遞性; transitive relation:傳遞關系; transpose:轉置; triangle inequality:三角不等式; trigonometric identities:三角恆等式; triple proct:三重積; trivial topology:密著拓撲; true:真; truth value:真值;
U
unary operation:一元運算; uncountable:不可數; uniform space:一致空間; union:並集; unique:唯一; unit interval:單位區間; unit step function:單位階躍函數; unit vector:單位向量; universal quantification:全稱量詞; universal set:全集; upper bound:上界;
V
vacuously true:??; Vandermonde's identity:Vandermonde 恆等式; variable:變數; vector:向量; vector calculus:向量分析; vector space:向量空間; Venn diagram:文氏圖; volume:體積; von Neumann ordinal:馮·諾伊曼序數; von Neumann universe:馮·諾伊曼全集; vulgar fraction:分數;
Z
Zermelo set theory:策梅羅集合論; Zermelo-Fraenkel set theory:策梅羅-弗蘭克爾集合論; ZF set theory:ZF 系統; zero:零; zero object:零對象;
絕對很全了~