Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"

From Polyglot Club WIKI
Jump to navigation Jump to search
m (Quick edit)
 
(30 intermediate revisions by 2 users not shown)
Line 2: Line 2:


{| class="wikitable sortable"
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 科目
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: kēmù
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Fach [n]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: subject
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: matière [f]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 科目
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! jpn-Hrkt-JP: か↑もく
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! pes-Aran-IR: رِشته
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
! rus-Cyrl-RU: предме́т
|-
|-
|  ||  
|  
|  ||  
|  
|  ||  
|  
|  ||  
|  
|  ||  
|  
|  ||  
|  
|  ||  
|  
|  ||  
|  
|  ||  
|  
|-
|-
| set theory ||
| 集合论
| 集合论 ||
| jíhé lùn
| jíhé lùn ||
| Mengenlehre [f]
| Mengenlehre [f] ||
| set theory
| théorie [f] des ensembles ||
| théorie [f] des ensembles [m pl]
| 集合論 ||
| 集合論
| しゅ↑うご↓うろん ||
| しゅ↑うご↓うろん
| ||  
|
| тео́рия мно́жеств ||
| тео́рия мно́жеств
|-
|-
| axiomatic set theory ||
| 公理化集合论
| 公理化集合论 ||
| gǒnglǐhuà jíhélùn
| gǒnglǐhuà jíhélùn ||
| axiomatische Mengenlehre
| axiomatische Mengenlehre ||
| axiomatic set theory
| théorie [f] axiomatique des ensembles ||
| théorie [f] axiomatique des ensembles [m pl]
| 公理的集合論 ||
| 公理的集合論
| こ↑うりてき↓しゅ↑うご↓うろん ||
| こ↑うりてき↓しゅ↑うご↓うろん
|  ||  
|  
| аксиомати́ческая тео́рия мно́жеств ||
| аксиомати́ческая тео́рия мно́жеств
|-
|-
| proof theory ||
| 证明论
| 证明论 ||
| zhèngmíng lùn
| zhèngmíng lùn ||
| Beweistheorie [f]
| Beweistheorie [f] ||
| proof theory
| théorie [f] de la démonstration, théorie [f] de la preuve ||
| théorie [f] de la démonstration, théorie [f] de la preuve
| 証明論 ||
| 証明論
| しょ↑うめ↓いろん ||
| しょ↑うめ↓いろん
|  ||  
|  
| тео́рия доказа́тельств ||
| тео́рия доказа́тельств
|-
|-
| model theory ||
| 模型论
| 模型论 ||
| móxíng lùn
| móxíng lùn ||
| Modelltheorie [f]
| Modelltheorie [f] ||
| model theory
| théorie [f] des modèles ||
| théorie [f] des modèles [m pl]
| モデル理論 ||
| モデル理論
| モ↑デルり↓ろん ||
| モ↑デルり↓ろん
|  ||  
|  
| тео́рия моде́лей ||
| тео́рия моде́лей
|-
|-
| computability theory, recursion theory ||
| 可计算性理论
| 可计算性理论 ||
| kějìsuànxìng lǐlùn
| kějìsuànxìng lǐlùn ||
| Berechenbarkeitstheorie [f], Rekursionstheorie [f]
| Berechenbarkeitstheorie [f], Rekursionstheorie [f] ||
| computability theory, recursion theory
| théorie [f] de la calculabilité ||
| théorie [f] de la calculabilité
| 計算可能性理論 ||
| 計算可能性理論
| け↑いさんかのうせいり↓ろん ||
| け↑いさんかのうせいり↓ろん
|  ||  
|  
| тео́рия вычисли́мости ||
| тео́рия вычисли́мости
|-
|-
| type theory ||
| 类型论
| 类型论 ||
| lèixíng lùn
| lèixíng lùn ||
| Typentheorie [f]
| Typentheorie [f] ||
| type theory
| théorie [f] des types ||
| théorie [f] des types [m pl]
| 型理論 ||
| 型理論
| か↑たり↓ろん ||
| か↑たり↓ろん
|  ||  
|  
| тео́рией ти́пов ||
| тео́рией ти́пов
|-
|-
| algebraic logic ||
| 代数逻辑
| ||
| dàishù luóji
| ||
| algebraische Logik
| ||
| algebraic logic
| ||
| logique [f] algébrique
|  ||  
|  
|  ||  
|  
|  ||  
|  
| ||
| алгебраи́ческая ло́гика
|-
|-
| Boolean algebra ||
| 逻辑代数，布尔代数
| ||
| luóji dàishù, Bù'ěr dàishù
| ||
| boolesche Algebra, boolescher Verband
| ||
| Boolean algebra
| algèbre [f] de Boole, algèbre [f] booléenne||
| algèbre [f] de Boole, algèbre booléenne
| ||
| ブール代数，ブール束
|  ||  
| ブ↑ールだ↓いすう，ブ↑ールそく
| ||
|  
| а́лгебра ло́гики, а́лгебра выска́зываний
|-
|-
| relation algebra||
|  
|  ||
|  
|  ||
|  
|  ||
|  
|  ||
|  
|  ||
|  
|  ||
|  
|  ||  
|  
|-
|  
|  ||
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|}
|}


== Main ==
{| class="wikitable sortable"
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
Line 143: Line 134:
|  ||  
|  ||  
|-
|-
| 函数空间 ||
| hánshù kōngjiān ||
| Funktionenraum [m] ||
| function space || set; function
| espace fonctionnel ||
|  ||
| 関数空間 ||
| か↑んすうく↓うかん ||
| функциона́льное простра́нство ||
|-
| 数学对象 ||
| shùxué duìxiàng ||
| mathematisches Objekt ||
| mathematical object ||  
| mathematical object ||  
| objet [m] mathématique ||
|  ||  
|  ||  
| ||  
| 数学的対象 ||  
| ||  
| す↑うがくてきた↓いしょう ||  
| ||
| математи́ческий объе́кт ||  
|  ||
|  ||
|  ||
|  ||  
|-
|-
|  ||  
|  ||  
Line 163: Line 164:
|  ||  
|  ||  
|}
|}
=== Set Theory ===
 
