Actions

Multiple-languages Language Multiple-languages Vocabulary: Mathematical Logic

From Polyglot Club WIKI

< Language‎ | Multiple-languages‎ | Vocabulary
This lesson can still be improved. EDIT IT NOW! & become VIP
Rate this lesson:
5.00
(one vote)

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: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
set theory 集合论 jíhé lùn Mengenlehre [f] théorie [f] des ensembles 集合論 しゅ↑うご↓うろん тео́рия мно́жеств
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[edit | edit source]

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: предпосы́лка
absolute complement complement; subset
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]
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
cardinality set
cardinal number cardinality
codomain, set of destination function; set
commutative property, commutativity operation 交换律 jiāohuàn lǜ Kommutativgesetz [n], Vertauschungsgesetz [n], Kommutativität [f]
complement set 补集 bǔ jí Komplement [n] complémentaire [m] 差集合 さ↑しゅ↓うごう ра́зность мно́жеств
continuum cardinal number
countable set subset; cardinality
distributive property, distributivity operation 分配律 fēnpèi lǜ Distributivgesetz [n], Distributivität [f]
domain, set of departure function; set
element object
empty set set
enumeration set
equality 相等 xiāng děng Gleichheit [f] égalité [f]
expression digit; symbol 表达式, 表示式, 运算式 biǎodá shì, biǎoshì shì, yùnsuàn shì Ausdruck [m] expression [f]
extensionality, extensional equality object
finite set element
function binary relation; set 函数 hán shù Funktion [f] fonction [f]
image function; set
inequality equality 不等 bù děng Ungleichheit [f] inégalité [f]
intersection set
inverse image, preimage codomain; subset
object
operand operation 运算数, 运算元 yùnsuàn shù, yùnsuàn yuán Operand [m]
operation 运算 yùnsuàn Verknüpfung [f]
map function
ordered pair object
power set, powerset subset; empty set
proper subset subset
range codomain; image
relation set 关系 guānxi Relation [f]
relative complement complement; subset
set element
subset set
superset set
tuple element; sequence
union set
unordered pair, pair set set

Proof Theory[edit | edit source]

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

Model Theory[edit | edit source]

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

Computability Theory / Recursion Theory[edit | edit source]

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

Venn-AA up Blank.png

* Appendix *[edit | edit source]

Adjective & Adjective Phrase; Verb & Verb Phrase[edit | edit source]

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

Symbol[edit | edit source]

Set Theory[edit | edit source]

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: が↓いねん rus-Cyrl-RU: конце́пция
element of
not element of
contain member
not contain member
subset of; proper subset of
superset of; proper superset of
subset of
superset of
not subset of; not proper subset of
not superset of; not proper superset of
not subset of
not superset of
subset and not proper subset of
superset and not proper superset of
A, B, C, ... set
a, b, c, ... element

Process[edit | edit source]

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: こ↑うざい rus-Cyrl-RU: проце́сс rus-Cyrl-RU: соста́вная часть

Related Free Educational Resources[edit | edit source]

branch name link language public license

Contributors

GrimPixel and Vincent


Create a new Lesson