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

From Polyglot Club WIKI
Jump to navigation Jump to search
Line 1: Line 1:
[[Category:Sci–Tech_Index]]
[[Category:Sci–Tech_Index]]
<div style="float:right;>{{Sci-Tech-Index-Menu}}</div>
This is a part of the [https://polyglotclub.com/wiki/Language/Multiple-languages/Culture/Introduction-to-Sci%E2%80%93Tech-Index Sci–Tech Index], a project for science and technology learners.
This is a part of the [https://polyglotclub.com/wiki/Language/Multiple-languages/Culture/Introduction-to-Sci%E2%80%93Tech-Index Sci–Tech Index], a project for science and technology learners.


In progress.
In progress.


<div style="float:right;>{{Sci-Tech-Index-Menu}}</div>
{| class="wikitable"
{| class="wikitable"
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! eng-Latn-US: concept !! eng-Latn-US: prerequisite

Revision as of 12:26, 23 October 2021

This is a part of the Sci–Tech Index, a project for science and technology learners.

In progress.

Unmaintained! Moved to a Codeberg repository. Use Foam with VSCodium to visualise the content.
Sci–Tech Index

40px-3-4.svg.png Introduction

Philosophy

40px-1-4.svg.png Logic

40px-0-4.svg.png Metaphysics

Mathematics

40px-2-4.svg.png Mathematical Logic

40px-0-4.svg.png Category Theory


40px-2-4.svg.png Number Theory


40px-1-4.svg.png Algebra


40px-1-4.svg.png Geometry


40px-1-4.svg.png Probability Theory

40px-1-4.svg.png Statistics

40px-1-4.svg.png Information Theory


40px-1-4.svg.png Mathematical Analysis


40px-1-4.svg.png Topology

40px-1-4.svg.png Discrete Mathematics


40px-1-4.svg.png Computational Science

Physics

40px-1-4.svg.png Mechanics

└ 40px-1-4.svg.png Structural Analysis

└ 40px-1-4.svg.png Tribology

40px-1-4.svg.png Thermodynamics


40px-1-4.svg.png Optics


40px-1-4.svg.png Acoustics


40px-1-4.svg.png Electromagnetism

40px-1-4.svg.png Electronic Component


40px-0-4.svg.png Metrology

└ 40px-1-4.svg.png Unit of Measurement


40px-0-4.svg.png Particle Physics

Biology

40px-1-4.svg.png Cell Biology

Chemistry

40px-1-4.svg.png Chemical Element

40px-0-4.svg.png Material Science

└ 40px-0-4.svg.png Metallurgy

40px-0-4.svg.png Computer Science
40px-1-4.svg.png Technical Drawing
Mechanical Engineering

40px-0-4.svg.png Mechanism

40px-1-4.svg.png Machine Element

40px-1-4.svg.png Metalworking


40px-0-4.svg.png Hydraulics and Pneumatics


40px-1-4.svg.png Theory of Inventive Problem Solving

Software Engineering

40px-1-4.svg.png Computer Language

Systems Science

40px-0-4.svg.png Chaos Theory

40px-0-4.svg.png Cybernetics

└ 40px-0-4.svg.png Control Theory

40px-0-4.svg.png Robotics

40px-0-4.svg.png Anthropology

40px-0-4.svg.png Psychology
40px-0-4.svg.png Linguistics

Sci–Tech Index is under the CC BY 4.0 license

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: предпосы́лка

Venn-AA up Blank.png

* Appendix *

Adjective & Adjective 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: предпосы́лка

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

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

Unmaintained! Moved to a Codeberg repository. Use Foam with VSCodium to visualise the content.

Sci–Tech Index

40px-3-4.svg.png Introduction

Philosophy

40px-1-4.svg.png Logic

40px-0-4.svg.png Metaphysics

Mathematics

40px-2-4.svg.png Mathematical Logic

40px-0-4.svg.png Category Theory


40px-2-4.svg.png Number Theory


40px-1-4.svg.png Algebra


40px-1-4.svg.png Geometry


40px-1-4.svg.png Probability Theory

40px-1-4.svg.png Statistics

40px-1-4.svg.png Information Theory


40px-1-4.svg.png Mathematical Analysis


40px-1-4.svg.png Topology

40px-1-4.svg.png Discrete Mathematics


40px-1-4.svg.png Computational Science

Physics

40px-1-4.svg.png Mechanics

└ 40px-1-4.svg.png Structural Analysis

└ 40px-1-4.svg.png Tribology

40px-1-4.svg.png Thermodynamics


40px-1-4.svg.png Optics


40px-1-4.svg.png Acoustics


40px-1-4.svg.png Electromagnetism

40px-1-4.svg.png Electronic Component


40px-0-4.svg.png Metrology

└ 40px-1-4.svg.png Unit of Measurement


40px-0-4.svg.png Particle Physics

Biology

40px-1-4.svg.png Cell Biology

Chemistry

40px-1-4.svg.png Chemical Element

40px-0-4.svg.png Material Science

└ 40px-0-4.svg.png Metallurgy

40px-0-4.svg.png Computer Science
40px-1-4.svg.png Technical Drawing
Mechanical Engineering

40px-0-4.svg.png Mechanism

40px-1-4.svg.png Machine Element

40px-1-4.svg.png Metalworking


40px-0-4.svg.png Hydraulics and Pneumatics


40px-1-4.svg.png Theory of Inventive Problem Solving

Software Engineering

40px-1-4.svg.png Computer Language

Systems Science

40px-0-4.svg.png Chaos Theory

40px-0-4.svg.png Cybernetics

└ 40px-0-4.svg.png Control Theory

40px-0-4.svg.png Robotics

40px-0-4.svg.png Anthropology

40px-0-4.svg.png Psychology
40px-0-4.svg.png Linguistics

Sci–Tech Index is under the CC BY 4.0 license

-- AUTHOR --

GrimPixel

Retrieved from "https://polyglotclub.com/wiki/index.php?title=Language/Multiple-languages/Vocabulary/Mathematical-Logic&oldid=113271"