== Set Theory ==
{| class="wikitable sortable"
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
Line 185: Line 187:
|  ||  
|  ||  
|-
|-
| argument || function
| 参数 ||  
| 参数 ||  
| cān shù ||  
| cān shù ||  
| Argument [m] ||  
| Argument [m] ||  
| argument || function
| argument [m] ||  
| argument [m] ||  
| 引数 ||  
| 引数 ||  
| ひ↑きす↓う ||  
| ひ↑きす↓う ||  
|  ||  
|  ||  
| аксиомати́ческая тео́рия мно́жеств ||  
| аргуме́нт ||  
|-
|-
| bijection, bijective function, one-to-one correspondence, or invertible function || function; set
| 双射 ||  
| 双射 ||  
| shuāng shè ||  
| shuāng shè ||  
| Bijektion [f], bijektive Funktion ||  
| Bijektion [f], bijektive Funktion ||  
| bijection, bijective function, invertible function || function; set
| bijection [f] ||  
| bijection [f] ||  
| 全単射，双射 ||  
| 全単射，双射 ||  
Line 205: Line 207:
| бие́кция ||  
| бие́кция ||  
|-
|-
| binary operation, dyadic operation || operation
| 二元运算 ||  
| 二元运算 ||  
| èryuán yùnsuàn ||  
| èryuán yùnsuàn ||  
| zweistellige Verknüpfung, binäre Verknüpfung ||  
| zweistellige Verknüpfung, binäre Verknüpfung ||  
| binary operation, dyadic operation || operation
| opération [f] binaire ||  
| opération [f] binaire ||  
| 二項演算 ||  
| 二項演算 ||  
Line 215: Line 217:
| бина́рная опера́ция, двуме́стная опера́ция ||  
| бина́рная опера́ция, двуме́стная опера́ция ||  
|-
|-
| cardinality || set
| 势，浓度 ||  
| 势，浓度 ||  
| shì, nóng dù ||  
| shì, nóng dù ||  
| Mächtigkeit [f], Kardinalität [f] ||  
| Mächtigkeit [f], Kardinalität [f] ||  
| cardinality || set
| cardinalité [f] ||  
| cardinalité [f] ||  
| 濃度，カーディナリティ ||  
| 濃度，カーディナリティ ||  
Line 225: Line 227:
| мо́щность ||  
| мо́щность ||  
|-
|-
| cardinal number, cardinal || cardinality
| 基数 ||  
| 基数 ||  
| jī shù ||  
| jī shù ||  
| Kardinalzahl [f] ||  
| Kardinalzahl [f] ||  
| nombre cardinal [m], cardinal [m] ||  
| cardinal number, cardinal || cardinality
| nombre cardinal, cardinal [m] ||  
| 基数 ||  
| 基数 ||  
| き↑す↓う ||  
| き↑す↓う ||  
Line 235: Line 237:
| кардина́льное число́ ||  
| кардина́льное число́ ||  
|-
|-
| Cartesian product || ordered pair
| 笛卡尔积 ||  
| 笛卡尔积 ||  
| Díkǎ'ěr jī ||  
| Díkǎ'ěr jī ||  
| kartesisches Produkt, Mengenprodukt [n] ||  
| kartesisches Produkt, Mengenprodukt [n] ||  
| produit [m] cartésien ||  
| Cartesian product || ordered pair
| produit cartésien ||  
| 直積，デカルト積 ||  
| 直積，デカルト積 ||  
| ちょ↑くせ↓き，デ↑カルト­せ↓き ||  
| ちょ↑くせ↓き，デ↑カルト­せ↓き ||  
Line 245: Line 247:
| прямо́е произведе́ние, дека́ртово произведе́ние ||  
| прямо́е произведе́ние, дека́ртово произведе́ние ||  
|-
|-
| choice function || function; empty set; direct product <algebra>
| 选择函数 ||  
| 选择函数 ||  
| xuǎnzé hánshù ||  
| xuǎnzé hánshù ||  
| Auswahlfunktion [f] ||  
| Auswahlfunktion [f] ||  
| fonction [f] de choix ||  
| choice function || function; empty set; direct product <algebra>
| fonction [f] de choix [m] ||  
| 選択関数 ||  
| 選択関数 ||  
| せ↑んたくか↓んすう ||  
| せ↑んたくか↓んすう ||  
Line 255: Line 257:
| фу́нкция вы́бора ||  
| фу́нкция вы́бора ||  
|-
|-
| class || set
| 类 ||  
| 类 ||  
| lèi ||  
| lèi ||  
| Klasse [f] ||  
| Klasse [f] ||  
| class || set
| classe [f] ||  
| classe [f] ||  
| クラス，類 ||  
| クラス，類 ||  
Line 265: Line 267:
| класс ||  
| класс ||  
|-
|-
| codomain, set of destination || function
| 到达域，陪域，上域，终域 ||  
| 到达域，陪域，上域，终域 ||  
| dàodá yù, péi yù, shàng yù, zhōng yù ||  
| dàodá yù, péi yù, shàng yù, zhōng yù ||  
| Zielmenge [f], Wertevorrat [m] ||  
| Zielmenge [f], Wertevorrat [m] ||  
| codomain, set of destination || function
| ensemble [m] d'arrivée [f] ||  
| ensemble [m] d'arrivée [f] ||  
| 終域 ||  
| 終域 ||  
| しゅういき ||  
| し↑ゅうい↓き ||
|  ||  
|  ||  
|  ||  
| о́бласть значе́ний ||
|-
|-
| continuum || cardinal number
| 连续统 ||  
| 连续统 ||  
| liánxù tǒng ||  
| liánxù tǒng ||  
| Kontinuum [m] ||  
| Kontinuum [m] ||  
| continuum || cardinal number
| continu [m] ||  
| continu [m] ||  
| 連続体 ||  
| 連続体 ||  
Line 285: Line 287:
| конти́нуум ||  
| конти́нуум ||  
|-
|-
| domain, set of departure || function
| 定义域 ||  
| 定义域 ||  
| dìngyì yù ||  
| dìngyì yù ||  
| Definitionsmenge [f], Definitionsbereich [m] ||  
| Definitionsmenge [f], Definitionsbereich [m] ||  
| ensemble [m] de définition ||  
| domain, set of departure || function
| ensemble [m] de définition [f] ||  
| 定義域 ||  
| 定義域 ||  
| て↑いぎ↓いき ||  
| て↑いぎ↓いき ||  
Line 295: Line 297:
| о́бласть определе́ния ||  
| о́бласть определе́ния ||  
|-
|-
| element || mathematical object
| 元素 ||  
| 元素 ||  
| yuánsù ||  
| yuánsù ||  
| Element [n] ||  
| Element [n] ||  
| element || mathematical object
| élément [m] ||  
| élément [m] ||  
| 元 ||  
| 元 ||  
Line 305: Line 307:
| элеме́нт ||  
| элеме́нт ||  
|-
|-
| enumeration || set
| 列举法 ||  
| 列举法 ||  
| lièjǔ fǎ ||  
| lièjǔ fǎ ||  
| Aufzählung [f] ||  
| Aufzählung [f] ||  
| enumeration || set
| énumération [f] ||  
| énumération [f] ||  
| 数え上げ ||  
| 数え上げ ||  
Line 315: Line 317:
| перечисле́ние ||  
| перечисле́ние ||  
|-
|-
| equality ||
| 相等 ||  
| 相等 ||  
| xiāng děng ||  
| xiāng děng ||  
| Gleichheit [f] ||  
| Gleichheit [f] ||  
| equality ||
| égalité [f] ||  
| égalité [f] ||  
| ||  
| 相等 ||  
| ||  
| そ↑うとう ||  
| تَساوی ||  
| تَساوی ||  
| ||  
| ра́венство ||  
|-
|-
| expression || digit; symbol
| 表达式，表示式，运算式 ||  
| 表达式，表示式，运算式 ||  
| biǎodá shì, biǎoshì shì, yùnsuàn shì ||  
| biǎodá shì, biǎoshì shì, yùnsuàn shì ||  
| Ausdruck [m] ||  
| Ausdruck [m] ||  
| expression || digit; symbol
| expression [f] ||  
| expression [f] ||  
| 数式 ||
| す↑うしき ||
|  ||  
|  ||  
| ||
| выраже́ние ||  
|  ||
|  ||  
|-
|-
| 外延性 ||
| wàiyán xìng ||
| Extensionalität [f] ||
| extensionality, extensional equality || mathematical object
| extensionality, extensional equality || mathematical object
| extensionnalité [f] ||
| 外延性 ||
| が↑いえんせい ||
|  ||  
|  ||  
| экстенсиона́льность [ж] ||
|-
| 单位元 ||
| dānwèi yuán ||
| neutrales Element ||
| identity element, neutral element || binary operation; set
| élément [m] neutre, élément [m] identité ||
| 単位元，中立元 ||
| た↑んいげ↓ん，ちゅ↑うりつげ↓ん ||
|  ||  
|  ||  
| нейтра́льный элеме́нт ||
|-
| 恒等函数 ||
| héngděng hánshù ||
| identische Abbildung ||
| identity function, identity relation, identity map, identity transformation || argument
| application [f] identité, fonction [f] identité ||
| 恒等写像 ||
| こ↑うとうしゃ↓ぞう ||
|  ||  
|  ||  
| тожде́ственное отображе́ние ||
|-
| 像 ||
| xiàng ||
| Bild [n], Bildbereich [m], Bildmenge [f] ||
| image || function
| image [f] ||
| 像 ||
| ぞ↓う ||
|  ||  
|  ||  
| о́браз ||
|-
| 族 ||
| zú ||
| Familie [f] ||
| indexed family, family || set
| famille ||
| 族 ||
| ぞ↑く ||
|  ||  
|  ||  
| семе́йство, индекси́рованное семе́йство ||
|-
| 不等 ||
| bù děng ||
| Ungleichheit [f] ||
| inequality || equality
| inégalité [f] ||
| 不等 ||
| ふ↑とう ||
|  ||  
|  ||  
| нера́венство ||
|-
| 单射 ||
| dān shè ||
| injektive Funktion ||
| injection, injective function, one-to-one function || function; injectivity
| injection [f] ||
| 単射 ||
| た↑んしゃ ||
|  ||  
|  ||  
| инъе́кция, инъекти́вное отображе́ние ||
|-
| 原像 ||
| yuán xiàng ||
| Urbild [n] ||
| inverse image, preimage || codomain; subset
| image [f] réciproque, préimage [f] ||
| 逆像，原像 ||
| ぎゃ↑くぞう，げ↑んぞう ||
|  ||  
|  ||  
| обра́тный о́браз, проо́браз ||
|-
|-
| function space || set; function
| 映射 ||
| ||  
| yìngshè ||
| ||  
| Abbildung [f] ||
| ||  
| mapping || function
| application [f] ||  
| 写像 ||  
| しゃ↑ぞう ||  
|  ||  
|  ||  
| отображе́ние ||
|-
| 运算数，运算元 ||
| yùnsuàn shù, yùnsuàn yuán ||
| Operand [m] ||
| operand || operation
| opérande [m] ||
| 被演算子 ||
| ひ↑えんざ↓んし ||
|  ||  
|  ||  
| опера́нд  ||
|-
| 运算 ||
| yùnsuàn ||
| Verknüpfung [f] ||
| operation ||
| opération [f] ||
| 演算 ||
| え↑んざん ||
|  ||  
|  ||  
| oпера́ция ||
|-
| 序数 ||
| xù shù ||
| Ordinalzahl [f] ||
| ordinal number || enumeration; ordinal numeral <linguistics>
| nombre ordinal ||
| 順序数 ||
| じゅ↑んじょ↓すう ||
|  ||  
|  ||  
| поря́дковым число́м, ордина́лом ||
|-
| 值域 ||
| zhí yù ||
| Bild [n] (Funktion), Bildbereich [m] (Funktion), Bildmenge [f] (Funktion) ||
| range || image
| image [f] (application) ||
| 値域 ||
| ち↓いき ||
|  ||  
|  ||  
| о́бласть значе́ний фу́нкции, мно́жество значе́ний фу́нкции ||
|-
|-
| identity element, neutral element || binary operation; set
| 关系 ||
| guānxi ||
| Relation [f] ||
| relation || set
| relation [f] ||
| 関係 ||
| かんけい ||
|  ||  
|  ||  
| отноше́ние ||
|-
| 罗素悖论 ||
| Luósù bèilùn ||
| Russellsche Antinomie ||
| Russell's paradox, Russell's antinomy || set
| paradoxe [m] de Russell, antinomie [f] de Russell ||
| ラッセルのパラドックス ||
| ラ↓ッセルのパ↑ラド↓ックス ||
|  ||  
|  ||  
| парадо́кс Ра́ссела, антино́мия Ра́ссела ||
|-
| 集合，集 ||
| jíhé, jí ||
| Menge [f] ||
| set || element
| ensemble [m] ||
| 集合 ||
| しゅ↑うごう ||
|  ||  
|  ||  
| мно́жество ||
|-
| 满射 ||
| mǎn shè ||
| surjektive Funktion ||
| surjection, surjective function, onto function || function
| surjection [f], application surjective ||
| 全射 ||
| ぜ↑んしゃ ||
|  ||  
|  ||  
| сюръе́кция, сюръекти́вное отображе́ние ||
|-
| 对称差 ||
| duìchèn chā ||
| symmetrische Differenz ||
| symmetric difference, disjunctive union || intersection
| différence [f] symétrique ||
| 対称差 ||
| た↑いしょうさ ||
|  ||  
|  ||  
| симметри́ческая ра́зность ||
|-
| 多元组 ||
| duōyuán zǔ ||
| Tupel [n] ||
| tuple || element; sequence <number theory>
| uplet [m] ||
| 順序組，組 ||
| じゅ↑んじょぐみ，く↑み ||
|  ||  
|  ||  
| корте́ж ||
|-
| 全集 ||
| quán jí ||
| Universalmenge [f], Allmenge [f], Grundmenge [f] ||
| universal set || universe
| ensemble référentiel ||
| 全体集合，普遍集合 ||
| ぜ↑んたいしゅ↓うごう，ふ↑へんしゅ↓うごう ||
|  ||  
|  ||  
| универса́льное мно́жество ||
|-
| 全类 ||
| quán lèi ||
| Universum [n] ||
| universe || class
| univers [m] ||
| 宇宙 ||
| う↓ちゅう ||
|  ||  
|  ||  
| универса́льный класс ||
|-
|-
| identity function, identity relation, identity map, identity transformation || argument
| 基本元素 ||  
| ||  
| jīběn yuánsù ||  
| ||  
| Urelement [n] ||  
| ||  
| urelement || set
| ||  
| ur-element [m] ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| урэлеме́нт ||
|-
| 范恩图，维恩图，韦恩图，文氏图 ||
| Fàn'ēn tú, Wéi'ēn tú, Wéi'ēn tú, Wénshì tú ||
| Venn-Diagramm [n] ||
| Venn diagram || set
| diagramme [m] de Venn ||
| ベン図，ヴェン図 ||
| ベ↓ンず、ヴェ↓ンず ||
|  ||  
|  ||  
| диагра́мма Ве́нна ||
|-
|-
| image || function; set
|  ||  
|  ||  
|  ||  
|  ||  
Line 383: Line 574:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|-
| indexed family, family || set
|  ||  
|  ||  
|  ||  
|  ||  
|}
{| class="wikitable sortable"
|+ property of binary operation
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| property of binary operation ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|-
| inequality || equality
| 不等 ||
| bù děng ||
| Ungleichheit [f] ||
| inégalité [f] ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|-
|  ||  
|  ||  
|-
| injection, injective function, one-to-one function || function
|  ||  
|  ||  
|  ||  
|  ||  
Line 415: Line 610:
|  ||  
|  ||  
|-
|-
| inverse image, preimage || codomain; subset
| 反交换律 ||  
| ||  
| fǎnjiāohuàn lǜ ||  
| ||  
| Antikommutativgesetz [n], Antikommutativität [f] ||  
| ||  
| anticommutative property, anticommutativity || operation
|  ||  
|  ||  
|  ||  
|  ||  
Line 425: Line 620:
|  ||  
|  ||  
|-
|-
| mapping || function
| 结合律 ||  
| ||  
| jiéhé lǜ ||  
| ||  
| Assoziativgesetz [n], Assoziativität [f] ||  
| ||  
| associative property, associativity || operation
|  ||  
|  ||  
|  ||  
|  ||  
Line 435: Line 630:
|  ||  
|  ||  
|-
|-
| operand || operation
| 交换律 ||  
| 运算数，运算元 ||  
| jiāohuàn lǜ ||  
| yùnsuàn shù, yùnsuàn yuán ||  
| Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f] ||  
| Operand [m] ||  
| commutative property, commutativity || operation
|  ||  
|  ||  
|  ||  
|  ||  
Line 445: Line 640:
|  ||  
|  ||  
|-
|-
| operation ||  
| 分配律 ||  
| 运算 ||  
| fēnpèi lǜ ||  
| yùnsuàn ||  
| Distributivgesetz [n], Distributivität [f] ||  
| Verknüpfung [f] ||  
| distributive property, distributivity || operation
|  ||  
|  ||  
|  ||  
|  ||  
Line 455: Line 650:
|  ||  
|  ||  
|-
|-
| ordered pair || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 464: Line 658:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|}
{| class="wikitable sortable"
|+ operation on set
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
| ordinal number || enumeration; ordinal numeral <linguistics>
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| operation on set ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 475: Line 683:
|  ||  
|  ||  
|-
|-
| range || codomain; image
|  ||
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|  ||
|-
| relation || set
| 关系 ||
| guānxi ||
| Relation [f] ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 495: Line 693:
|  ||  
|  ||  
|-
|-
| Russell's paradox, Russell's antinomy || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| absolute complement || complement; subset
|  ||  
|  ||  
|  ||  
|  ||  
Line 505: Line 703:
|  ||  
|  ||  
|-
|-
| set || element
| 补集 ||  
| ||  
| bǔ jí ||  
| ||  
| Komplement [n] ||  
| ||
| complement, set difference || set
|  ||  
| complémentaire [m] ||  
| ||  
| 差集合 ||  
| ||  
| さ↑しゅ↓うごう ||  
| ||  
|  ||  
|  ||  
| ра́зность мно́жеств ||
|-
|-
| surjection, surjective function, onto function || function
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| intersection || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 525: Line 723:
|  ||  
|  ||  
|-
|-
| symmetric difference, disjunctive union || intersection
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| power set, powerset || subset; empty set
|  ||  
|  ||  
|  ||  
|  ||  
Line 535: Line 733:
|  ||  
|  ||  
|-
|-
| tree || partially ordered set; well-ordered set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| relative complement || complement; subset
|  ||  
|  ||  
|  ||  
|  ||  
Line 545: Line 743:
|  ||  
|  ||  
|-
|-
| tuple || element; sequence <number theory>
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| union || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 555: Line 753:
|  ||  
|  ||  
|-
|-
| universe ||
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 562: Line 758:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|-
|  ||
| urelement || set
|  ||
|}
 
