The object of research, development or design (in Russian) : Свойства теорий при их обогащении

The object of research, development or design (in Kazakh) : Теориялардың байытылған кездегі қасиеттері

Aim of work (in Russian) : Защита диссертации PhD руководителя проекта. Установить условия для классов NIP теорий или (и) для предикатов, при которых обогащение моделей данных теорий унарными и (или) бинарными предикатами, не влечет изменение свойств исходной теории

Aim of work (in Kazakh) : Жоба жетекшісінің кандидаттық диссертациясын қорғау. Осы теориялардың үлгілерін унарлы және (немесе) екілік предикаттармен байыту бастапқы теорияның қасиеттерін өзгертуге әкеп соқпайтын NIP теорияларының сыныптары және (және) предикаттар үшін шарттарды белгілеу.

Методы исследования (на русском) : В проекте используется теория типов для стабильных теорий, фи-ранги формул для стабильных теорий, ранги выпуклости для упорядоченных теорий. При исследовании обогащения прежде всего необходимо описывать новые формулы, которые появляются в результате рассмотрения пси-типа над множеством определяемым новым предикатом.

Методы исследования (на казахском) : Жобада тұрақты теориялар үшін типтер теориясы, тұрақты теориялар үшін формулалардың phi-рангтары, реттелген теориялар үшін дөңестік дәрежелері қолданылады. Байытуды зерттегенде, ең алдымен, жаңа предикатпен анықталған жиынның үстінде psi-түрін қарастыру нәтижесінде пайда болатын жаңа формулаларды сипаттау қажет.

Obtained results and novelty (in Russian) : Защищена диссертация PhD постдокторанта, окончившего полный курс программы докторантуры. По итогам реализации научного проекта за весь период реализации проекта постдокторантом были получены следующие результаты: 1. Были исследованы суперстабильные теории при обогащении тип определимым унарным (бинарным) предикатом; 2. Были исследованы стабильные теории при обогащении тип определимым унарным (бинарным) предикатом; 3. Были исследованы упорядоченные теории при обогащении тип определимым унарным (бинарным) предикатом; 4. Были найдены достаточные условия сохранения (упорядоченной) стабильности теории при обогащении тип определимым множеством.

Obtained results and novelty (in Kazakh) : PhD диссертациясын докторантураның толық курсын аяқтаған постдокторант қорғады. Жобаның барлық кезеңіндегі ғылыми жобаның нәтижелері бойынша постдокторант келесі нәтижелерге қол жеткізді: 1. Типті анықталатын унарлық (екілік) предикатпен байыту арқылы супертұрақты теориялар зерттелді; 2. Тұрақты теориялар типті анықталатын унарлық (екілік) предикатпен байыту арқылы зерттелді; 3. Типті анықталатын унарлық (екілік) предикатпен байыту арқылы реттелген теориялар зерттелді; 4. Типті анықталатын жиынтықпен байытқанда теорияның тұрақтылығын (реттелген) сақтаудың жеткілікті шарттары табылды.

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) : Математическая логика. Теория моделей. Стабильные и упорядоченные структуры.

Field of application (in Kazakh) : Математикалық логика. Модельдік теория. Тұрақты және реттелген құрылымдар.