Difference between revisions of "Language/Multiple-languages/Vocabulary/Mathematical-Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
(Created page with "Category:Sci-Tech_Index 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...") |
|||
| Line 26: | Line 26: | ||
!rus-Cyrl-RU: предпосы́лка | !rus-Cyrl-RU: предпосы́лка | ||
|- | |- | ||
|set theory | |||
| | | | ||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |||
|proof theory | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |||
|model theory | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
| | |||
|- | |||
|computability theory, recursion theory | |||
| | | | ||
| | | | ||
Revision as of 19:45, 1 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 |
|---|---|---|---|---|