मोस्को शैक्षणिक राज्य विश्वविद्यालय

गणितीय तर्क, बीजगणित, संख्या सिद्धांत और विभाजित गणित - गणित के विभाग जो पूर्ण संख्याओं और उनके सामान्यीकरणों के गुणों, बीजगणितीय संरचनाओं, गणितीय सिद्धांतों, उनके मॉडलों और एल्गोरिदमिक प्रक्रियाओं के सामान्य निर्माण का अध्ययन करते हैं। बीजगणित में अमूर्त सेटों का अध्ययन किया जाता है जिन पर निर्धारित संचालन और संबंध होते हैं। गणितीय तर्क में, औपचारिक गणितीय सिद्धांतों के वाक्य रचना और अर्थ गुणों और उनके अर्थ मॉडलों के संरचनात्मक गुणों का अध्ययन किया जाता है। संख्या सिद्धांत में, गणितीय वस्तुओं के अंकगणितीय गुणों की जांच की जाती है।