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

Revision as of 14:26, 20 November 2021

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 (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)	补集	bǔ jí	Komplement [n] (Mengenlehre)	complémentaire [m] (théorie des ensembles)	差集合	さしゅうごう	ра́зность мно́жеств
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-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: がいねん	jpn-Hrkt-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-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: がいねん	jpn-Hrkt-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-Jpan-JP: 概念	jpn-Jpan-JP: 前提	jpn-Hrkt-JP: がいねん	jpn-Hrkt-JP: ぜんたい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

* 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: ぜんたい	rus-Cyrl-RU: конце́пция	rus-Cyrl-RU: предпосы́лка

Symbol

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 (set theory)
a, b, c, ...	element (set theory)

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: こうざい	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

Philosophy

Mathematics

Mathematical Analysis

Topology

Discrete Mathematics

Computational Science

Physics

Mechanics

└ Structural Analysis

└ Tribology

└ Unit of Measurement

Particle Physics

Biology

Cell Biology

Chemistry

Chemical Element

Material Science

└ Metallurgy

Computer Science

Technical Drawing

Mechanical Engineering

Mechanism

Machine Element

Metalworking

Hydraulics and Pneumatics

Theory of Inventive Problem Solving

Software Engineering

Computer Language

Systems Science

Chaos Theory

Cybernetics

└ Control Theory

Robotics

Anthropology

Psychology

Linguistics

Sci–Tech Index is under the CC BY 4.0 license

@@ Line 399: / Line 399: @@
 == * Appendix * ==
-=== Adjective & Adjective Phrase ===
+=== Adjective & Adjective Phrase; Verb & Verb Phrase ===
 {| class="wikitable sortable"
 ! eng-Latn-US: concept !! eng-Latn-US: prerequisite
@@ Line 419: / Line 419: @@
 |  ||
 |}
-=== Verb & Verb Phrase ===
-{| 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: предпосы́лка
-|-
-|  ||
-|  ||
-|  ||
-|  ||
-|  ||
-|  ||
-|  ||
-|  ||
-|}
 === Symbol ===
 {| class="wikitable sortable"