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

From Polyglot Club WIKI
Jump to navigation Jump to search
Line 107: Line 107:
|  ||  
|  ||  
|  ||  
|  ||  
|-
| amorphous set || infinite set; disjoint union; subset
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  || x
|-
|-
| argument || function
| argument || function
Line 237: Line 227:
|  ||  
|  ||  
|  ||  
|  ||  
|-
| complement || set
| 补集 ||
| bǔ jí ||
| Komplement [n] ||
| complémentaire [m] ||
| 差集合 ||
| さ↑しゅ↓うごう ||
|  ||
| ра́зность мно́жеств ||
|-
|-
| connected relation, total relation || binary relation
| connected relation, total relation || binary relation
Line 269: Line 249:
|-
|-
| converse relation || binary relation
| converse relation || binary relation
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| countable set || subset; cardinality
|  ||  
|  ||  
|  ||  
|  ||  
Line 309: Line 279:
|-
|-
| element || mathematical object
| element || mathematical object
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| empty set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 389: Line 349:
|-
|-
| finitary relation || Cartesian product
| finitary relation || Cartesian product
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| finite set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 419: Line 369:
|-
|-
| function space || set; function
| function space || set; function
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| fuzzy set, uncertain set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 483: Line 423:
| Ungleichheit [f] ||  
| Ungleichheit [f] ||  
| inégalité [f] ||  
| inégalité [f] ||  
|  ||
|  ||
|  ||
|  ||
|-
| infinite set || set
|  ||
|  ||
|  ||
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 588: Line 518:
|  ||  
|  ||  
|-
|-
| power set, powerset || subset; empty set
| range || codomain; image
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| relation || set
| 关系 ||
| guānxi ||
| Relation [f] ||
|  ||
|  ||
|  ||
|  ||
| ||
|-
| relative complement || complement; subset
|  ||  
|  ||  
|  ||  
|  ||  
Line 598: Line 548:
|  ||  
|  ||  
|-
|-
| proper subset || subset
| Russell's paradox, Russell's antinomy || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 608: Line 558:
|  ||  
|  ||  
|-
|-
| range || codomain; image
| set difference, difference of set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 618: Line 568:
|  ||  
|  ||  
|-
|-
| relation || set
| surjection, surjective function, onto function || function
| 关系 ||  
| ||  
| guānxi ||  
| ||  
| Relation [f] ||  
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 628: Line 578:
|  ||  
|  ||  
|-
|-
| relative complement || complement; subset
| symmetric difference, disjunctive union || intersection
|  ||  
|  ||  
|  ||  
|  ||  
Line 638: Line 588:
|  ||  
|  ||  
|-
|-
| Russell's paradox, Russell's antinomy || set
| symmetric relation || binary relation
|  ||  
|  ||  
|  ||  
|  ||  
Line 648: Line 598:
|  ||  
|  ||  
|-
|-
| set || element
| transitive relation || binary relation
|  ||  
|  ||  
|  ||  
|  ||  
Line 658: Line 608:
|  ||  
|  ||  
|-
|-
| set difference, difference of set || set
| tree || partially ordered set; well-ordered set
|  ||  
|  ||  
|  ||  
|  ||  
Line 668: Line 618:
|  ||  
|  ||  
|-
|-
| singleton, unit set ||  
| tuple || element; sequence
|  ||  
|  ||  
|  ||  
|  ||  
Line 678: Line 628:
|  ||  
|  ||  
|-
|-
| subset || set
| union || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 688: Line 638:
|  ||  
|  ||  
|-
|-
| superset || set
| unordered pair, pair set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 698: Line 648:
|  ||  
|  ||  
|-
|-
| surjection, surjective function, onto function || function
| urelement || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 708: Line 658:
|  ||  
|  ||  
|-
|-
| symmetric difference, disjunctive union || intersection
| Venn diagram || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 718: Line 668:
|  ||  
|  ||  
|-
|-
| symmetric relation || binary relation
| well-founded relation || class; minimal element; empty set
|  ||  
|  ||  
|  ||  
|  ||  
Line 728: Line 678:
|  ||  
|  ||  
|-
|-
| transitive relation || binary relation
| Zermelo–Fraenkel set theory || Russel's paradox
|  ||  
|  ||  
|  ||  
|  ||  
Line 738: Line 688:
|  ||  
|  ||  
|-
|-
| transitive set || subset; urelement
| ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}
 
