Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
(→Symbol) |
|||
| Line 10: | Line 10: | ||
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | |||
! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| Line 58: | Line 58: | ||
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | |||
! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| Line 322: | Line 322: | ||
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | |||
! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| Line 343: | Line 343: | ||
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | |||
! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| Line 364: | Line 364: | ||
! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | |||
! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| Line 389: | Line 389: | ||
! deu-Latn-DE: Begriff [m] | ! deu-Latn-DE: Begriff [m] | ||
! fra-Latn-FR: concept [m] | ! fra-Latn-FR: concept [m] | ||
! jpn-Jpan-JP: 概念 | |||
! jpn-Hrkt-JP: がいねん | ! jpn-Hrkt-JP: がいねん | ||
! rus-Cyrl-RU: конце́пция | ! rus-Cyrl-RU: конце́пция | ||
|- | |- | ||
| Line 561: | Line 561: | ||
! deu-Latn-DE: Prozess [m] !! deu-Latn-DE: Bestandteil [m] | ! deu-Latn-DE: Prozess [m] !! deu-Latn-DE: Bestandteil [m] | ||
! fra-Latn-FR: procès [m] !! fra-Latn-FR: composant [m] | ! fra-Latn-FR: procès [m] !! fra-Latn-FR: composant [m] | ||
! jpn-Jpan-JP: 過程 !! jpn-Jpan-JP: 構材 | |||
! jpn-Hrkt-JP: かてい !! jpn-Hrkt-JP: こうざい | ! jpn-Hrkt-JP: かてい !! jpn-Hrkt-JP: こうざい | ||
! rus-Cyrl-RU: проце́сс !! rus-Cyrl-RU: соста́вная часть | ! rus-Cyrl-RU: проце́сс !! rus-Cyrl-RU: соста́вная часть | ||
|- | |- | ||
Revision as of 21:23, 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-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 *
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 |
|---|---|---|---|---|