Реферат: Рассматриваются логические высказывания экспертов и предлагаются способы введения на них расстояний. Использован естественный модельный подход, предложенный Г. Кейслером и Ч. Чэном. На выведенном классе моделей исчесления высказываний каждая формула задае
Реферат: Сформулирована и доказана теорема (основная теорема): 1) Каждый йонсоновский универсал унаров (й.у.у.) имеет характеристику. 2) Для любой характеристики n существует й.у.у., имеющий характеристику n. 3) Два й.у.у. равны тогда и только тогда, когда их хара
Реферат: В силу теоремы Морли, Воота произвольная йонсоновская теория (Т) имеет Т-универсальную, Т - однородную модель в некоторой сильно недостижимой мощности. Рассмотрена элементарная модель Т"*". Даны определения по Т.Г.Мустафину семантической модели йонсоновск
Слабая 0-минимальность линейно упорядоченной структуры
Реферат: Получен критерий слабой 0-минимальности линейно упорядоченной структуры. Для решения задачи введены обозначения и даны определения выпуклого множества, слабо 0-минимальной линейно упорядоченной структуры, сечения С в упорядоченной структуре М. Доказаны не
Описание йонсоновских полигонов над группой
Автор(ы): Мустафин Т. Г., Нуркайдаров Е. С.,
Вид документа: 02 - CТАТЬЯ ИЗ КНИГИ - СБОРНИКА
Объем документа: С. 67-73
МРНТИ: 27.17.23
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ЙОНСОНОВСКИЕ ТЕОРИИ, ПОЛИГОНЫ НАД ГРУППОЙ,
Реферат: Пусть А - непустое множество, - моноид. Даны обозначения и определения полигона над S, семейства всех универсальных или эквистенциональных формул, примитива, атомной фигуры, характеристики пары < 1 >, семантической модели "alfa"-йонсоновской теории
Реферат: В статье пpедставлены матеpиалы продолжающихся исследований, связанные с понятием элементарной пары и Р-стабильности. В частности, изучается вопрос: при каких условиях каждая полная теория элементарной пары имеет только одно пополнение над любым подмножес
Слабо 0-минимальная теория двухместных предикатов бинара
Автор(ы): Нуртазин А. Т.,
Вид документа: 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 - для конечно
