Жеке автор: Викентьев А. А.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 46-50

МҒТАР: 27.47.17

Негізгі сөздер: ЛОГИКА МАТЕМАТИЧЕСКАЯ, ВЫСКАЗЫВАНИЯ ЭКСПЕРТОВ, ИНФОРМАТИВНОСТЬ ВЫСКАЗЫВАНИЙ, РАНЖИРОВАНИя ВЫСКАЗЫВАНИЙ, функции информативности, АЛГЕБРы БУЛЕВые,

Реферат: Рассматриваются логические высказывания экспертов и предлагаются способы введения на них расстояний. Использован естественный модельный подход, предложенный Г. Кейслером и Ч. Чэном. На выведенном классе моделей исчесления высказываний каждая формула задае

Жеке автор: Ешкеев А. Р., Мустафин Т. Г.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 51-57

МҒТАР: 27.17.23

Негізгі сөздер: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЙОНСОНОВСКАЯ ТЕОРИЯ, ЙОНСОНОВСКИЙ УНИВЕРСАЛ УНАРОВ,

Реферат: Сформулирована и доказана теорема (основная теорема): 1) Каждый йонсоновский универсал унаров (й.у.у.) имеет характеристику. 2) Для любой характеристики n существует й.у.у., имеющий характеристику n. 3) Два й.у.у. равны тогда и только тогда, когда их хара

Жеке автор: Ешкеев А. Р., Мустафин Т. Г.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 58-61

МҒТАР: 27.17.23

Негізгі сөздер: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЙОНСОНВСКИЕ ПРИМИТИВЫ УНАРОВ,

Реферат: В силу теоремы Морли, Воота произвольная йонсоновская теория (Т) имеет Т-универсальную, Т - однородную модель в некоторой сильно недостижимой мощности. Рассмотрена элементарная модель Т"*". Даны определения по Т.Г.Мустафину семантической модели йонсоновск

Жеке автор: Кулпешов Б. Ш.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 61-67

МҒТАР: 27.17.21

Негізгі сөздер: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЛИНЕЙНО УПОРЯДОЧЕННАЯ СТРУКТУРА, СЛАБАЯ 0-МИНИМАЛЬНОСТЬ, ВЫПУКЛОЕ МНОЖЕСТВО,

Реферат: Получен критерий слабой 0-минимальности линейно упорядоченной структуры. Для решения задачи введены обозначения и даны определения выпуклого множества, слабо 0-минимальной линейно упорядоченной структуры, сечения С в упорядоченной структуре М. Доказаны не

Жеке автор: Мустафин Т. Г., Нуркайдаров Е. С.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 67-73

МҒТАР: 27.17.23

Негізгі сөздер: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЙОНСОНОВСКИЕ ТЕОРИИ, ПОЛИГОНЫ НАД ГРУППОЙ,

Реферат: Пусть А - непустое множество, - моноид. Даны обозначения и определения полигона над S, семейства всех универсальных или эквистенциональных формул, примитива, атомной фигуры, характеристики пары < 1 >, семантической модели "alfa"-йонсоновской теории

Жеке автор: Нурмагамбетов Т., Пуаза В.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 73-82

МҒТАР: 27.17.17

Негізгі сөздер: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЭЛЕМЕНТАРНЫЕ ПАРЫ, ПАРЫ ВООТА, МНОЖЕСТВО, СУПЕРСТАБИЛЬНАЯ ТЕОРИЯ, W-СТАБИЛЬНАЯ ТЕОРИЯ, Р-СТАБИЛЬНОСТЬ,

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

Жеке автор: Нуртазин А. Т.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 82, 83

МҒТАР: 27.03.19

Негізгі сөздер: МАТЕМАТИЧЕСКАЯ ЛОГИКА, СЛАБО 0-МИНИМАЛЬНАЯ ТЕОРИЯ, КВАНТОРЫ, СИГНАТУРА,

Реферат: Целью работы является доказательство слабо 0-минимальной теории двухместных предикатов бинара. Использовано понятие, вытекающее из определения слабо 0-минимальной теории: полная теория Т сигнатуры с линейным порядком < слабо о-минимальна, если для любой f

Жеке автор: Овчинникова Е. В.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 84-86

МҒТАР: 27.17.21

Негізгі сөздер: ГРУППЫ, СКЛЕЙКи ПОЛИГОНА, ПОДПОЛИГОНЫ, ОБЪЕДИНЕНИЯ ДИЗЪЮНКТНЫЕ, КОМПОНЕНТЫ СВЯЗНОСТИ, МОНОИДы, многообразия,

Реферат: Даны обозначения и определения S-полигона, орбиты элемента, регулярного S-полигона, склеивающей конгруэнции на полигоне, дизъюнктного объединения, компонентов связности, склейки полигона. В работе определяется операция склейки полигона, являющаяся обращен

Жеке автор: Омаров А. И., Тукеев У. А.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 87-94

МҒТАР: 27.03.19

Негізгі сөздер: МОДЕЛИ РЕЛЯЦИОННЫЕ, БАЗЫ ДАННЫХ, СИСТЕМЫ ИНФОРМАЦИОННЫЕ, ЛОГИКА МАТЕМАТИЧЕСКАЯ,

Реферат: Описывается построение реляционной модели базы данных. Обсуждаются ограничения на состояния, которым отношения (предикаты) могут удовлетворять. В реляционных моделях помимо рассматриваемых отношений (предикатов) вводятся реляционные операции: объединения,

Жеке автор: Степанова А. А.,

Құжат түрі: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА

Құжат көлемі: С. 95-102

МҒТАР: 27.17.15

Негізгі сөздер: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ ПОЛИГОНОВ, РЕГУЛЯРНЫЕ ПОЛИГОНЫ,

Реферат: Изучаются аксиоматизируемые модельно полные классы всех регулярных полигонов с точки зрения их стабильности. Доказана теорема о стабильности класса r, суперстабильности класса r, w-стабильности класса r (1 - для любой счетной полугруппы К, 2 - для конечно