Paper: Рассматриваются логические высказывания экспертов и предлагаются способы введения на них расстояний. Использован естественный модельный подход, предложенный Г. Кейслером и Ч. Чэном. На выведенном классе моделей исчесления высказываний каждая формула задае
Описание йонсоновских универсалов унаров
Personal author(s): Ешкеев А. Р., Мустафин Т. Г.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Paper: Сформулирована и доказана теорема (основная теорема): 1) Каждый йонсоновский универсал унаров (й.у.у.) имеет характеристику. 2) Для любой характеристики n существует й.у.у., имеющий характеристику n. 3) Два й.у.у. равны тогда и только тогда, когда их хара
Некоторые свойства йонсоновских примитивов унаров
Personal author(s): Ешкеев А. Р., Мустафин Т. Г.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Paper: В силу теоремы Морли, Воота произвольная йонсоновская теория (Т) имеет Т-универсальную, Т - однородную модель в некоторой сильно недостижимой мощности. Рассмотрена элементарная модель Т"*". Даны определения по Т.Г.Мустафину семантической модели йонсоновск
Слабая 0-минимальность линейно упорядоченной структуры
Personal author(s): Кулпешов Б. Ш.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Paper: Получен критерий слабой 0-минимальности линейно упорядоченной структуры. Для решения задачи введены обозначения и даны определения выпуклого множества, слабо 0-минимальной линейно упорядоченной структуры, сечения С в упорядоченной структуре М. Доказаны не
Описание йонсоновских полигонов над группой
Personal author(s): Мустафин Т. Г., Нуркайдаров Е. С.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Document volume: С. 67-73
МРНТИ: 27.17.23
Keywords: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЙОНСОНОВСКИЕ ТЕОРИИ, ПОЛИГОНЫ НАД ГРУППОЙ,
Paper: Пусть А - непустое множество, - моноид. Даны обозначения и определения полигона над S, семейства всех универсальных или эквистенциональных формул, примитива, атомной фигуры, характеристики пары < 1 >, семантической модели "alfa"-йонсоновской теории
О числе элементарных пар над множествами
Personal author(s): Нурмагамбетов Т., Пуаза В.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Paper: В статье пpедставлены матеpиалы продолжающихся исследований, связанные с понятием элементарной пары и Р-стабильности. В частности, изучается вопрос: при каких условиях каждая полная теория элементарной пары имеет только одно пополнение над любым подмножес
Слабо 0-минимальная теория двухместных предикатов бинара
Personal author(s): Нуртазин А. Т.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Document volume: С. 82, 83
МРНТИ: 27.03.19
Keywords: МАТЕМАТИЧЕСКАЯ ЛОГИКА, СЛАБО 0-МИНИМАЛЬНАЯ ТЕОРИЯ, КВАНТОРЫ, СИГНАТУРА,
Paper: Целью работы является доказательство слабо 0-минимальной теории двухместных предикатов бинара. Использовано понятие, вытекающее из определения слабо 0-минимальной теории: полная теория Т сигнатуры с линейным порядком < слабо о-минимальна, если для любой f
Строение класса регулярных полигонов
Personal author(s): Овчинникова Е. В.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Document volume: С. 84-86
МРНТИ: 27.17.21
Keywords: ГРУППЫ, СКЛЕЙКи ПОЛИГОНА, ПОДПОЛИГОНЫ, ОБЪЕДИНЕНИЯ ДИЗЪЮНКТНЫЕ, КОМПОНЕНТЫ СВЯЗНОСТИ, МОНОИДы, многообразия,
Paper: Даны обозначения и определения S-полигона, орбиты элемента, регулярного S-полигона, склеивающей конгруэнции на полигоне, дизъюнктного объединения, компонентов связности, склейки полигона. В работе определяется операция склейки полигона, являющаяся обращен
Personal author(s): Омаров А. И., Тукеев У. А.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Document volume: С. 87-94
МРНТИ: 27.03.19
Keywords: МОДЕЛИ РЕЛЯЦИОННЫЕ, БАЗЫ ДАННЫХ, СИСТЕМЫ ИНФОРМАЦИОННЫЕ, ЛОГИКА МАТЕМАТИЧЕСКАЯ,
Paper: Описывается построение реляционной модели базы данных. Обсуждаются ограничения на состояния, которым отношения (предикаты) могут удовлетворять. В реляционных моделях помимо рассматриваемых отношений (предикатов) вводятся реляционные операции: объединения,
Стабильность класса регулярных полигонов
Personal author(s): Степанова А. А.,
Type of the document: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Document volume: С. 95-102
МРНТИ: 27.17.15
Keywords: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ ПОЛИГОНОВ, РЕГУЛЯРНЫЕ ПОЛИГОНЫ,
Paper: Изучаются аксиоматизируемые модельно полные классы всех регулярных полигонов с точки зрения их стабильности. Доказана теорема о стабильности класса r, суперстабильности класса r, w-стабильности класса r (1 - для любой счетной полугруппы К, 2 - для конечно
