Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
(→Symbol) |
|||
| Line 394: | Line 394: | ||
|- | |- | ||
| ⊂ | | ⊂ | ||
| | | subset of; proper subset of | ||
| | | | ||
| | | | ||
| Line 404: | Line 404: | ||
|- | |- | ||
| ⊃ | | ⊃ | ||
| proper superset of | | superset of; proper superset of | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |||
| ⊆ | |||
| subset of | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |||
| ⊇ | |||
| superset of | |||
| | | | ||
| | | | ||
| Line 414: | Line 434: | ||
|- | |- | ||
| ⊄ | | ⊄ | ||
| not subset of | | not subset of; not proper subset of | ||
| | | | ||
| | | | ||
| Line 424: | Line 444: | ||
|- | |- | ||
| ⊅ | | ⊅ | ||
| not superset of | | not superset of; not proper superset of | ||
| | | | ||
| | | | ||
| Line 433: | Line 453: | ||
| | | | ||
|- | |- | ||
| ⊈ | |||
| not subset of | |||
| | | | ||
| | | | ||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |||
| ⊉ | |||
| not superset of | |||
| | | | ||
| | | | ||
Revision as of 15:31, 15 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-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: предпосы́лка |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
* Appendix *
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-Hrkt-JP: がいねん | jpn-Jpan-JP: 概念 | rus-Cyrl-RU: конце́пция |
|---|---|---|---|---|---|---|---|---|
| ⊂ | 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 |
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-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 |
|---|---|---|---|---|