{| class="wikitable sortable"
|+ system of set theory
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
| ||  
|  ||
|  ||
| system of set theory ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 575: Line 796:
|  ||  
|  ||  
|-
|-
| Venn diagram || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| Zermelo–Fraenkel set theory || axiomatic system
|  ||  
|  ||  
|  ||  
|  ||  
Line 597: Line 818:


{| class="wikitable sortable"
{| class="wikitable sortable"
|+ property of binary operation
|+ type of set
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
Line 608: Line 829:
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
| property of binary operation ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| type of set ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 628: Line 849:
|  ||  
|  ||  
|-
|-
| anticommutative property, anticommutativity || operation
| 反交换律 ||
| fǎnjiāohuàn lǜ ||
| Antikommutativgesetz [n], Antikommutativität [f] ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
| countable set || subset; cardinality
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|-
| associative property, associativity || operation
| 结合律 ||
| jiéhé lǜ ||
| Assoziativgesetz [n], Assoziativität [f] ||
|  ||  
|  ||  
|  ||  
|  ||  
|-
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|-
| empty set || set
| commutative property, commutativity || operation
| 交换律 ||
| jiāohuàn lǜ ||
| Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f] ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 658: Line 869:
|  ||  
|  ||  
|-
|-
| distributive property, distributivity || operation
| ||  
| 分配律 ||  
| ||  
| fēnpèi lǜ ||  
| ||  
| Distributivgesetz [n], Distributivität [f] ||  
| finite set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 671: Line 882:
|  ||  
|  ||  
|  ||  
|  ||  
| fuzzy set, uncertain set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 676: Line 888:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|}
{| class="wikitable sortable"
|+ operation on set
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
| operation on set ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| infinite set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 704: Line 902:
|  ||  
|  ||  
|  ||  
|  ||  
| ||  
| proper subset || subset
|  ||  
|  ||  
|  ||  
|  ||  
Line 711: Line 909:
|  ||  
|  ||  
|-
|-
| absolute complement || complement; subset
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| singleton. unit set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 721: Line 919:
|  ||  
|  ||  
|-
|-
| complement. set difference || set
| 补集 ||
| bǔ jí ||
| Komplement [n] ||
| complémentaire [m] ||
| 差集合 ||
| さ↑しゅ↓うごう ||
|  ||  
|  ||  
| ра́зность мно́жеств ||  
| ||
|  ||
| subset || set
|  ||
|  ||
|  ||
|  ||
|  ||  
|-
|-
| intersection || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| superset || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 741: Line 939:
|  ||  
|  ||  
|-
|-
| power set, powerset || subset; empty set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| transitive set || subset; urelement
|  ||  
|  ||  
|  ||  
|  ||  
Line 751: Line 949:
|  ||  
|  ||  
|-
|-
| relative complement || complement; subset
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| universal set || mathematical object
|  ||  
|  ||  
|  ||  
|  ||  
Line 761: Line 959:
|  ||  
|  ||  
|-
|-
| union || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| unordered pair, pair set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 772: Line 970:
|-
|-
|  ||  
|  ||  
|  ||
|  ||
| well-founded set || transitive closure
|  ||  
|  ||  
|  ||  
|  ||  
Line 777: Line 978:
|  ||  
|  ||  
|  ||  
|  ||  
|-
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|}
| well-ordered set || well-order; total order; non-empty set; least element
 
{| class="wikitable sortable"
|+ system of set theory
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
| system of set theory ||
|  ||
|  ||
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 809: Line 994:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|  ||
|  ||
|  ||
|}
{| class="wikitable sortable"
|+ binary relation
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
| 二元关系 ||
| èryuán guānxi ||
| binäre Relation ||
| binary relation || relation
| relation [f] binaire ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 827: Line 1,035:
|  ||  
|  ||  
|  ||  
|  ||  
| connected relation, total relation || binary relation
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||  
|  ||  
|  ||
|  ||
| converse relation || binary relation
|  ||  
|  ||  
|  ||  
|  ||  
Line 834: Line 1,052:
|  ||  
|  ||  
|-
|-
| Zermelo–Fraenkel set theory || axiomatic system
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| equivalence relation || reflexive relation; symmetric relation; transitive relation
|  ||  
|  ||  
|  ||  
|  ||  
Line 846: Line 1,064:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
| finitary relation || Cartesian product
|  ||  
|  ||  
|  ||  
|  ||  
Line 851: Line 1,071:
|  ||  
|  ||  
|  ||  
|  ||  
|-
|  ||  
|  ||  
|  ||  
|  ||  
|}
|  ||  
 
| symmetric relation || binary relation
{| class="wikitable sortable"
|+ type of set
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
| type of set ||
|  ||  
| ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 880: Line 1,085:
|  ||  
|  ||  
|  ||  
|  ||  
| ||  
| transitive relation || binary relation
|  ||  
|  ||  
|  ||  
|  ||  
Line 887: Line 1,092:
|  ||  
|  ||  
|-
|-
| countable set || subset; cardinality
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| well-founded relation || class; minimal element; empty set
|  ||  
|  ||  
|  ||  
|  ||  
Line 897: Line 1,102:
|  ||  
|  ||  
|-
|-
| empty set || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| well-order, well-order relation, well-ordering ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 907: Line 1,112:
|  ||  
|  ||  
|-
|-
| finite set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 915: Line 1,119:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|-
| fuzzy set, uncertain set || set
|  ||  
|  ||  
|  ||  
|  ||  
|}
{| class="wikitable sortable"
|+ function
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
| 函数 ||
| hán shù ||
| Funktion [f] ||
| function || binary relation; set
| fonction [f] ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|-
|  ||  
|  ||  
|  ||
|-
| infinite set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 937: Line 1,155:
|  ||  
|  ||  
|-
|-
| proper subset || subset
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| Boolean function || argument; Boolean domain <algebra>
|  ||  
|  ||  
|  ||  
|  ||  
Line 947: Line 1,165:
|  ||  
|  ||  
|-
|-
| singleton. unit set || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| Boolean-valued function || function; value; Boolean domain <algebra>
|  ||  
|  ||  
|  ||  
|  ||  
Line 957: Line 1,175:
|  ||  
|  ||  
|-
|-
| subset || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| complex-valued function || function; value; complex number
|  ||  
|  ||  
|  ||  
|  ||  
Line 967: Line 1,185:
|  ||  
|  ||  
|-
|-
| superset || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| functions of several complex variables || argument; complex variable
|  ||  
|  ||  
|  ||  
|  ||  
Line 977: Line 1,195:
|  ||  
|  ||  
|-
|-
| transitive set || subset; urelement
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| function of several real variables, real multivariate function || argument; real variable
|  ||  
|  ||  
|  ||  
|  ||  
Line 987: Line 1,205:
|  ||  
|  ||  
|-
|-
| universal set || mathematical object
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| integer-valued function || function; value; integer
|  ||  
|  ||  
|  ||  
|  ||  
Line 997: Line 1,215:
|  ||  
|  ||  
|-
|-
| unordered pair, pair set || set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| ordered pair || function
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,007: Line 1,225:
|  ||  
|  ||  
|-
|-
| well-founded set || transitive closure
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| well-ordered set || well-order; total order; non-empty set; least element
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| real-valued function || function; value; real number
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,038: Line 1,246:
|}
|}


