Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
| Line 67: | Line 67: | ||
|- | |- | ||
| absolute complement || complement (set theory), subset | | absolute complement || complement (set theory), subset | ||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| binary operation || element (mathematics) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| cardinality || set (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| codomain, set of destination || function (set theory), set (set theory) | |||
| || | | || | ||
| || | | || | ||
| Line 85: | Line 112: | ||
|- | |- | ||
| continuum (set theory) || real number <arithmetic> | | continuum (set theory) || real number <arithmetic> | ||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| countable set || subset, cardinality | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| domain (set theory), set of departure || function (set theory), set (set theory) | |||
| || | | || | ||
| || | | || | ||
| Line 103: | Line 148: | ||
|- | |- | ||
| empty set || set (set theory) | | empty set || set (set theory) | ||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| enumeration || set (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| extensionality, extensional equality || object (mathematics) | |||
| || | | || | ||
| || | | || | ||
| Line 112: | Line 175: | ||
|- | |- | ||
| finite set || element (set theory) | | finite set || element (set theory) | ||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| image (set theory) || function (set theory), set (set theory) | |||
| || | | || | ||
| || | | || | ||
| Line 121: | Line 193: | ||
|- | |- | ||
| intersection (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 | |||
| || | | || | ||
| || | | || | ||
| Line 130: | Line 238: | ||
|- | |- | ||
| proper subset || subset | | proper subset || subset | ||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| range (set theory) || codomain, image (set theory) | |||
| || | | || | ||
| || | | || | ||
| Line 166: | Line 283: | ||
|- | |- | ||
| superset || set (set theory) | | superset || set (set theory) | ||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| tuple || element (mathematics), sequence (mathecatics) | |||
| || | | || | ||
| || | | || | ||
| Line 175: | Line 301: | ||
|- | |- | ||
| union (set theory) || set (set theory) | | union (set theory) || set (set theory) | ||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| unordered pair, pair set || set (set theory) | |||
| || | | || | ||
| || | | || | ||
Revision as of 20:35, 11 October 2021
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 non-English languages 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 |
|---|---|---|---|---|