Language/Multiple-languages/Vocabulary/Mathematical-Logic

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	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: конце́пция
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

eng-Latn-US: concept	eng-Latn-US: prerequisite	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: конце́пция
absolute complement	complement; subset
binary operation	element
cardinality	set
codomain, set of destination	function; set
complement	set	补集	bǔ jí	Komplement [n]	complémentaire [m]	差集合	さしゅうごう	ра́зность мно́жеств
continuum	real number <arithmetic>
countable set	subset; cardinality
domain, set of departure	function; set
element	object
empty set	set
enumeration	set
extensionality, extensional equality	object
finite set	element
function	binary relation; set	函数	hán shù	Funktion [f]	fonction [f]
image	function; set
intersection	set
inverse image, preimage	codomain; subset
object
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

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

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

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

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	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