=== Axiomatic Set Theory ===
{| class="wikitable sortable"
{| class="wikitable sortable"
|+ binary relation
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
Line 1,049: Line 1,257:
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
| binary relation || relation
| 二元关系 ||
| èryuán guānxi ||
| binäre Relation ||
| relation [f] binaire ||
|  ||
|  ||
|  ||
|  ||
|-
|-
|  ||  
|  ||  
Line 1,070: Line 1,268:
|  ||  
|  ||  
|-
|-
| connected relation, total relation || binary relation
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| amorphous set || infinite set; disjoint union; subset
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,080: Line 1,278:
|  ||  
|  ||  
|-
|-
| converse relation || binary relation
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| normal function || ordinal number; monotonically increasing function
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,090: Line 1,288:
|  ||  
|  ||  
|-
|-
| equivalence relation || reflexive relation; symmetric relation; transitive relation
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,099: Line 1,296:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|}
{| class="wikitable sortable"
|+ axiom of choice
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
| finitary relation || Cartesian product
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| axiom of choice || choice function
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,110: Line 1,321:
|  ||  
|  ||  
|-
|-
| symmetric relation || binary relation
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,120: Line 1,331:
|  ||  
|  ||  
|-
|-
| transitive relation || binary relation
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,129: Line 1,339:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|}
{| class="wikitable sortable"
|+ theorem in set theory
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
| well-founded relation || class; minimal element; empty set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| theorem in set theory ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,140: Line 1,364:
|  ||  
|  ||  
|-
|-
| well-order, well-order relation, well-ordering ||  
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| 康托尔定理 ||
| Kāngtuō'ěr dìnglǐ ||
| Satz [m] von Cantor ||
| Cantor's theorem || power set; cardinality
| théorème [m] de Cantor ||
| カントールの定理 ||
| カ↑ント↓ールの↑て↓いり ||
|  ||
| теоре́ма Ка́нтора ||
|-
|  ||
|  ||
|  ||
| well-ordering theorem, Zermelo's theorem || well-order
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,161: Line 1,405:
|}
|}


