Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
(→Symbol) |
|||
| Line 62: | Line 62: | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| absolute complement || complement (set theory) | | absolute complement || complement (set theory); subset | ||
| || | | || | ||
| || | | || | ||
| Line 89: | Line 89: | ||
| || | | || | ||
|- | |- | ||
| codomain, set of destination || function (set theory) | | codomain, set of destination || function (set theory); set (set theory) | ||
| || | | || | ||
| || | | || | ||
| Line 116: | Line 116: | ||
| || | | || | ||
|- | |- | ||
| countable set || subset | | countable set || subset; cardinality | ||
| || | | || | ||
| || | | || | ||
| Line 125: | Line 125: | ||
| || | | || | ||
|- | |- | ||
| domain (set theory), set of departure || function (set theory) | | domain (set theory), set of departure || function (set theory); set (set theory) | ||
| || | | || | ||
| || | | || | ||
| Line 179: | Line 179: | ||
| || | | || | ||
|- | |- | ||
| image (set theory) || function (set theory) | | image (set theory) || function (set theory); set (set theory) | ||
| || | | || | ||
| || | | || | ||
| Line 197: | Line 197: | ||
| || | | || | ||
|- | |- | ||
| inverse image (set theory), preimage || codomain | | inverse image (set theory), preimage || codomain; subset | ||
| || | | || | ||
| || | | || | ||
| Line 224: | Line 224: | ||
| || | | || | ||
|- | |- | ||
| power set, powerset || subset | | power set, powerset || subset; empty set | ||
| || | | || | ||
| || | | || | ||
| Line 242: | Line 242: | ||
| || | | || | ||
|- | |- | ||
| range (set theory) || codomain | | range (set theory) || codomain; image (set theory) | ||
| || | | || | ||
| || | | || | ||
| Line 251: | Line 251: | ||
| || | | || | ||
|- | |- | ||
| relative complement || complement (set theory) | | relative complement || complement (set theory); subset | ||
| || | | || | ||
| || | | || | ||
| Line 287: | Line 287: | ||
| || | | || | ||
|- | |- | ||
| tuple || element (mathematics) | | tuple || element (mathematics); sequence (mathecatics) | ||
| || | | || | ||
| || | | || | ||
Revision as of 14:43, 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: конце́пция |
|---|---|---|---|---|---|---|---|---|
| ⊂ | proper subset of; subset of | |||||||
| ⊃ | proper superset of; 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 |
|---|---|---|---|---|