К вопросу об определении упорядоченных систем на языке тернарного описания

Скорочена інформація про документ
dc.contributor.authorРайхерт, Константин Вильгельмович
dc.contributor.authorРайхерт, Костянтин Вільгельмович
dc.contributor.authorRayhert, Konstantin V.
dc.date.accessioned2017-10-07T09:06:40Z
dc.date.available2017-10-07T09:06:40Z
dc.date.issued2015-02
dc.description.abstractОсновной целью представленного исследования является дать новое определение упорядоченной системы на языке тернарного описания. Автор рассматривает различные виды упорядоченных систем: нестрого упорядоченные, строго упорядоченные и предупорядоченные. Для одних из перечисленных видов впервые даются формально-логические определения на языке тернарного описания, а для других – уточнённые или новые интерпретации на языке тернарного описания. Формально-логически определяются принятые в математике и логике свойства упорядоченных систем: рефлексивность, антирефлексивность, транзитивность и антисимметричность, причём в двух версиях: в малоизвестной версии А. И. Уёмова и в версии автора данного исследования. В общей сложности представлено 12 новых формально-логических моделей на языке тернарного описания.uk
dc.description.abstractГоловною метою запропонованого дослідження є дати нове визначення упорядкованої системи мовою тернарного опису. Автор розглядає різні види упорядкованих систем: нестрого впорядковані, строго впорядковані та передупорядковані. Для одних із перелічених видів вперше даються формально-логічні визначення мовою тернарного опису, для інших – уточнені та нові інтерпретації мовою тернарного опису. Формально-логічно визначаються властивості впорядкованих систем, які прийняті в математиці та логіці: рефлексивність, антирефлексивність, транзитивність і антисиметричність, причому в двох версіях: у маловідомій версії, запропонованій А. І. Уйомовим, та в версії автора цього дослідження. Взагалі в роботі запропоновано 12 нових формально-логічних моделей мовою тернарного опису.uk
dc.description.abstractThe main purpose of the submitted paper is to redefine the ordered system in the ternary description language. The author examines different types of the ordered systems: not-strictly ordered system, strictly ordered system, and preordered system. For some of these types the first formal logical definitions in the ternary description language are given; and for some of these types the corrected and redefined formal logical definitions in the ternary description language are given. The properties of the ordered systems accepted in mathematics and logic: reflexiveness, antireflexiveness, transitivity, anti-symmetry are defined in the ternary description language. In toto 12 new formal logical models are presented in the paper.uk
dc.identifier.citationМолодий вченийuk
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/10971
dc.language.isoruuk
dc.relation.ispartofseries;№ 2(17).
dc.subjectсистемаuk
dc.subjectупорядоченностьuk
dc.subjectпредпорядокuk
dc.subjectатрибутивный системный параметрuk
dc.subjectупорядкованістьuk
dc.subjectпередпорядокuk
dc.subjectатрибутивний системний параметрuk
dc.subjectsystemuk
dc.subjectorderuk
dc.subjectpre-orderuk
dc.subjectattributive system parameteruk
dc.titleК вопросу об определении упорядоченных систем на языке тернарного описанияuk
dc.title.alternativeДо питання про визначення впорядкованих систем мовою тернарного описуuk
dc.title.alternativeOn the definition of the ordered systems in the ternary description languageuk
dc.typeArticleuk
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
molv_2015_2(5)__16.pdf
Розмір:
219.61 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Статті та доповіді ФІФ