Language/Multiple-languages/Vocabulary/Mathematical-Logic

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

You can see the titles are a bit of weird. They are going to be read by machine and made use of by other means.

“Prerequisites” for language–script–region combinations except the first one are to be generated through programs, so they are kept empty.

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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка
set theory
proof theory
model theory
computability theory, recursion theory

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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка
absolute complement	complement (set theory), subset
binary operation	element (mathematics)
cardinality	set (set theory)
codomain, set of destination	function (set theory), set (set theory)
complement (set theory)	set (set theory)
continuum (set theory)	real number <arithmetic>
countable set	subset, cardinality
domain (set theory), set of departure	function (set theory), set (set theory)
element (set theory)	object (mathematics)
empty set	set (set theory)
enumeration	set (set theory)
extensionality, extensional equality	object (mathematics)
finite set	element (set theory)
image (set theory)	function (set theory), set (set theory)
intersection (set theory)	set (set theory)
inverse image (set theory), preimage	codomain, subset
map (set theory)	function (set theory)
ordered pair	object (mathematics)
power set, powerset	subset, empty set
proper subset	subset
range (set theory)	codomain, image (set theory)
relative complement	complement (set theory), subset
set (set theory)	element (set theory)
subset	set (set theory)
superset	set (set theory)
tuple	element (mathematics), sequence (mathecatics)
union (set theory)	set (set theory)
unordered pair, pair set	set (set theory)

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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	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-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	jpn-Jpan-JP: 概念	jpn-Jpan-JP: 前提	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

* Related Free Educational Resources

branch	name	link	language	public license

-- AUTHOR --

GrimPixel