Перегляд за Автор "Yakimova, Nataliia A."
Зараз показуємо 1 - 14 з 14
Результатів на сторінці
Налаштування сортування
Документ Алгебра скінченних предикатів(Одеський національний університет імені І. І. Мечникова, 2025) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.У пропонованому навчальному посібнику розглядаються основні алгебраїчні системи, які можуть в подальшому бути застосовані для дослідження математичного апарату систем штучного інтелекту. Особливу увагу приділено алгебрі скінченних предикатів першого та вищих порядків, алгебрі предикатних операцій та побудованим за аналогією з лінійною алгеброю векторним логічним просторам. Розглянуто можливість застосування описаних математичних моделей для формалізації природної мови. Навчальний посібник складений для студентів другого (магістерського) рівня освіти спеціальності 111 «Математика». Також розглянутий в даному навчальному посібнику матеріал може бути рекомендований для студентів технічних спеціальностей.Документ Бинарные предикаты как способ задания булевых логических объектов(Одеський національний університет імені І. І. Мечникова, 2007) Якимова, Наталия Анатольевна; Симонова, Ирина Гаяновна; Якімова, Наталія Анатоліївна; Симонова, Ірина Гаянівна; Yakimova, Nataliia A.; Symonova, Iryna H.В данной статье показана возможность представле ния булевых логических матриц в виде бинарных предикатов, а также возможность их графического представления в виде порядковых логических пространств. Такое пред ставление значительно упрощает запись матриц, так как дает возможность записывать их в аналитической форме как формулы.Документ Варианты формализации предложений естественного языка и их графическое представление(Одеський національний університет імені І. І. Мечникова, 2008) Якимова, Наталия Анатольевна; Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.В данной статье рассматривается возможность формализовать словосочетания естественного языка в любом направлении, независимо от типа связи слов в них. В связи с этим возникает возможность формализовать распространенные предложения естественного языка несколькими способами. За счет этого многообразия графическое представление и количество уровней формализации конкретного предложения также можно выбрать с учетом конечной цели решаемой задачи.Документ Векторна логічна алгебра(Одеський національний університет імені І. І. Мечникова, 2025) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.У пропонованому навчально-методичному посібнику розглядаються основні операції над елементами поля логічних скалярів, а також їх використання при побудові матричних та векторних просторових моделей. Проведено порівняльний аналіз різних методів розв’язання однотипних задач та запропоновані ознаки, за якими має обиратися раціональніший спосіб в кожному окремому випадку. Навчально-методичний посібник складений для студентів другого (магістерського) рівня освіти спеціальності 111 «Математика». Також розглянутий в даному навчально-методичному посібнику матеріал може бути рекомендований для студентів технічних спеціальностей.Документ Дискретна математика. Частина 1. Теорія множин. Теорія графів(Одеський національний університет імені І. І. Мечникова, 2022) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.У пропонованому курсі лекцій розглядаються деякі основні поняття теорії множин та теорії графів. Весь викладений матеріал ілюструється дуже докладними прикладами, схемами та алгоритмами, що полегшує розуміння студентами як самого теоретичного матеріалу, так і його значення для обраної ними спеціальності. В даному курсі лекцій викладені основні поняття теорії множин і теорії графів, основні операції над множинами та графами, а також спеціальні розділи, що мають особливо важливе значення при вивченні дискретної математики студентами спеціальностей саме комп’ютерного напрямку. Курс лекцій складений для студентів першого (бакалаврського) рівня освіти спеціальностей 113 «Прикладна математика», 122 «Комп’ютерні науки», 123 «Комп’ютерна інженерія», 151 «Автоматизація та комп’ютерно-інтегровані технології».Документ Дискретна математика. Частина 2. Булеві функції(Одеський національний університет імені І. І. Мечникова, 2023) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.У пропонованому курсі лекцій розглядаються основні поняття теорії булевих функцій. Весь викладений матеріал ілюструється дуже докладними прикладами, схемами та алгоритмами, що полегшує розуміння студентами як самого теоретичного матеріалу, так і його значення для обраної ними спеціальності. В даному курсі лекцій викладені основні способи задання булевих функцій, їх властивості та класифікація, нормальні форми булевих функцій та пов’язані з ними алгоритми, а також спеціальні розділи, що мають особливо важливе значення при вивченні дискретної математики студентами спеціальностей саме комп’ютерного напрямку.Курс лекцій складений для студентів першого (бакалаврського) рівня освіти спеціальностей 111 «Математика», 113 «Прикладна математика», 122 «Комп’ютерні науки», 123 «Комп’ютерна інженерія», 126 «Інформаційні системи та технології», 151 «Автоматизація та комп’ютерно-інтегровані технології».Документ Елементи теорії множин(Одеський національний університет імені І. І. Мечникова, 2023) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.У пропонованому навчально-методичному посібнику розглядаються деякі основні поняття теорії множин. Весь викладений матеріал ілюструється дуже докладними прикладами, схемами та алгоритмами, що полегшує розуміння студентами як самого теоретичного матеріалу, так і його значення для обраної ними спеціальності. В даному навчально-методичному посібнику дуже докладно розглянуто розв’язання багатьох прикладів. Ці приклади складені в такий спосіб, щоб надати студентам системне уявлення про розглянуті поняття. Навчально-методичний посібник складений для студентів першого (бакалаврського) рівня освіти спеціальностей 111 «Математика», 113 «Прикладна математика», 151 «Автоматизація та комп’ютерно-інтегровані технології».Документ Логічна алгебра(2019) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.Сучасна епоха характерна бурхливим розвитком і стрімким розширенням сфер застосування новітніх інформаційних технологій. Кінець ХХ століття по праву увійде в історію як час «інформаційного вибуху». Швидка змінюваність поколінь комп’ютерної техніки зажадала відповідних темпів розвитку програмного і математичного забезпечення. Однак, незважаючи на велику кількість мовних засобів програмування і принципово нових операційних систем і середовищ, що з’явилася в останні роки, усі вони спрямовані на автоматизацію й інтенсифікацію рутинних або обчислювальних процедур різного функціонального призначення і фізичної природи. Введення інформації в комп’ютер залишається незмінним і традиційним. Розшифровка і кодування природної мови як продукту мислення і подання знань недосконалі. Відсутні строго формалізовані підходи до подання знань і точні методи моделювання знань. Тому виникла і набула велику актуальність проблема створення інструментарію для формального опису і комп’ютерного подання різного роду інформації, поданої у вигляді текстів природної мови або логічних структур мислення. Як відомо, для моделювання подібного роду явищ і процесів використовуються алгоритми систем штучного інтелекту. Проблема створення математичного апарата для моделювання інтелектуальних процесів виникла вже давно. Наукова думка просунулася досить далеко по шляху моделювання фізичних процесів, що протікають у навколишньому світі. Зафіксувавши деякі початкові умови, можна з досить великою імовірністю пророчити кінцевий стан процесу . Іншими словами, протікання фізичних процесів досить добре формалізовано. У зв’язку з цим виникає питання, чи можлива настільки ж успішна реалізація інтелектуальної діяльності.Документ Лінгвостатистика(Одеський національний університет імені І. І. Мечникова, 2014) Варбанець, Павло Дмитрович; Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.; Varbanets, Pavlo D.Мова являє собою, як прийнято говорити в сучасному мовознавстві, деяке системно-структурне утворення. Окремі підсистеми мови називають рівнями, які представлені відповідними одиницями – фонемами, морфемами, лексемами, синтагмами (реченнями). Оскільки одиниці кожного рівня мови перебувають в ієрархічній залежності від одиниць вищестоящого рівня, то зрозуміло, що, наприклад, число похідних слів у тій або іншій мові буде залежати від кількості афіксів з дериваційним значенням, а кількість морфем - від кількості фонем. У той же час кількість фонем у різних мовах не збігається. Ці прості приклади показують, що мова характеризується певними якісними й кількісними ознаками.Документ Лінгвостатистика(Одеський національний університет імені І. І. Мечникова, 2013) Варбанець, Павло Дмитрович; Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.; Varbanets, Pavlo D.Мова являє собою, як прийнято говорити в сучасному мовознавстві, деяке системно-структурне утворення. Окремі підсистеми мови називають рівнями, які представлені відповідними одиницями – фонемами, морфемами, лексемами, синтагмами (реченнями). Оскільки одиниці кожного рівня мови перебувають в ієрархічній залежності від одиниць вищестоящого рівня, то зрозуміло, що, наприклад, число похідних слів у тій або іншій мові буде залежати від кількості афіксів з дериваційним значенням, а кількість морфем - від кількості фонем. У той же час кількість фонем у різних мовах не збігається. Ці прості приклади показують, що мова характеризується певними якісними й кількісними ознаками.Документ Математичні методи прогнозування в економіці та бізнесі(Одеський національний університет імені І. І. Мечникова, 2024) Якімова, Наталія Анатоліївна; Круглов, Віктор Євгенович; Yakimova, Nataliia A.; Kruhlov, Viktor Ye.У пропонованому навчальному посібнику розглядаються основні поняття теорії ймовірностей та математичної статистики, а також засновані на них математичні методи прогнозування, які можуть бути застосовані для дослідження, в першу чергу, економічних процесів та об’єктів. Особливу увагу приділено оптимізаційним та статистичним методам. Весь викладений матеріал ілюструється дуже докладними прикладами, схемами та алгоритмами, що полегшує розуміння студентами як самого теоретичного матеріалу, так і його значення для обраної ними спеціальності. Навчальний посібник складений для студентів першого (бакалаврського) рівня освіти спеціальностей 111 «Математика», 113 «Прикладна математика», 292 «Міжнародні економічні відносини».Документ Матричне подання операцiй над графами(Астропринт, 2022) Якімова, Наталія Анатоліївна; Клішин, Микита Євгенович; Yakimova, Nataliia A.; Klishyn, M. E.Теорiя графiв має широке розповсюдження з практичної точки зору. Графи оточують нас у повсякденному життi (наприклад, карти дорiг та шляхiв), а також вiдiграють важливу роль в наукових дослiдженнях (наприклад, електросхеми). Для побутового застосування, безумовно, найзручнiшим є геометричний спосiб подання графiв. Але для комп’ютерної обробки iнформацiї це не є рацiональним. В цих випадках використовується матричне подання графiв у виглядi матриць сумiжностi або матриць iнцидентностi. Тому все бiльшого значення набувають дослiдження, присвяченi саме цiй темi. В данiй статтi розглядається можливiсть виконання операцiй над матрицями, якими подано графи. Цi методи мають свої особливостi та обмеження. Вони також розглянутi в данiй статтi. Для кожної операцiй запропонований варiант обробки як матрицi сумiжностi, так i матрицi iнцидентностi для орiєнтованих та неорiєнтованих графiв, показано вiдмiнностi такої обробки в залежностi вiд виду графу. MSC: 03G05, 03G25, 03F52, 06E25, 15B34.Документ Операції над блочними предикатними матрицями(Астропринт, 2023) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.В данiй статтi розглянуто можливiсть виконання основних логiчних операцiй над матрицями, якi роздiлено на прямокутнi блоки в якiйсь довiльний спосiб. Отриманi результати проiлюстрованi на прикладi предикатних логiчних матриць, що заданi над полем скiнченних предикатiв довiльної арностi. Також обґрунтовано можливiсть розповсюдити отриманi результати на булевi матрицi (вважається, що їх задано над полем скiнченних предикатiв нульової арностi). В той же час з використанням апарату багатозначної логiки, вiдштовхуючись вiд булевих логiчних матриць, отриманi результати можна розповсюдити на дослiдження логiчних об’єктiв, що не є булевими. Блочне роздiлення матриць дозволяє розбивати iнформацiю, подану у матричному виглядi, на частини, обробляти їх окремо, а потiм поєднувати в єдине цiле, дотримуючись певних правил та обмежень, що описанi в данiй статтi. Цi методи можуть знайти своє застосування в теорiї графiв, теорiї алгоритмiв, програмуваннi та iнших сферах теоретичної та практичної дiяльностi, що так чи iнакше пов’язанi з математичною логiкою. У класичнiй лiнiйнiй алгебрi широко використається апарат матриць. Але класична лiнiйна алгебра має справу iз безперервними об’єктами. Логiчна алгебра, побудована за аналогiєю з класичною лiнiйною алгеброю, будує тi ж самi моделi за допомогою дискретних об’єктiв, що мають логiчну структуру i пiдкоряються вiдповiдним законам. Це призводить до суттєвих вiдмiнностей у функцiонуваннi побудованих моделей. Дана стаття присвячена матрицям, в якостi елементiв для яких взято елементарнi логiчнi елементи, а саме скiнченнi предикати довiльної арностi. В роботi дослiдженi властивостi таких матриць та особливостi їх застосування за умови їх блочного подання. Також розглянуто основнi операцiї над такими матрицями. Крiм звичайних операцiй, що мають мiсце в класичнiй лiнiйнiй алгебрi, логiчнi структури дозволяють виконувати це декiлька операцiй. Особливу увагу придiлено операцiї добутку блочних предикатних матриць з урахуванням їх особливостей, пов’язаних з логiчною структурою таких об’єктiв.Документ Предикатнi логiчнi матрицi(Одеський національний університет імені І. І. Мечникова, 2019) Якімова, Наталія Анатоліївна; Yakimova, Nataliia A.У класичнiй лiнiйнiй алгебрi широко використається апарат матриць. Але класична лiнiйна алгебра має справу iз безперервними об’єктами. Логiчна алгебра, побудована за аналогiєю з класичною лiнiйною алгеброю, будує тi ж самi моделi за допомогою дискретних об’єктiв, що мають логiчну структуру i пiдкоряються вiдповiдним законам. Це призводить до суттєвих вiдмiнностей у функцiонуваннi побудованих моделей. Дана стаття присвячена матрицям, в якостi елементiв для яких взято елементарнi логiчнi елементи, а саме скiнченнi предикати довiльної арностi. В роботi дослiдженi властивостi таких матриць та особливостi їх застосування. Також розглянутi основнi операцiї над такими матрицями. Крiм звичайних операцiй, що мають мiсце в класичнiй лiнiйнiй алгебрi, логiчнi структури дозволяють виконувати це декiлька операцiй.