Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
| Line 9: | Line 9: | ||
{| class="wikitable" | {| class="wikitable" | ||
!eng-Latn-US: concept | !eng-Latn-US: concept !!eng-Latn-US: prerequisite | ||
!eng-Latn-US: prerequisite | !cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ||
!cmn-Hans-CN: 概念 | !cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ||
!cmn-Hans-CN: 前提 | !deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ||
!cmn-Latn.Pinyin-CN: gàiniàn | !fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ||
!cmn-Latn.Pinyin-CN: qiántí | !jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ||
!deu-Latn-DE: Begriff [m] | !jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ||
!deu-Latn-DE: Voraussetzung [f] | !rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ||
!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 | |set theory || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |- | ||
|proof theory | |proof theory | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |- | ||
|model theory | |model theory | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |- | ||
|computability theory, recursion theory | |computability theory, recursion theory | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|} | |} | ||
== Set Theory == | == Set Theory == | ||
{| class="wikitable" | {| class="wikitable" | ||
!eng-Latn-US: concept | !eng-Latn-US: concept !!eng-Latn-US: prerequisite | ||
!eng-Latn-US: prerequisite | !cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ||
!cmn-Hans-CN: 概念 | !cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ||
!cmn-Hans-CN: 前提 | !deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ||
!cmn-Latn.Pinyin-CN: gàiniàn | !fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ||
!cmn-Latn.Pinyin-CN: qiántí | !jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ||
!deu-Latn-DE: Begriff [m] | !jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ||
!deu-Latn-DE: Voraussetzung [f] | !rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ||
!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: предпосы́лка | |||
|- | |- | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|} | |} | ||
== Proof Theory == | == Proof Theory == | ||
{| class="wikitable" | {| class="wikitable" | ||
!eng-Latn-US: concept | !eng-Latn-US: concept !!eng-Latn-US: prerequisite | ||
!eng-Latn-US: prerequisite | !cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ||
!cmn-Hans-CN: 概念 | !cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ||
!cmn-Hans-CN: 前提 | !deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ||
!cmn-Latn.Pinyin-CN: gàiniàn | !fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ||
!cmn-Latn.Pinyin-CN: qiántí | !jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ||
!deu-Latn-DE: Begriff [m] | !jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ||
!deu-Latn-DE: Voraussetzung [f] | !rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ||
!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 == | == Model Theory == | ||
{| class="wikitable" | {| class="wikitable" | ||
!eng-Latn-US: concept | !eng-Latn-US: concept !!eng-Latn-US: prerequisite | ||
!eng-Latn-US: prerequisite | !cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ||
!cmn-Hans-CN: 概念 | !cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ||
!cmn-Hans-CN: 前提 | !deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ||
!cmn-Latn.Pinyin-CN: gàiniàn | !fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ||
!cmn-Latn.Pinyin-CN: qiántí | !jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ||
!deu-Latn-DE: Begriff [m] | !jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ||
!deu-Latn-DE: Voraussetzung [f] | !rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ||
!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: предпосы́лка | |||
|- | |- | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|} | |} | ||
| Line 209: | Line 121: | ||
== Computability Theory / Recursion Theory == | == Computability Theory / Recursion Theory == | ||
{| class="wikitable" | {| class="wikitable" | ||
!eng-Latn-US: concept | !eng-Latn-US: concept !!eng-Latn-US: prerequisite | ||
!eng-Latn-US: prerequisite | !cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ||
!cmn-Hans-CN: 概念 | !cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ||
!cmn-Hans-CN: 前提 | !deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ||
!cmn-Latn.Pinyin-CN: gàiniàn | !fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ||
!cmn-Latn.Pinyin-CN: qiántí | !jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ||
!deu-Latn-DE: Begriff [m] | !jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ||
!deu-Latn-DE: Voraussetzung [f] | !rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ||
!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: предпосы́лка | |||
|- | |- | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | | || | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|} | |} | ||
Revision as of 10:57, 4 October 2021
This is a part of the Sci-Tech Index, a project for science and technology learners.
You can see the titles are a bit of weird. They are going to be read by machine and made use of by other means.
“Prerequisites” for non-English languages are to be generated through programs, so they are kept empty.
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: предпосы́лка |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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: предпосы́лка |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
* Related Free Educational Resources
| branch | name | link | language | public license |
|---|---|---|---|---|