{| 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: предпосы́лка
|+ binary operation property
| binary operation property ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 748: Line 720:
|  ||  
|  ||  
|-
|-
| tree || partially ordered set; well-ordered set
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 758: Line 730:
|  ||  
|  ||  
|-
|-
| tuple || element; sequence
| anticommutative property, anticommutativity || operation
| 反交换律 ||
| fǎnjiāohuàn lǜ ||
| Antikommutativgesetz [n], Antikommutativität [f] ||
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|-
| associative property, associativity || operation
| 结合律 ||
| jiéhé lǜ ||
| Assoziativgesetz [n], Assoziativität [f] ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 768: Line 750:
|  ||  
|  ||  
|-
|-
| union || set
| commutative property, commutativity || operation
| 交换律 ||
| jiāohuàn lǜ ||
| Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f] ||
|  ||
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|-
| distributive property, distributivity || operation
| 分配律 ||
| fēnpèi lǜ ||
| Distributivgesetz [n], Distributivität [f] ||
|  ||  
|  ||  
|  ||  
|  ||  
Line 778: Line 770:
|  ||  
|  ||  
|-
|-
| universal set || mathematical object
|  ||  
|  ||  
|  ||  
|  ||  
Line 787: Line 778:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|}
{| 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: предпосы́лка
|+ set
|-
|-
| unordered pair, pair set || set
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 798: Line 803:
|  ||  
|  ||  
|-
|-
| urelement || set
| set || element
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 806: Line 812:
|  ||  
|  ||  
|  ||  
|  ||  
|-
| complement || set
| 补集 ||
| bǔ jí ||
| Komplement [n] ||
| complémentaire [m] ||
| 差集合 ||
| さ↑しゅ↓うごう ||
|  ||  
|  ||  
| ра́зность мно́жеств ||
|-
|-
| Venn diagram || set
| countable set || subset; cardinality
|  ||  
|  ||  
|  ||  
|  ||  
Line 818: Line 833:
|  ||  
|  ||  
|-
|-
| well-founded relation || class; minimal element; empty set
| empty set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 828: Line 843:
|  ||  
|  ||  
|-
|-
| well-founded set || transitive closure
| finite set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 838: Line 853:
|  ||  
|  ||  
|-
|-
| Zermelo–Fraenkel set theory || Russel's paradox
| fuzzy set, uncertain set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 848: Line 863:
|  ||  
|  ||  
|-
|-
| infinite set || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 854: Line 870:
|  ||  
|  ||  
|  ||  
|  ||  
|  ||
|  ||
|-
| power set, powerset || subset; empty set
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|  ||  
|}
| ||
 
|  ||
{| 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]
| proper subset || subset
! 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: предпосы́лка
|+ binary operation property
| binary operation property ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 880: Line 893:
|  ||  
|  ||  
|-
|-
| subset || set
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||  
|  ||  
|  ||
|-
| superset || set
|  ||  
|  ||  
|  ||  
|  ||  
Line 890: Line 913:
|  ||  
|  ||  
|-
|-
| anticommutative property, anticommutativity || operation
| transitive set || subset; urelement
| 反交换律 ||  
| ||  
| fǎnjiāohuàn lǜ ||  
| ||  
| Antikommutativgesetz [n], Antikommutativität [f] ||  
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 900: Line 923:
|  ||  
|  ||  
|-
|-
| associative property, associativity || operation
| unit set, singleton ||  
| 结合律 ||  
| ||  
| jiéhé lǜ ||  
| ||  
| Assoziativgesetz [n], Assoziativität [f] ||  
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 910: Line 933:
|  ||  
|  ||  
|-
|-
| commutative property, commutativity || operation
| universal set || mathematical object
| 交换律 ||  
| ||  
| jiāohuàn lǜ ||  
| ||  
| Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f] ||  
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 920: Line 943:
|  ||  
|  ||  
|-
|-
| distributive property, distributivity || operation
| well-founded set || transitive closure
| 分配律 ||  
| ||  
| fēnpèi lǜ ||  
| ||  
| Distributivgesetz [n], Distributivität [f] ||  
| ||  
|  ||  
|  ||  
|  ||  
|  ||  
Line 954: Line 977:
|-
|-
|  ||  
|  ||  
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
| amorphous set || infinite set; disjoint union; subset
|  ||  
|  ||  
|  ||  
|  ||  

Revision as of 17:41, 31 January 2022

This is a part of the Sci–Tech Index, a project for science and technology learners.

