Template:Mathematical logic: Difference between revisions
From Vigyanwiki
No edit summary |
m (5 revisions imported from alpha:Template:Mathematical_logic) |
||
| (3 intermediate revisions by one other user not shown) | |||
| Line 103: | Line 103: | ||
** [[सत्ता स्थापित]] | ** [[सत्ता स्थापित]] | ||
** [[सेट पहचान और संबंधों की सूची | पहचान]] | ** [[सेट पहचान और संबंधों की सूची | पहचान]] | ||
| group3 =[[सेट (गणित) | सेट] के प्रकार | | group3 =[[सेट (गणित) | सेट]] के प्रकार | ||
| list3 =* [[काउंटेबल सेट | काउंट करने योग्य]] | | list3 =* [[काउंटेबल सेट | काउंट करने योग्य]] | ||
* [[बेशुमार सेट | बेशुमार]] | * [[बेशुमार सेट | बेशुमार]] | ||
| Line 218: | Line 218: | ||
** [[स्कोलेम अंकगणित | स्कोलम]] | ** [[स्कोलेम अंकगणित | स्कोलम]] | ||
* [[वास्तविक संख्याओं का निर्माण | वास्तविक संख्या]] | * [[वास्तविक संख्याओं का निर्माण | वास्तविक संख्या]] | ||
** [[टार्स्की का स्वयंसिद्धता का | ** [[टार्स्की का स्वयंसिद्धता का रियल]] | ||
* [[बूलियन बीजगणित का स्वयंसिद्धकरण | बूलियन बीजगणित]] | * [[बूलियन बीजगणित का स्वयंसिद्धकरण | बूलियन बीजगणित]] | ||
** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित | कैनोनिकल]] | ** [[बूलियन बीजगणित कैनोनिक रूप से परिभाषित | कैनोनिकल]] | ||
| Line 281: | Line 281: | ||
| list100 =* [[चर्च एन्कोडिंग]] | | list100 =* [[चर्च एन्कोडिंग]] | ||
* [[चर्च -ट्र्यूरिंग थीसिस]] | * [[चर्च -ट्र्यूरिंग थीसिस]] | ||
* [[कम्प्यूटरीली एन्यूमरेबल सेट | * [[कम्प्यूटरीली एन्यूमरेबल सेट ]] | ||
* [[कम्प्यूटेबल फ़ंक्शन]] | * [[कम्प्यूटेबल फ़ंक्शन]] | ||
* [[कम्प्यूटेबल सेट]] | * [[कम्प्यूटेबल सेट]] | ||
Latest revision as of 21:54, 22 February 2023
Lua error in Module:TNT at line 182: Missing Commons dataset I18n/Module:TNT.tab.[[Category:Template documentation pages{{#translation:}}]]
