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

dc.contributor.authorЯкимова, Наталия Анатольевна
dc.contributor.authorСимонова, Ирина Гаяновна
dc.contributor.authorЯкімова, Наталія Анатоліївна
dc.contributor.authorСимонова, Ірина Гаянівна
dc.contributor.authorYakimova, Nataliia A.
dc.contributor.authorSymonova, Iryna H.
dc.date.accessioned2018-02-13T13:12:37Z
dc.date.available2018-02-13T13:12:37Z
dc.date.issued2007
dc.description.abstractВ данной статье показана возможность представле­ ния булевых логических матриц в виде бинарных предикатов, а также возможность их графического представления в виде порядковых логических пространств. Такое пред­ ставление значительно упрощает запись матриц, так как дает возможность записывать их в аналитической форме как формулы.uk
dc.description.abstractУ даній статті показана можливість подання булевих логічних матриць у вигляді бінарних предикатів, а також можливість їх графічного подання у вигляді порядкових логічних просторів. Таке подання значно спрощує запис матриць, тому що дає можливість записувати їх в аналітичному вигляді як формули. Ключові слова: бінарний предикат, логічна матриця, диз’юнкція матриць, кон’юнкція матриць, сорти змінних, порядок логічного простору, перетин просторів по нулю, перетин просторів по одиниці, накладання логічних просторів.uk
dc.description.abstractIn this article is shown possibility of representation Boolean logic matrixes as binary predicates and possibility of graphic representation as orderly logic spaces. Such representation considerably simplifies an entry of matrixes as enables to note them in an analytical aspect as formulas.uk
dc.identifierУДК 519.7
dc.identifier.citationВісник Одеського національного університету = Odesa National University Heralduk
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/12801
dc.language.isoruuk
dc.publisherОдеський національний університет імені І. І. Мечниковаuk
dc.relation.ispartofseriesМатематика і механіка;Т. 12, вип. 7.
dc.subjectбинарный предикатuk
dc.subjectлогическая матрицаuk
dc.subjectдизъюнкция матрицuk
dc.subjectконъюнкция матрицuk
dc.subjectсорта переменныхuk
dc.subjectпорядок логического пространстваuk
dc.subjectпересече­ние пространств по нулюuk
dc.subjectпересечение пространств по единицеuk
dc.subjectналожение логических пространствuk
dc.subjectбінарний предикатuk
dc.subjectлогічна матрицяuk
dc.subjectдиз’юнкція матрицьuk
dc.subjectкон’юнкція матрицьuk
dc.subjectсорти зміннихuk
dc.subjectпорядок логічного просторуuk
dc.subjectперетин просторів по нулюuk
dc.subjectпере­тин просторів по одиниціuk
dc.subjectнакладання логічних просторівuk
dc.subjectbinary predicateuk
dc.subjectlogic matrixuk
dc.subjectdisjunction of matrixesuk
dc.subjectconjunction of matrixesuk
dc.subjectkinds of variablesuk
dc.subjectorder of logic spaceuk
dc.subjectintersection of logic spaces on the zerouk
dc.subjectintersection of logic spaces on the oneuk
dc.subjectsuperposition of logic spacesuk
dc.titleБинарные предикаты как способ задания булевых логических объектовuk
dc.title.alternativeБінарні предикати як засіб подання булевих логічних об’єктівuk
dc.title.alternativeBinary predicates as a main of representation Boolean logic objectsuk
dc.typeArticleuk
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Вантажиться...
Ескіз
Назва:
174-184-1.pdf
Розмір:
250.21 KB
Формат:
Adobe Portable Document Format
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис: