Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"

From Polyglot Club WIKI
Jump to navigation Jump to search
Line 394: Line 394:
|-
|-
| ⊂
| ⊂
| proper subset of; subset of
| subset of; proper subset of
|  
|  
|  
|  
Line 404: Line 404:
|-
|-
| ⊃
| ⊃
| proper superset of; superset of
| superset of; proper superset of
|
|
|
|
|
|
|
|-
| ⊆
| subset of
|
|
|
|
|
|
|
|-
| ⊇
| superset of
|  
|  
|  
|  
Line 414: Line 434:
|-
|-
| ⊄
| ⊄
| not subset of
| not subset of; not proper subset of
|  
|  
|  
|  
Line 424: Line 444:
|-
|-
| ⊅
| ⊅
| not superset of
| not superset of; not proper superset of
|  
|  
|  
|  
Line 433: Line 453:
|  
|  
|-
|-
| ⊈
| not subset of
|  
|  
|  
|  
|
|
|
|
|
|-
| ⊉
| not superset of
|  
|  
|  
|  

Revision as of 15:31, 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-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: предпосы́лка

Venn-AA up Blank.png

* 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-Hrkt-JP: がいねん jpn-Jpan-JP: 概念 rus-Cyrl-RU: конце́пция
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

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-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

-- AUTHOR --

GrimPixel