== Proof Theory ==
{| class="wikitable sortable"
{| class="wikitable sortable"
|+ function
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
Line 1,172: Line 1,416:
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
| function || binary relation; set
| 函数 ||
| hán shù ||
| Funktion [f] ||
| fonction [f] ||
|  ||
|  ||
|  ||
|  ||
|-
|-
|  ||  
|  ||  
Line 1,193: Line 1,427:
|  ||  
|  ||  
|-
|-
| Boolean function || argument; Boolean domain <algebra>
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| mathematical induction ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,203: Line 1,437:
|  ||  
|  ||  
|-
|-
| Boolean-valued function || function; value; Boolean domain <algebra>
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| sequent ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,212: Line 1,446:
|  ||  
|  ||  
|  ||  
|  ||  
|}
== Model Theory ==
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
| complex-valued function || function; value; complex number
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||  
|  ||  
|  ||
|  ||
|-
| functions of several complex variables || argument; complex variable
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,233: Line 1,470:
|  ||  
|  ||  
|-
|-
| function of several real variables, real multivariate function || argument; real variable
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| elementary equivalence || structure; signature
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,243: Line 1,480:
|  ||  
|  ||  
|-
|-
| integer-valued function || function; value; integer
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| signature || non-logical symbol <logic>
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,253: Line 1,490:
|  ||  
|  ||  
|-
|-
| real-valued function || function; value; real number
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| structure || cardinality; arity
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,274: Line 1,511:
|}
|}


==== Axiomatic Set Theory ====
== Computability Theory ==
{| class="wikitable sortable"
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
Line 1,287: Line 1,524:
|-
|-
|  ||  
|  ||  
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| amorphous set || infinite set; disjoint union; subset
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| normal function || ordinal number; monotonically increasing function
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,327: Line 1,544:
|}
|}


== Type Theory ==
{| class="wikitable sortable"
{| class="wikitable sortable"
|+ axiom of choice
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
Line 1,339: Line 1,556:
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
| axiom of choice || choice function
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,352: Line 1,569:
|  ||  
|  ||  
|  ||  
|  ||  
| ||  
| boolean type || type
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,360: Line 1,577:
|-
|-
|  ||  
|  ||  
|  ||
|  ||
| bottom type || type
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| identity type, propositional equality || equality; type
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,368: Line 1,595:
|  ||  
|  ||  
|  ||  
|  ||  
|}
{| class="wikitable sortable"
|+ theorem in set theory
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
| theorem in set theory ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| product type || type
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,395: Line 1,609:
|  ||  
|  ||  
|  ||  
|  ||  
| ||  
| unit type || type
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,402: Line 1,616:
|  ||  
|  ||  
|-
|-
| Cantor's theorem || power set; cardinality
| 康托尔定理 ||
| Kāngtuō'ěr dìnglǐ ||
| Satz [m] von Cantor ||
| théorème [m] de Cantor ||
| カントールの定理 ||
| カ↑ント↓ールの↑て↓いり ||
|  ||  
|  ||  
| теоре́ма Ка́нтора ||
|-
| well-ordering theorem, Zermelo's theorem || well-order
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,421: Line 1,625:
|  ||  
|  ||  
|  ||  
|  ||  
|}
== Algebraic Logic ==
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,433: Line 1,648:
|}
|}


