Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
Line 4: | Line 4: | ||
In progress. | In progress. | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
Line 61: | Line 61: | ||
== Set Theory == | == Set Theory == | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
Line 334: | Line 334: | ||
== Proof Theory == | == Proof Theory == | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
Line 355: | Line 355: | ||
== Model Theory == | == Model Theory == | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
Line 376: | Line 376: | ||
== Computability Theory / Recursion Theory == | == Computability Theory / Recursion Theory == | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
Line 400: | Line 400: | ||
== * Appendix * == | == * Appendix * == | ||
=== Adjective & Adjective Phrase === | === Adjective & Adjective Phrase === | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
Line 421: | Line 421: | ||
=== Verb & Verb Phrase === | === Verb & Verb Phrase === | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
Line 442: | Line 442: | ||
=== Symbol === | === Symbol === | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! symbol | ! symbol | ||
! eng-Latn-US: concept | ! eng-Latn-US: concept | ||
Line 625: | Line 625: | ||
=== Process === | === Process === | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! eng-Latn-US: process !! eng-Latn-US: constituent | ! eng-Latn-US: process !! eng-Latn-US: constituent | ||
! cmn-Hans-CN: 过程 !! cmn-Hans-CN: 构件 | ! cmn-Hans-CN: 过程 !! cmn-Hans-CN: 构件 | ||
Line 646: | Line 646: | ||
=== Related Free Educational Resources === | === Related Free Educational Resources === | ||
{| class="wikitable" | {| class="wikitable sortable" | ||
! branch | ! branch | ||
! name | ! name |
Revision as of 18:57, 25 October 2021
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 | |||||||||||||||
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-Jpan-JP: 概念 | jpn-Jpan-JP: 前提 | jpn-Hrkt-JP: がいねん | jpn-Hrkt-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-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
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: предпосы́лка |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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.