In progress.

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: предпосы́лка
set theory 集合论 jíhé lùn Mengenlehre [f] théorie [f] des ensembles 集合論 しゅ↑うご↓うろん тео́рия мно́жеств
axiomatic set theory
proof theory 证明论 zhèngmíng lùn Beweistheorie [f] théorie [f] de la démonstration, théorie [f] de la preuve 証明論 しょ↑うめ↓いろん тео́рия доказа́тельств
model theory 模型论 móxíng lùn Modelltheorie [f] théorie [f] des modèles モデル理論 モ↑デルり↓ろん тео́рия моде́лей
computability theory, recursion theory 可计算性理论 kějìsuànxìng lǐlùn Berechenbarkeitstheorie [f], Rekursionstheorie [f] théorie [f] de la calculabilité 計算可能性理論 け↑いさんかのうせいり↓ろん тео́рия вычисли́мости

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: предпосы́лка
argument function
bijection, bijective function, one-to-one correspondence, or invertible function function; set
axiom of choice choice function
binary operation, dyadic operation operation 二元运算 èryuán yùnsuàn zweistellige Verknüpfung, binäre Verknüpfung
binary relation relation 二元关系 èryuán guānxi binäre Relation relation [f] binaire
Cantor's theorem power set; cardinality
cardinality set
cardinal number cardinality
Cartesian product ordered pair
choice function function; empty set; direct product <algebra>
class set
codomain, set of destination function
connected relation, total relation binary relation
continuum cardinal number
converse relation binary relation
De Morgan's laws logical conjunction; logical disjunction; negation
domain, set of departure function
element mathematical object
enumeration set
equality 相等 xiāng děng Gleichheit [f] égalité [f] تَساوی
equal sign equality 等号 děng hào Gleichheitszeichen [n], Ist-gleich-Zeichen [n] signe [m] égal عَلَامَتِ مُساوی
equivalence relation reflexive relation; symmetric relation; transitive relation
expression digit; symbol 表达式, 表示式, 运算式 biǎodá shì, biǎoshì shì, yùnsuàn shì Ausdruck [m] expression [f]
extensionality, extensional equality mathematical object
finitary relation Cartesian product
function binary relation; set 函数 hán shù Funktion [f] fonction [f]
function space set; function
identity element, neutral element binary operation; set
identity function, identity relation, identity map, identity transformation argument
image function; set
indexed family, family set
inequality equality 不等 bù děng Ungleichheit [f] inégalité [f]
injection, injective function, one-to-one function function
intersection set
inverse image, preimage codomain; subset
logical conjunction
logical disjunction
mapping function
operand operation 运算数, 运算元 yùnsuàn shù, yùnsuàn yuán Operand [m]
operation 运算 yùnsuàn Verknüpfung [f]
ordered pair set
range codomain; image
relation set 关系 guānxi Relation [f]
relative complement complement; subset
Russell's paradox, Russell's antinomy set
set difference, difference of set set
surjection, surjective function, onto function function
symmetric difference, disjunctive union intersection
symmetric relation binary relation
transitive relation binary relation
tree partially ordered set; well-ordered set
tuple element; sequence
union set
unordered pair, pair set set
urelement set
Venn diagram set
well-founded relation class; minimal element; empty set
Zermelo–Fraenkel set theory Russel's paradox
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: предпосы́лка
binary operation property
binary operation property
anticommutative property, anticommutativity operation 反交换律 fǎnjiāohuàn lǜ Antikommutativgesetz [n], Antikommutativität [f]
associative property, associativity operation 结合律 jiéhé lǜ Assoziativgesetz [n], Assoziativität [f]
commutative property, commutativity operation 交换律 jiāohuàn lǜ Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f]
distributive property, distributivity operation 分配律 fēnpèi lǜ Distributivgesetz [n], Distributivität [f]
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: предпосы́лка
set
set element
complement set 补集 bǔ jí Komplement [n] complémentaire [m] 差集合 さ↑しゅ↓うごう ра́зность мно́жеств
countable set subset; cardinality
empty set set
finite set set
fuzzy set, uncertain set set
infinite set set
power set, powerset subset; empty set
proper subset subset
subset set
superset set
transitive set subset; urelement
unit set, singleton
universal set mathematical object
well-founded set transitive closure

Axiomatic 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: предпосы́лка
amorphous set infinite set; disjoint union; subset

Proof 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: предпосы́лка
mathematical induction

Model 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: предпосы́лка

Computability Theory, Recursion 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: предпосы́лка

Venn-AA up Blank.png

* Appendix *

Adjective & Adjective Phrase; Verb & Verb Phrase

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

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

Process

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: соста́вная часть

Related Free Educational Resources

branch name link language public license

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

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