Предикатні моделі логічних просторів в системах подання знань
Формалізація природної мови як мови подання знань на базі математичного апарату векторних логічних просторів. Розробка алгоритмічного та програмного забезпечення для системи логічної підтримки і проектування інформаційних систем та лінійних просторів.
Подобные документы
Застосування методів топологічної алгебри, теорії лінійних просторів до вивчення ізоморфізмів вільних топологічних та паратопологічних груп. Класифікація відображень, що мають праві обернені. Побудова еквівалентних за Марковим просторів і відображень.
автореферат, добавлен 29.09.2014Методи побудови еквівалентних просторів та конструкцій і функторам, що зберігають відношення еквівалентності тихоновських просторів. Еквівалентність пар та відображень тихоновських просторів. Тополого-алгебраїчні властивості вільних паратопологічних груп.
автореферат, добавлен 14.10.2015Перенесення ряду основних принципів функціонального аналізу на шкали локально опуклих просторів. Детальний опис нормальних розкладів спряжених і операторних просторів. Побудова основ загальної теорії двоїстості індуктивних і проективних шкал просторів.
автореферат, добавлен 05.08.2014Дослідження алгебраїчними методами поняття комплекту, а саме узагальнення поняття реляції та доведення ряду співвідношень логіки реляцій. Визначення формальної моделі подання асоціативних знань, а також аналіз механізму логічного виведення на них.
автореферат, добавлен 04.03.2014Дослідження конструкції та алгоритму ізоморфних занурень скінченних метричних просторів і властивостей відстані Громова-Хаусдорфа між ними. Поняття експоненти і континуальної родини попарно неізоморфних однорідних локально скінченних метричних просторів.
автореферат, добавлен 24.06.2014Характеристика стільникових і псевдодискретних болеанів. Болеани фінітарних і універсальних G-просторів, зв'язок між болеанами на групах і груповими ідеалами. Болеани, що є одночасно максимальними і нерозкладними. Асимптотичні детектори гіперграфів.
автореферат, добавлен 29.09.2014Комбінаторна теорія розбиттів. Теорема про арифметичні прогресії. Довільні натуральні числа. Поняття розкладності топологічних просторів. Індекси розкладності та однорідні простори родин підмножин. Тополого-алгебраїчні умови. Інфімум множини кардиналів.
автореферат, добавлен 25.06.2014Властивості, будова та класифікація груп локальних ізометрій границь кореневих дерев, жорсткість слабо гіллястих груп. Побудова теорії груп локальних ізометрій канторових просторів та її застосування до класифікації локально скінченних груп 1-типу.
автореферат, добавлен 26.08.2015Одержання умов збіжності, оцінок швидкості збіжності функціональних випадкових рядів у нормах просторів Орліча та Соболєва. Застосовність методу Фур'є до розв’язання крайової задачі для рівняння гіперболічного типу з випадковими початковими умовами.
автореферат, добавлен 23.11.2013Реалізація методу мінімізації логічних функцій в ортогональній формі представлення. Урахування однакових фрагментів в інформативних функціях логічної функції, яка мінімізується. Багатоваріантна форма представлення, розподілу аргументів логічної функції.
статья, добавлен 30.01.2016Основні теоретичні дані логічних елементів, макета дослідження логічних елементів емітерной-зв'язаної логіки і - дослідження мікросхеми, яка складається з двох логічних елементів, за допомогою якої можна дослідити принцип роботи всіх типів елементів.
реферат, добавлен 26.02.2010Аналіз математичних моделей для дискретних ієрархічних систем. Особливості застосування апарату гіперграфів та елементів теорії мультимножин для аналізу складних систем. Аналіз моделі складної системи у вигляді стратифікованого подання сімейства моделей.
статья, добавлен 28.02.2017Опис властивостей просторів лінійних неперервних функціоналів над просторами цілих функцій експоненціального типу. Побудова функціонального числення наборів необмежених операторів в локально-опуклих згорткових алгебрах лінійних неперервних функціоналів.
автореферат, добавлен 13.07.2014Топологічне розпізнавання гіперпросторів компактів заданого виміру Гаусдорфа та топологічна характеризація (частково) упорядкованих систем таких гіперпросторів. Топологія зліченної системи функціональних просторів, пов'язаних з виміром Гаусдорфа.
автореферат, добавлен 02.08.2014Розробка програмного забезпечення для розв’язку задачі математичного характеру. Історія виникнення методу Крамера, характеристика його переваг, можливе використання. Створення алгоритму програми, перевірка отриманих розрахунків в програмі Excel.
курсовая работа, добавлен 28.11.2016Огляд теорії абсолютних околових ретрактів. Сильна дискретна апроксимаційна властивість. Локально-компактна апроксимаційна властивість. Сильної універсальність та доведення класифікаційної теореми для поглинаючих та копоглинаючих просторів.
автореферат, добавлен 10.01.2014Розвиток теорії апроксимації динамічних систем на стандартному борелівському просторі та канторівській множині за допомогою більш простих систем. Застосування розвинутих методів до задач класифікації індивідуальних динамічних систем. Варіант леми Рохліна.
автореферат, добавлен 25.07.2014Компоненти створення неевклідових геометрій як фундаментальної проблеми, підготовленої історичним розвитком математичних знань. Ідеї неевклідових геометричних систем та їх виникнення на підставі логічних розмірковувань про природу 5 постулату Евкліда.
статья, добавлен 29.12.2017Характеристика теорії експоненціально-вагових просторів Гарді у півплощині. Одержання аналогу теореми Пелі-Вінера про продовження функції з уявної осі на півплощину. Дослідження повноти систем експонент з вагою та відповідного рівняння типу згортки.
автореферат, добавлен 27.04.2014Вивчення в повних банахових шкалах еліптичної, еліптичної з параметром і параболічної задачі Соболева для одного рівняння і для загальних систем. Умови існування узагальненого розв’язку і доведення теореми про повний набір ізоморфізмів, їх застосування.
автореферат, добавлен 22.02.2014Розробка та побудова розподілених інформаційних систем захисту довкілля для підтримки регіональних екологічних моделей. Формування проекту моделі через систему ідентифікації об’єктів абстрактного об’єктного простору екосистеми та її формалізований опис.
автореферат, добавлен 25.02.2014Дослідження математичних моделей інформаційно-вимірювальних систем (ІВС) інженерних мереж з підсистемою зв'язку на основі цифрових мереж інтегрального обслуговування. Чисельні методи реалізації у вигляді алгоритмічного та програмного забезпечення.
автореферат, добавлен 04.03.2014Знаходження умов існування та єдиності розв'язків деяких типів параболічних варіаційних нерівностей та їх систем без початкових умов. Вивчення узагальнених просторів Соболєва. Отримано розв'язок в класі функцій, які можуть зростати у задачах Фур'є.
автореферат, добавлен 27.04.2014- 24. Нелокальні крайові задачі для рівнянь з частинними похідними та диференціально-операторних рівнянь
Вибір функціональних просторів для кожної із поставлених нелокальних задач. Встановлення умов однозначної розв’язності нелокальних задач для рівнянь і систем зі сталими та змінними коефіцієнтами. Обгрунтування методу мінімізації у гільбертових просторах.
автореферат, добавлен 30.07.2014 - 25. Алгебра логіки
Основні поняття алгебри логіки та її закони. Алгоритм побудови таблиць істинності для складних виразів. Схеми базових логічних елементів. Операції заперечення, диз'юнкції і кон'юнкції для обробки висловлювань. Правила перетворення логічних виразів.
практическая работа, добавлен 13.07.2017