The object of research, development or design (in Russian) : модели логики предикатов и их теории

The object of research, development or design (in Kazakh) : предикаттар логикасының модельдері және олардың теориялары

Aim of work (in Russian) : исследование алгоритмических и структурных свойств моделей логики первого порядка и их теорий

Aim of work (in Kazakh) : бірінші ретті логика модельдерінің алгоритмдік және құрылымдық қасиеттерін және олардың теорияларын зерттеу

Методы исследования (на русском) : методы математической логики

Методы исследования (на казахском) : математикалық логика әдістері

Obtained results and novelty (in Russian) : исследованы структурные свойства теорий, связанные с понятием теоретико-модельного свойства, исследованы свойства виртуальных изоморфизмов между исчислениями предикатов и универсальными теориями, изучены свойства однородных моделей малой степени однородности, исследован подход к нормальному определению о-минимальных теорий, рассмотрено понятие творческого начала в логическом программировании, найдена характеризация глобальной структуры исчисления предикатов первого порядка над финитарным и инфинитарным семантическими слоями, получено решение обобщённой проблемы Тарского и общего вопроса о выразительной силе логики первого порядка; результаты новые

Obtained results and novelty (in Kazakh) : модель-теоретикалық қасиет ұғымына байланысты теориялардың құрылымдық қасиеттері зерттелген, предикаттар қисаптары мен әмбебап теориялар арасындағы виртуалды изоморфизмдердің қасиеттері зерттелген, біртектіліктің төмен деңгей біртекті модельдерінің қасиеттері зерттелген, о-минималды теориялардың қалыпты анықтамасына көзқарас зерттелген, логикалық бағдарламалаудағы шығармашылық ұғымы қарастырылған, финитарлы және инфинитарлы семантикалық қабаттар үстіндегі бірінші ретті предикаттар есебінің ғаламдық құрылымының сипаттамасын табылған, жалпыланған Тарский есебінің шешімі және бірінші ретті логиканың экспрессивтік күші туралы жалпы сұрақтың шешімі алынған; нәтижелер жаңа

The main constructive and technical economic indicators (in Russian) : получен комплекс результатов развивающих существующие представления об алгоритмической природе и структурных свойствах моделей логики первого порядка и их теориях

The main constructive and technical economic indicators (in Kazakh) : алгоритмдік табиғат және бірінші ретті логика модельдерінің құрылымдық қасиеттері және олардың теориялары туралы қазіргі бар түсініктерді дамытатын нәтижелер кешені алынған

Level of implementation (in Russian) : не внедрено

Level of implementation (in Kazakh) : енгізілмген

Efficiency (in Russian) : не определено

Efficiency (in Kazakh) : белгісіз

Field of application (in Russian) : результаты представляют новые знания, они могут использоваться для обучения студентов и PhD и в дальнейших научных исследованиях

Field of application (in Kazakh) : нәтижелер жана білімді ұсынып жатыр, олар студенттерді және PhD окыту үшін және онан әрі ғылыми зерттеулерде қолдана алады