=== Proof Theory ===
=== Boolean Algebra ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|-
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,455: Line 1,668:
|  ||  
|  ||  
|-
|-
| mathematical induction ||  
| 德摩根定律 ||  
| ||  
| Dé Mógēn dìnglǜ ||  
| ||  
| De-Morgansche Gesetze [n pl], De-Morgansche Regeln [f pl] ||  
| De Morgan's laws || conjunction; disjunction; negation
| lois [f pl] de De Morgan ||
| ド・モルガンの法則 ||
| ド・↑モルガ↓ンのほ↑うそく ||
| зако́ны де Мо́ргана, пра́вила де Мо́ргана ||
|-
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
| truth table || expression
| table [f] de vérité ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|-
|-
| sequent ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 1,476: Line 1,696:
|}
|}


=== Model Theory ===
<center>
{| class="wikitable sortable"
https://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Venn3tab.svg/240px-Venn3tab.svg.png
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
</center>
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
 
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
{{Sci-Tech-Index-Menu}}
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| elementary equivalence || structure; signature
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| signature || non-logical symbol <logic>
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| structure || cardinality; arity
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
=== Computability Theory, Recursion Theory ===
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
=== Type Theory ===
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| boolean type || type
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| bottom type || type
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| identity type, propositional equality || equality; type
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| product type || type
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| unit type || type
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
=== Algebraic Logic ===
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
==== Boolean Algebra ====
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| De Morgan's laws || conjunction; disjunction; negation
| 德摩根定律 ||
| Dé Mógēn dìnglǜ ||
| De-Morgansche Gesetze [n pl], De-Morgansche Regeln [f pl] ||
| lois [f pl] de De Morgan ||
| ド・モルガンの法則 ||
| ド・↑モルガ↓ンのほ↑うそく ||
| зако́ны де Мо́ргана, пра́вила де Мо́ргана ||
|-
| truth table || expression
|  ||
|  ||
|  ||
| table [f] de vérité ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
==== Relation Algebra ====
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
== Appendix ==
=== Sentence ===
{| class="wikitable sortable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f]
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
=== Symbol ===
==== Set Theory ====
{| class="wikitable sortable"
! symbol
! eng-Latn-US: concept
! cmn-Hans-CN: 概念
! cmn-Latn.Pinyin-CN: gàiniàn
! deu-Latn-DE: Begriff [m]
! fra-Latn-FR: concept [m]
! jpn-Jpan-JP: 概念
! jpn-Hrkt-JP: が↓いねん
! pes-Aran-IR: مَفهوم
! rus-Cyrl-RU: конце́пция
|-
|
|
|
|
|
|
|
|
|
|
|-
| =
| is equal to
|
|
|
|
|
|
|
|
|-
| ≠
| is not equal to
|
|
|
|
|
|
|
|
|-
| ∈
| is element of
|
|
|
|
|
|
|
|
|-
| ∉
| is not element of
|
|
|
|
|
|
|
|
|-
| ∋
| contains member
|
|
|
|
|
|
|
|
|-
| ∌
| does not contain member
|
|
|
|
|
|
|
|
|-
| ⊂
| is subset of; is proper subset of
|
|
|
|
|
|
|
|
|-
| ⊃
| is superset of; is proper superset of
|
|
|
|
|
|
|
|
|-
| ⊆
| is subset of
|
|
|
|
|
|
|
|
|-
| ⊇
| is superset of
|
|
|
|
|
|
|
|
|-
| ⊄
| is not subset of; is not proper subset of
|
|
|
|
|
|
|
|
|-
| ⊅
| is not superset of; is not proper superset of
|
|
|
|
|
|
|
|
|-
| ⊈
| is not subset of
|
|
|
|
|
|
|
|
|-
| ⊉
| is not superset of
|
|
|
|
|
|
|
|
|-
| ⊊
| is subset and not proper subset of
|
|
|
|
|
|
|
|
|-
| ⊋
| is superset and not proper superset of
|
|
|
|
|
|
|
|
|-
| ''A'', ''B'', ''C'', ...
| set
|
|
|
|
|
|
|
|
|-
| ''a'', ''b'', ''c'', ...
| element
|
|
|
|
|
|
|
|
|-
|
|
|
|
|
|
|
|
|
|
|}
 
==== Proof Theory ====
{| class="wikitable sortable"
! symbol
! eng-Latn-US: concept
! cmn-Hans-CN: 概念
! cmn-Latn.Pinyin-CN: gàiniàn
! deu-Latn-DE: Begriff [m]
! fra-Latn-FR: concept [m]
! jpn-Jpan-JP: 概念
! jpn-Hrkt-JP: が↓いねん
! pes-Aran-IR: مَفهوم
! rus-Cyrl-RU: конце́пция
|-
|
|
|
|
|
|
|
|
|
|
|-
| ⊢
| proof
|
|
|
|
|
|
|
|
|-
|
|
|
|
|
|
|
|
|
|
|}
 
==== Model Theory ====
{| class="wikitable sortable"
! symbol
! eng-Latn-US: concept
! cmn-Hans-CN: 概念
! cmn-Latn.Pinyin-CN: gàiniàn
! deu-Latn-DE: Begriff [m]
! fra-Latn-FR: concept [m]
! jpn-Jpan-JP: 概念
! jpn-Hrkt-JP: が↓いねん
! pes-Aran-IR: مَفهوم
! rus-Cyrl-RU: конце́пция
|-
|
|
|
|
|
|
|
|
|
|
|-
| ⊨
| model
|
|
|
|
|
|
|
|
|-
|
|
|
|
|
|
|
|
|
|
|}
 
=== Process ===
{| class="wikitable sortable"
! eng-Latn-US: process !! eng-Latn-US: constituent
! cmn-Hans-CN: 过程 !! cmn-Hans-CN: 构件
! cmn-Latn.Pinyin-CN: guòchéng !! cmn-Latn.Pinyin-CN: gòujiàn
! deu-Latn-DE: Prozess [m] !! deu-Latn-DE: Bestandteil [m]
! fra-Latn-FR: procès [m] !! fra-Latn-FR: composant [m]
! jpn-Jpan-JP: 過程 !! jpn-Jpan-JP: 構材
! jpn-Hrkt-JP: か↑てい !! jpn-Hrkt-JP: こ↑うざい
! pes-Aran-IR: فَرآیَند‎ !! pes-Aran-IR: هَمنِه
! rus-Cyrl-RU: проце́сс !! rus-Cyrl-RU: соста́вная часть
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
=== Resource under a Public License ===
{| class="wikitable sortable"
! name
! language
! link
|-
|
|
|
|-
|
|
|
|}


<center>[[File:480px-Venn3tab.svg.png]]</center>
==Other Lessons==
 
* [[Language/Multiple-languages/Vocabulary/Longest-words|Longest words]]
{{Sci-Tech-Index-Menu}}
* [[Language/Multiple-languages/Vocabulary/Electromagnetism|Electromagnetism]]
* [[Language/Multiple-languages/Vocabulary/Must‐Know-Words-for-Polyglots|Must‐Know Words for Polyglots]]
* [[Language/Multiple-languages/Vocabulary/Similarities-between-French-and-Italian|Similarities between French and Italian]]
* [[Language/Multiple-languages/Vocabulary/Statistics|Statistics]]
* [[Language/Multiple-languages/Vocabulary/Thermodynamics|Thermodynamics]]
* [[Language/Multiple-languages/Vocabulary/I-love-you-in-all-languages|I love you in all languages]]
* [[Language/Multiple-languages/Vocabulary/Emotions-in-many-languages|Emotions in many languages]]
* [[Language/Multiple-languages/Vocabulary/Transparent-Words|Transparent Words]]
* [[Language/Multiple-languages/Vocabulary/Musical-Notes-in-Many-Languages|Musical Notes in Many Languages]]
<span links></span>

Latest revision as of 13:15, 27 March 2023

Hello polyglots, 😀

On this page you will find a part of the Sci–Tech Index, a project for science and technology learners.

cmn-Hans-CN: 科目 cmn-Latn.Pinyin-CN: kēmù deu-Latn-DE: Fach [n] eng-Latn-US: subject fra-Latn-FR: matière [f] jpn-Jpan-JP: 科目 jpn-Hrkt-JP: か↑もく pes-Aran-IR: رِشته rus-Cyrl-RU: предме́т
集合论 jíhé lùn Mengenlehre [f] set theory théorie [f] des ensembles [m pl] 集合論 しゅ↑うご↓うろん тео́рия мно́жеств
公理化集合论 gǒnglǐhuà jíhélùn axiomatische Mengenlehre axiomatic set theory théorie [f] axiomatique des ensembles [m pl] 公理的集合論 こ↑うりてき↓しゅ↑うご↓うろん аксиомати́ческая тео́рия мно́жеств
证明论 zhèngmíng lùn Beweistheorie [f] proof theory théorie [f] de la démonstration, théorie [f] de la preuve 証明論 しょ↑うめ↓いろん тео́рия доказа́тельств
模型论 móxíng lùn Modelltheorie [f] model theory théorie [f] des modèles [m pl] モデル理論 モ↑デルり↓ろん тео́рия моде́лей
可计算性理论 kějìsuànxìng lǐlùn Berechenbarkeitstheorie [f], Rekursionstheorie [f] computability theory, recursion theory théorie [f] de la calculabilité 計算可能性理論 け↑いさんかのうせいり↓ろん тео́рия вычисли́мости
类型论 lèixíng lùn Typentheorie [f] type theory théorie [f] des types [m pl] 型理論 か↑たり↓ろん тео́рией ти́пов
代数逻辑 dàishù luóji algebraische Logik algebraic logic logique [f] algébrique алгебраи́ческая ло́гика
逻辑代数，布尔代数 luóji dàishù, Bù'ěr dàishù boolesche Algebra, boolescher Verband Boolean algebra algèbre [f] de Boole, algèbre booléenne ブール代数，ブール束 ブ↑ールだ↓いすう，ブ↑ールそく а́лгебра ло́гики, а́лгебра выска́зываний
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
函数空间 hánshù kōngjiān Funktionenraum [m] function space set; function espace fonctionnel 関数空間 か↑んすうく↓うかん функциона́льное простра́нство
数学对象 shùxué duìxiàng mathematisches Objekt mathematical object objet [m] mathématique 数学的対象 す↑うがくてきた↓いしょう математи́ческий объе́кт

Set Theory[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
参数 cān shù Argument [m] argument function argument [m] 引数 ひ↑きす↓う аргуме́нт
双射 shuāng shè Bijektion [f], bijektive Funktion bijection, bijective function, invertible function function; set bijection [f] 全単射，双射 ぜ↑んた↓んしゃ，そ↓うしゃ бие́кция
二元运算 èryuán yùnsuàn zweistellige Verknüpfung, binäre Verknüpfung binary operation, dyadic operation operation opération [f] binaire 二項演算 に↑こうえ↓んざん бина́рная опера́ция, двуме́стная опера́ция
势，浓度 shì, nóng dù Mächtigkeit [f], Kardinalität [f] cardinality set cardinalité [f] 濃度，カーディナリティ の↓うど，カ↑ーディナ↓リティ мо́щность
基数 jī shù Kardinalzahl [f] cardinal number, cardinal cardinality nombre cardinal, cardinal [m] 基数 き↑す↓う кардина́льное число́
笛卡尔积 Díkǎ'ěr jī kartesisches Produkt, Mengenprodukt [n] Cartesian product ordered pair produit cartésien 直積，デカルト積 ちょ↑くせ↓き，デ↑カルト­せ↓き прямо́е произведе́ние, дека́ртово произведе́ние
选择函数 xuǎnzé hánshù Auswahlfunktion [f] choice function function; empty set; direct product <algebra> fonction [f] de choix [m] 選択関数 せ↑んたくか↓んすう фу́нкция вы́бора
类 lèi Klasse [f] class set classe [f] クラス，類 ク↓ラス，る↓い класс
到达域，陪域，上域，终域 dàodá yù, péi yù, shàng yù, zhōng yù Zielmenge [f], Wertevorrat [m] codomain, set of destination function ensemble [m] d'arrivée [f] 終域 し↑ゅうい↓き
连续统 liánxù tǒng Kontinuum [m] continuum cardinal number continu [m] 連続体 れ↑んぞくたい конти́нуум
定义域 dìngyì yù Definitionsmenge [f], Definitionsbereich [m] domain, set of departure function ensemble [m] de définition [f] 定義域 て↑いぎ↓いき о́бласть определе́ния
元素 yuánsù Element [n] element mathematical object élément [m] 元 げ↓ん элеме́нт
列举法 lièjǔ fǎ Aufzählung [f] enumeration set énumération [f] 数え上げ か↑ぞえあげ перечисле́ние
相等 xiāng děng Gleichheit [f] equality égalité [f] 相等 そ↑うとう تَساوی ра́венство
表达式，表示式，运算式 biǎodá shì, biǎoshì shì, yùnsuàn shì Ausdruck [m] expression digit; symbol expression [f] 数式 す↑うしき выраже́ние
外延性 wàiyán xìng Extensionalität [f] extensionality, extensional equality mathematical object extensionnalité [f] 外延性 が↑いえんせい экстенсиона́льность [ж]
单位元 dānwèi yuán neutrales Element identity element, neutral element binary operation; set élément [m] neutre, élément [m] identité 単位元，中立元 た↑んいげ↓ん，ちゅ↑うりつげ↓ん нейтра́льный элеме́нт
恒等函数 héngděng hánshù identische Abbildung identity function, identity relation, identity map, identity transformation argument application [f] identité, fonction [f] identité 恒等写像 こ↑うとうしゃ↓ぞう тожде́ственное отображе́ние
像 xiàng Bild [n], Bildbereich [m], Bildmenge [f] image function image [f] 像 ぞ↓う о́браз
族 zú Familie [f] indexed family, family set famille 族 ぞ↑く семе́йство, индекси́рованное семе́йство
不等 bù děng Ungleichheit [f] inequality equality inégalité [f] 不等 ふ↑とう нера́венство
单射 dān shè injektive Funktion injection, injective function, one-to-one function function; injectivity injection [f] 単射 た↑んしゃ инъе́кция, инъекти́вное отображе́ние
原像 yuán xiàng Urbild [n] inverse image, preimage codomain; subset image [f] réciproque, préimage [f] 逆像，原像 ぎゃ↑くぞう，げ↑んぞう обра́тный о́браз, проо́браз
映射 yìngshè Abbildung [f] mapping function application [f] 写像 しゃ↑ぞう отображе́ние
运算数，运算元 yùnsuàn shù, yùnsuàn yuán Operand [m] operand operation opérande [m] 被演算子 ひ↑えんざ↓んし опера́нд
运算 yùnsuàn Verknüpfung [f] operation opération [f] 演算 え↑んざん oпера́ция
序数 xù shù Ordinalzahl [f] ordinal number enumeration; ordinal numeral <linguistics> nombre ordinal 順序数 じゅ↑んじょ↓すう поря́дковым число́м, ордина́лом
值域 zhí yù Bild [n] (Funktion), Bildbereich [m] (Funktion), Bildmenge [f] (Funktion) range image image [f] (application) 値域 ち↓いき о́бласть значе́ний фу́нкции, мно́жество значе́ний фу́нкции
关系 guānxi Relation [f] relation set relation [f] 関係 かんけい отноше́ние
罗素悖论 Luósù bèilùn Russellsche Antinomie Russell's paradox, Russell's antinomy set paradoxe [m] de Russell, antinomie [f] de Russell ラッセルのパラドックス ラ↓ッセルのパ↑ラド↓ックス парадо́кс Ра́ссела, антино́мия Ра́ссела
集合，集 jíhé, jí Menge [f] set element ensemble [m] 集合 しゅ↑うごう мно́жество
满射 mǎn shè surjektive Funktion surjection, surjective function, onto function function surjection [f], application surjective 全射 ぜ↑んしゃ сюръе́кция, сюръекти́вное отображе́ние
对称差 duìchèn chā symmetrische Differenz symmetric difference, disjunctive union intersection différence [f] symétrique 対称差 た↑いしょうさ симметри́ческая ра́зность
多元组 duōyuán zǔ Tupel [n] tuple element; sequence <number theory> uplet [m] 順序組，組 じゅ↑んじょぐみ，く↑み корте́ж
全集 quán jí Universalmenge [f], Allmenge [f], Grundmenge [f] universal set universe ensemble référentiel 全体集合，普遍集合 ぜ↑んたいしゅ↓うごう，ふ↑へんしゅ↓うごう универса́льное мно́жество
全类 quán lèi Universum [n] universe class univers [m] 宇宙 う↓ちゅう универса́льный класс
基本元素 jīběn yuánsù Urelement [n] urelement set ur-element [m] урэлеме́нт
范恩图，维恩图，韦恩图，文氏图 Fàn'ēn tú, Wéi'ēn tú, Wéi'ēn tú, Wénshì tú Venn-Diagramm [n] Venn diagram set diagramme [m] de Venn ベン図，ヴェン図 ベ↓ンず、ヴェ↓ンず диагра́мма Ве́нна
property of binary operation
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
property of binary operation
反交换律 fǎnjiāohuàn lǜ Antikommutativgesetz [n], Antikommutativität [f] anticommutative property, anticommutativity operation
结合律 jiéhé lǜ Assoziativgesetz [n], Assoziativität [f] associative property, associativity operation
交换律 jiāohuàn lǜ Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f] commutative property, commutativity operation
分配律 fēnpèi lǜ Distributivgesetz [n], Distributivität [f] distributive property, distributivity operation
operation on set
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
operation on set
absolute complement complement; subset
补集 bǔ jí Komplement [n] complement, set difference set complémentaire [m] 差集合 さ↑しゅ↓うごう ра́зность мно́жеств
intersection set
power set, powerset subset; empty set
relative complement complement; subset
union set
system of set theory
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
system of set theory
Zermelo–Fraenkel set theory axiomatic system
type of set
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
type of set
countable set subset; cardinality
empty set set
finite set set
fuzzy set, uncertain set set
infinite set set
proper subset subset
singleton. unit set set
subset set
superset set
transitive set subset; urelement
universal set mathematical object
unordered pair, pair set set
well-founded set transitive closure
well-ordered set well-order; total order; non-empty set; least element
binary relation
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
二元关系 èryuán guānxi binäre Relation binary relation relation relation [f] binaire
connected relation, total relation binary relation
converse relation binary relation
equivalence relation reflexive relation; symmetric relation; transitive relation
finitary relation Cartesian product
symmetric relation binary relation
transitive relation binary relation
well-founded relation class; minimal element; empty set
well-order, well-order relation, well-ordering
function
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
函数 hán shù Funktion [f] function binary relation; set fonction [f]
Boolean function argument; Boolean domain <algebra>
Boolean-valued function function; value; Boolean domain <algebra>
complex-valued function function; value; complex number
functions of several complex variables argument; complex variable
function of several real variables, real multivariate function argument; real variable
integer-valued function function; value; integer
ordered pair function
real-valued function function; value; real number

Axiomatic Set Theory[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
amorphous set infinite set; disjoint union; subset
normal function ordinal number; monotonically increasing function
axiom of choice
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
axiom of choice choice function
theorem in set theory
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
theorem in set theory
康托尔定理 Kāngtuō'ěr dìnglǐ Satz [m] von Cantor Cantor's theorem power set; cardinality théorème [m] de Cantor カントールの定理 カ↑ント↓ールの↑て↓いり теоре́ма Ка́нтора
well-ordering theorem, Zermelo's theorem well-order

Proof Theory[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
mathematical induction
sequent

Model Theory[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
elementary equivalence structure; signature
signature non-logical symbol <logic>
structure cardinality; arity

Computability Theory[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка

Type Theory[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい pes-Aran-IR: مَفهوم pes-Aran-IR: پیش‌نیاز rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
boolean type type
bottom type type
identity type, propositional equality equality; type
product type type
unit type type

Algebraic Logic[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка

Boolean Algebra[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
德摩根定律 Dé Mógēn dìnglǜ De-Morgansche Gesetze [n pl], De-Morgansche Regeln [f pl] De Morgan's laws conjunction; disjunction; negation lois [f pl] de De Morgan ド・モルガンの法則 ド・↑モルガ↓ンのほ↑うそく зако́ны де Мо́ргана, пра́вила де Мо́ргана
truth table expression table [f] de vérité

240px-Venn3tab.svg.png

Unmaintained! Moved to a Codeberg repository. Use Foam with VSCodium to visualise the content.

Sci–Tech Index

40px-3-4.svg.png Introduction

Philosophy

40px-1-4.svg.png Logic

40px-0-4.svg.png Metaphysics

Mathematics

40px-2-4.svg.png Mathematical Logic

40px-0-4.svg.png Category Theory


40px-2-4.svg.png Number Theory


40px-1-4.svg.png Algebra


40px-1-4.svg.png Geometry


40px-1-4.svg.png Probability Theory

40px-1-4.svg.png Statistics

40px-1-4.svg.png Information Theory


40px-1-4.svg.png Mathematical Analysis


40px-1-4.svg.png Topology

40px-1-4.svg.png Discrete Mathematics


40px-1-4.svg.png Computational Science

Physics

40px-1-4.svg.png Mechanics

└ 40px-1-4.svg.png Structural Analysis

└ 40px-1-4.svg.png Tribology

40px-1-4.svg.png Thermodynamics


40px-1-4.svg.png Optics


40px-1-4.svg.png Acoustics


40px-1-4.svg.png Electromagnetism

40px-1-4.svg.png Electronic Component


40px-0-4.svg.png Metrology

└ 40px-1-4.svg.png Unit of Measurement


40px-0-4.svg.png Particle Physics

Biology

40px-1-4.svg.png Cell Biology

Chemistry

40px-1-4.svg.png Chemical Element

40px-0-4.svg.png Material Science

└ 40px-0-4.svg.png Metallurgy

40px-0-4.svg.png Computer Science
40px-1-4.svg.png Technical Drawing
Mechanical Engineering

40px-0-4.svg.png Mechanism

40px-1-4.svg.png Machine Element

40px-1-4.svg.png Metalworking


40px-0-4.svg.png Hydraulics and Pneumatics


40px-1-4.svg.png Theory of Inventive Problem Solving

Software Engineering

40px-1-4.svg.png Computer Language

Systems Science

40px-0-4.svg.png Chaos Theory

40px-0-4.svg.png Cybernetics

└ 40px-0-4.svg.png Control Theory

40px-0-4.svg.png Robotics

40px-0-4.svg.png Anthropology

40px-0-4.svg.png Psychology
40px-0-4.svg.png Linguistics

Sci–Tech Index is under the CC BY 4.0 license

Other Lessons[edit | edit source]

Retrieved from "https://polyglotclub.com/wiki/index.php?title=Language/Multiple-languages/Vocabulary/Mathematical-Logic&oldid=200202"