Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
| Line 66: | Line 66: | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| absolute complement || complement (set theory), subset | |||
| || | | || | ||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| complement (set theory) || set (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| continuum (set theory) || real number <arithmetic> | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| element (set theory) || object (mathematics) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| empty set || set (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| finite set || element (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| intersection (set theory) || set (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| proper subset || subset | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| relative complement || complement (set theory), subset | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| set (set theory) || element (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| subset || set (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| superset || set (set theory) | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
| || | |||
|- | |||
| union (set theory) || set (set theory) | |||
| || | | || | ||
| || | | || | ||
Revision as of 14:45, 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 | ||||||||||||||
| complement (set theory) | set (set theory) | ||||||||||||||
| continuum (set theory) | real number <arithmetic> | ||||||||||||||
| element (set theory) | object (mathematics) | ||||||||||||||
| empty set | set (set theory) | ||||||||||||||
| finite set | element (set theory) | ||||||||||||||
| intersection (set theory) | set (set theory) | ||||||||||||||
| proper subset | subset | ||||||||||||||
| relative complement | complement (set theory), subset | ||||||||||||||
| set (set theory) | element (set theory) | ||||||||||||||
| subset | set (set theory) | ||||||||||||||
| superset | set (set theory) | ||||||||||||||
| union (set theory) | 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 |
|---|---|---|---|---|