Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
Line 270: | Line 270: | ||
|- | |- | ||
| relation || set | | relation || set | ||
| | | 关系 || | ||
| guānxi || | | guānxi || | ||
| Relation [f] | | Relation [f] |
Revision as of 15:00, 20 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 | element | ||||||||||||||
cardinality | set | ||||||||||||||
codomain, set of destination | function; set | ||||||||||||||
complement | set | 补集 | bǔ jí | Komplement [n] | complémentaire [m] | 差集合 | さしゅうごう | ра́зность мно́жеств | |||||||
continuum | real number <arithmetic> | ||||||||||||||
countable set | subset; cardinality | ||||||||||||||
domain, set of departure | function; set | ||||||||||||||
element | object | ||||||||||||||
empty set | set | ||||||||||||||
enumeration | set | ||||||||||||||
extensionality, extensional equality | object | ||||||||||||||
finite set | element | ||||||||||||||
image | function; set | ||||||||||||||
intersection | set | ||||||||||||||
inverse image, preimage | codomain; subset | ||||||||||||||
object | |||||||||||||||
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.