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: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
!cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
!cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí | ||
!deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
!fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
!jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
!jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
!rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ! 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: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
!cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
!cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí | ||
!deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
!fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
!jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
!jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
!rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
|} | |} | ||
== Proof Theory == | == Proof Theory == | ||
{| class="wikitable" | {| class="wikitable" | ||
!eng-Latn-US: concept !!eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
!cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
!cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí | ||
!deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
!fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
!jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
!jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
!rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
|} | |} | ||
== Model Theory == | == Model Theory == | ||
{| class="wikitable" | {| class="wikitable" | ||
!eng-Latn-US: concept !!eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
!cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
!cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí | ||
!deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
!fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
!jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
!jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
!rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
|} | |} | ||
| Line 121: | Line 121: | ||
== Computability Theory / Recursion Theory == | == Computability Theory / Recursion Theory == | ||
{| class="wikitable" | {| class="wikitable" | ||
!eng-Latn-US: concept !!eng-Latn-US: prerequisite | ! eng-Latn-US: concept !! eng-Latn-US: prerequisite | ||
!cmn-Hans-CN: 概念 !!cmn-Hans-CN: 前提 | ! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提 | ||
!cmn-Latn.Pinyin-CN: gàiniàn !!cmn-Latn.Pinyin-CN: qiántí | ! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí | ||
!deu-Latn-DE: Begriff [m] !!deu-Latn-DE: Voraussetzung [f] | ! deu-Latn-DE: Begriff [m] !! deu-Latn-DE: Voraussetzung [f] | ||
!fra-Latn-FR: concept [m] !!fra-Latn-FR: préalable [m] | ! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m] | ||
!jpn-Hrkt-JP: がいねん !!jpn-Hrkt-JP: ぜんたい | ! jpn-Hrkt-JP: がいねん !! jpn-Hrkt-JP: ぜんたい | ||
!jpn-Jpan-JP: 概念 !!jpn-Jpan-JP: 前提 | ! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提 | ||
!rus-Cyrl-RU: конце́пция !!rus-Cyrl-RU: предпосы́лка | ! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
| || | | || | ||
|} | |} | ||
| Line 144: | Line 144: | ||
== * Related Free Educational Resources == | == * Related Free Educational Resources == | ||
{| class="wikitable" | {| class="wikitable" | ||
!branch | ! branch | ||
!name | ! name | ||
!link | ! link | ||
!language | ! language | ||
!public license | ! public license | ||
|- | |- | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
|} | |} | ||
== <div style="color:#ffad00; font-weight:bold;">-- AUTHOR --</div> == | == <div style="color:#ffad00; font-weight:bold;">-- AUTHOR --</div> == | ||
[https://polyglotclub.com/member/GrimPixel GrimPixel] | [https://polyglotclub.com/member/GrimPixel GrimPixel] | ||
Revision as of 18:46, 5 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 |
|---|---|---|---|---|