比浏览器更快的访问！
22 关系: 域，半环，奇数，幺半群，交換律，异或密码，异或门，当且仅当，地球，C语言，环，算子，经线，结合律，真值表，阿贝尔群，赤道，自反关系，逻辑与，逻辑等价，逻辑运算符，逻辑或。
域
域（field）可以指：.
半环
在抽象代数中，半环是类似于环但没有加法逆元的代数结构。偶尔使用术语 rig - 这起源于一个笑话，rig 是没有 negative 元素的 ring。.
奇数
#重定向 奇偶性 (数学).
幺半群
在抽象代數此一數學分支中，幺半群（又稱為單群、亞群、具幺半群或四分之三群）是指一個帶有可結合二元運算和單位元的代數結構。么半群在許多的數學分支中都會出現。在幾何學中，幺半群捉取了函數複合的概念；更確切地，此一概念是從範疇論中抽象出來的，之中的幺半群是個帶有一個物件的範疇。幺半群也常被用來當做電腦科學的堅固代數基礎；在此，變換幺半群和語法幺半群被用來描述有限狀態自動機，而跡幺半群和歷史幺半群則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題。.
交換律
交換律(Commutative property)是被普遍使用的一個數學名詞，意指能改變某物的順序而不改變其最終結果。交換律是大多數數學分支中的基本性質，而且許多的數學證明需要倚靠交換律。簡單運算的交換律許久都被假定存在，且沒有給定其一特定的名稱，直到19世紀，數學家開始形式化數學理論之後，交換律才被聲明。.
异或密码
单异或密码（simple XOR cipher）是密码学中一种简单的加密算法，它按照如下原则进行运算： 其中\oplus为逻辑异或（XOR）运算的符号。按这种逻辑，文本序列的每个字符可以通过与给定的密钥进行按位异或运算来加密。如果要解密，只需要将加密後的结果与密钥再次进行按位异或运算即可。 例如，字符串“Wiki”（8位ASCII：01010111 01101001 01101011 01101001） 可以按如下的方式用密钥11110011进行加密： | || 01010111 01101001 01101011 01101001 |- | \oplus || 11110011 11110011 11110011 11110011 |- |.
异或门
异或门（Exclusive-OR gate，簡稱XOR gate，又稱EOR gate、ExOR gate）是数字逻辑中实现逻辑异或的逻辑门，功能见右侧真值表。若两个输入的电平相异，则输出为高电平（1）；若两个输入的电平相同，则输出为低电平（0）。 这一函数能实现模为2的加法，因此，异或门可以实现计算机中的二进制加法。半加器是由异或门和与门组成的。.
当且仅当
当且仅当（If and only if）（中国大陆又称作当且--仅当，臺灣又称作若且--唯若），在--邏輯中，逻辑算符反互斥或閘（exclusive or）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”之意，在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”；“A是B的充分必要条件（充要條件）”。 一般而言，當我們看到“A当且仅当B”，我們可以知道“如果A成立時，則B一定成立；如果B成立時，則A也一定成立”；“如果A不成立時，則B一定不成立；如果B不成立時，則A也一定不成立”。.
地球
地球是太阳系中由內及外的第三顆行星，距离太阳约1.5亿公里。地球是人類已知宇宙中唯一存在生命的天体，也是人類居住的星球，共有74.9億人口。地球质量约为5.97×1024公斤，半径约6,371公里，密度是太阳系中最高。地球同时进行自转和公转运动，分别产生了昼夜及四季的变化更替，一太陽日自转一周，一太陽年公转一周。自转轨道面称为赤道面，公转轨道面称为黄道面，两者之间的夹角称为黄赤交角。地球仅擁有一顆自然卫星，即月球。 地球表面有71%的面积被水覆盖，称为海洋或可以成为湖或河流，其余是陆地板块組成的大洲和岛屿，表面分布河流和湖泊等水源。南极的冰盖及北极存有冰。主體包括岩石圈、地幔、熔融态金属的外地核以及固态金属的內地核。擁有由外地核產生的地磁场。外部被氣體包圍，称为大氣層，主要成分為氮、氧、氬。 地球诞生于约45.4亿年前，42億年前開始形成海洋。并在35亿年前的海洋中出现生命，之后逐步涉足地表和大气，并分化为好氧生物和厌氧生物。早期生命迹象产生的具體证据包括格陵兰岛西南部中拥有约37亿年的历史的石墨，以及澳大利亚大陆西部岩石中约41亿年前的 Early edition, published online before print.。此后除去数次生物集群灭绝事件，生物种类不断增多。根据学界测定，地球曾存在过的50亿种物种中，已经绝灭者占约99%，据统计，现今存活的物种大约有1,200至1,400万个，其中有记录证实存活的物种120万个，而余下的86%尚未被正式发现。2016年5月，有科学家认为现今地球上大概共出现过1--种物种，其中人类正式发现的仅占十万分之一。2016年7月，科学家称现存的生物共祖中共存在有355种基因。地球上有约74亿人口，分成了约200个国家和地区，藉由外交、旅游、贸易、传媒或战争相互联系。.
C语言
C是一种通用的程式語言，广泛用于系统软件与应用软件的开发。于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來。 C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点，在程式設計中备受青睐，成为最近25年使用最为广泛的编程语言。目前，C语言編譯器普遍存在於各種不同的操作系统中，例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言，例如C++、Objective-C、Java、C#等。 二十世纪八十年代，為了避免各開發廠商用的C語言語法產生差異，由美國國家標準局為C語言訂定了一套完整的國際標準語法，稱為ANSI C，作為C語言的標準。二十世纪八十年代至今的有关程式開發工具，一般都支持符合ANSI C的語法。.
环
环可能指：.
算子
算子（Operator）是从一个向量空间（或模）到另一个向量空间（或模）的映射。 算子对于线性代数和泛函分析都至关重要，它在纯数学和应用数学的许多其他领域中都有应用。 例如，在经典力学中，导数的使用无处不在，而在量子力学中，可观察量由埃尔米特算子表示。 各种算子可以具有包括线性、连续性和有界性等的重要性质。.
经线
经线也称子午线，和緯線一樣是人類為度量而假設出來的輔助線，定義為地球表面连接南北两极的大圆线上的半圆弧。任两根经线的长度相等，相交于南北两极点。每一根经线都有其相对应的数值，称为经度。经线指示南北方向。 子午线命名的由来：「某一天体视运动轨迹中，同一子午线上的各点该天体在上中天（午）与下中天（子）出现的时刻相同。」不同的经线具有不同的地方时。偏东的地方时要比较早，偏西的地方时要迟。.
结合律
在數學中，結合律(associative laws)是二元運算可以有的一個性質，意指在一個包含有二個以上的可結合運算子的表示式，只要運算元的位置沒有改變，其運算的順序就不會對運算出來的值有影響。亦即，重新排列表示式中的括號並不會改變其值。例如： 上式中的括號雖然重新排列了，但表示式的值依然不變。當這在任何實數的加法上都成立時，我們說「實數的加法是一個可結合的運算」。 結合律不應該和交換律相混淆。交換律會改變表示式中運算元的位置，而結合律則不會。例如： 是一個結合律的例子，因為其中的括號改變了（且因此運算子在運算中的順序也改變了），而運算元5、2、1則在原來的位置中。再來， 則不是一個結合律的例子，因為運算元2和5的位置互換了。 可結合的運算在數學中是很常見的，且事實上，大多數的代數結構確實會需要它們的二元運算是可結合的。不過，也有許多重要且有趣的運算是不可結合的；其中一個簡單的例子為向量積。.
真值表
真值表是使用於邏輯中（特別是在連結邏輯代數、布爾函數和命題邏輯上）的一類數學用表，用來計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施羅德於1880年代所发明的。這種表格於1920年代之後廣泛地發現在許多文獻上頭（扬·武卡谢维奇、埃米爾·波斯特、维特根斯坦）”（蒯因, 39）。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题，但是包含他这项工作的手稿直到1977年才被发现 。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。 真值表被用來計算以「決策程序」建構的命題表示式的值。命題表示式可以是一個原子公式（命題常數、命題變數或命題函數，如Px或P(x)），或以邏輯算子（如邏輯與（\land）、邏輯或（\lor）、邏輯非（\lnot））由原子公式建構出來的公式。舉例來說，Fx \land Gx即是個命題表示式。 真值表中的列标题展示了 （i）命题函数与/或变量，和 （ii）建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 （i）和 （ii）的T或F指派的每个可能的求值。换句话说，每行都是对 （i）和 （ii）的不同解释。 经典（就是说二值）逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统，它们是“真”或“假”，通常在表中简单的表示为T和F。.
阿贝尔群
阿貝爾群（Abelian group）也稱爲交換群（commutative group）或可交換群，它是滿足其元素的運算不依賴於它們的次序（交換律公理）的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.
赤道
赤道通常指地球表面的点随地球自转产生的轨迹中周长最长的圆周线，长。如果把地球看做一个绝对的球体的话，赤道距离南北两极相等。它把地球分为南北两半球，其以北是北半球，以南是南半球，是划分纬度的基线，赤道的纬度为0°。赤道的78.7%被海洋覆盖，余下的21.3%为陆地。除地球外，其他行星及天体也有类似的赤道。.
自反关系
自反关系是在逻辑学和数学中一种特殊的二元关系，这样的二元关系被称为自反的，也被称为具有自反性。自反關係的一個例子是關於實數集合的“等於”關係，因為每個實數都等於它自己。自反關係被認為擁有自反性或被認為具備自反性。对称性、传递性以及自反性是定義等價關係的三個屬性。.
逻辑与
在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。.
逻辑等价
在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。 p和q是语法等价的，如果每个都可以证明自另一个。p和q是语义等价的，如果它们在所有模型中有相同的真值。 逻辑等价经常混淆于实质等价。前者是在元语言中的一个陈述，断言关于目标语言中的陈述p和q的某个事情。而p和q的实质等价（常写为"p ↔ q"）自身是在目标语言中另一个陈述。但它们是有联系的，p和q是语法等价的，当且仅当p ↔ q是一个定理，而p和q是语义等价的，当且仅当p ↔ q是重言式。 逻辑等价有时表示为p ≡ q或p ⇔ q。但是，后者记号也用于实质等价。.
逻辑运算符
在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。.
新！!: 逻辑异或和逻辑运算符 · 查看更多 »
逻辑或
逻辑或（logical or）又称逻辑析取（logical disjunction）、邏輯選言，是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。.
