Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
Line 11: | Line 11: | ||
! 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-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 20: | Line 20: | ||
| théorie [f] des ensembles || | | théorie [f] des ensembles || | ||
| 集合論 || | | 集合論 || | ||
| | | しゅ+うご-うろん || | ||
| тео́рия мно́жеств || | | тео́рия мно́жеств || | ||
|- | |- | ||
Line 29: | Line 29: | ||
| théorie [f] de la démonstration, théorie [f] de la preuve || | | théorie [f] de la démonstration, théorie [f] de la preuve || | ||
| 証明論 || | | 証明論 || | ||
| | | しょ+うめ-いろん || | ||
| тео́рия доказа́тельств || | | тео́рия доказа́тельств || | ||
|- | |- | ||
Line 68: | Line 68: | ||
! 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-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
! jpn-Hrkt-JP: | ! jpn-Hrkt-JP: が-いねん !! jpn-Hrkt-JP: ぜ+んたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
Line 431: | Line 431: | ||
! 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-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
! jpn-Hrkt-JP: | ! jpn-Hrkt-JP: が-いねん !! jpn-Hrkt-JP: ぜ+んたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
Line 452: | Line 452: | ||
! 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-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
! jpn-Hrkt-JP: | ! jpn-Hrkt-JP: が-いねん !! jpn-Hrkt-JP: ぜ+んたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
Line 473: | Line 473: | ||
! 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-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
! jpn-Hrkt-JP: | ! jpn-Hrkt-JP: が-いねん !! jpn-Hrkt-JP: ぜ+んたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
Line 497: | Line 497: | ||
! 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-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
! jpn-Hrkt-JP: | ! jpn-Hrkt-JP: が-いねん !! jpn-Hrkt-JP: ぜ+んたい | ||
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
Line 519: | Line 519: | ||
! fra-Latn-FR: concept [m] | ! fra-Latn-FR: concept [m] | ||
! jpn-Jpan-JP: 概念 | ! jpn-Jpan-JP: 概念 | ||
! jpn-Hrkt-JP: | ! jpn-Hrkt-JP: が-いねん | ||
! rus-Cyrl-RU: конце́пция | ! rus-Cyrl-RU: конце́пция | ||
|- | |- |
Revision as of 14:38, 22 November 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 | 集合论 | jíhé lùn | Mengenlehre [f] | théorie [f] des ensembles | 集合論 | しゅ+うご-うろん | тео́рия мно́жеств | ||||||||
proof theory | 证明论 | zhèngmíng lùn | Beweistheorie [f] | théorie [f] de la démonstration, théorie [f] de la preuve | 証明論 | しょ+うめ-いろん | тео́рия доказа́тельств | ||||||||
model theory | 模型论 | móxíng lùn | Modelltheorie [f] | théorie [f] des modèles | モデル理論 | モデルりろん | тео́рия моде́лей | ||||||||
computability theory, recursion theory | 可计算性理论 | kějìsuànxìng lǐlùn | Berechenbarkeitstheorie [f], Rekursionstheorie [f] | théorie [f] de la calculabilité | 計算可能性理論 | けいさんかのうせいりろん | тео́рия вычисли́мости | ||||||||
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; subset | |||||||||||||||
binary operation, dyadic operation | operation | 二元运算 | èryuán yùnsuàn | zweistellige Verknüpfung, binäre Verknüpfung | ||||||||||||
binary relation | relation | 二元关系 | èryuán guānxi | binäre Relation | relation [f] binaire | |||||||||||
cardinality | set | |||||||||||||||
cardinal number | cardinality | |||||||||||||||
codomain, set of destination | function; set | |||||||||||||||
complement | set | 补集 | bǔ jí | Komplement [n] | complémentaire [m] | 差集合 | さしゅうごう | ра́зность мно́жеств | ||||||||
continuum | cardinal number | |||||||||||||||
countable set | subset; cardinality | |||||||||||||||
domain, set of departure | function; set | |||||||||||||||
element | object | |||||||||||||||
empty set | set | |||||||||||||||
enumeration | set | |||||||||||||||
equality | 相等 | xiāng děng | Gleichheit [f] | égalité [f] | ||||||||||||
expression | digit; symbol | 表达式, 表示式, 运算式 | biǎodá shì, biǎoshì shì, yùnsuàn shì | Ausdruck [m] | expression [f] | |||||||||||
extensionality, extensional equality | object | |||||||||||||||
finite set | element | |||||||||||||||
function | binary relation; set | 函数 | hán shù | Funktion [f] | fonction [f] | |||||||||||
image | function; set | |||||||||||||||
inequality | equality | 不等 | bù děng | Ungleichheit [f] | inégalité [f] | |||||||||||
intersection | set | |||||||||||||||
inverse image, preimage | codomain; subset | |||||||||||||||
object | ||||||||||||||||
operand | operation | 运算数, 运算元 | yùnsuàn shù, yùnsuàn yuán | operand [m] | ||||||||||||
operation | 运算 | yùnsuàn | Verknüpfung | |||||||||||||
map | function | |||||||||||||||
ordered pair | object | |||||||||||||||
power set, powerset | subset; empty set | |||||||||||||||
proper subset | subset | |||||||||||||||
range | codomain; image | |||||||||||||||
relation | set | 关系 | guānxi | Relation [f] | ||||||||||||
relative complement | complement; subset | |||||||||||||||
set | element | |||||||||||||||
subset | set | |||||||||||||||
superset | set | |||||||||||||||
tuple | element; sequence | |||||||||||||||
union | set | |||||||||||||||
unordered pair, pair set | set | |||||||||||||||
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 *
Adjective & Adjective Phrase; Verb & Verb Phrase
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: предпосы́лка |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Symbol
Set Theory
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 | |||||||
a, b, c, ... | element | |||||||
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 |
---|---|---|---|---|
Unmaintained! Moved to a Codeberg repository. Use Foam with VSCodium to visualise the content.