Предикатні моделі логічних просторів в системах подання знань
Формалізація природної мови як мови подання знань на базі математичного апарату векторних логічних просторів. Розробка алгоритмічного та програмного забезпечення для системи логічної підтримки і проектування інформаційних систем та лінійних просторів.
| Рубрика | Математика |
| Вид | автореферат |
| Язык | украинский |
| Дата добавления | 21.11.2013 |
| Размер файла | 49,1 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Загальна характеристика системи Moodle. Поняття кільця та його найпростіші властивості. Алгебраїчна форма запису комплексного числа. Основні типи бінарних відношень. Властивості операцій над множинами. Лінійні комбінації і лінійні оболонки векторів.
дипломная работа [1,0 M], добавлен 26.02.2014Бази топології і системи околів. Замикання множини. Аксіоми численності. Збіжні послідовності. Прямий добуток, компактність і неперервні відображення топологічних просторів. Математичний аналіз лема Бореля-Лебега. Розкриття поняття секвенційних просторів.
курсовая работа [358,3 K], добавлен 14.02.2016Вкладення тихонівських просторів у ширші простори. Характеризація лінделефовості та компактності тихонівських просторів. Теорема Белла-Ященко та теорема Блер-Гагер для тихонівського простору. Характеризація паракомпактності та узагальнення теореми Яджіма.
контрольная работа [128,9 K], добавлен 03.04.2012Означення і найпростіші властивості лінійних операторів. Контрольний приклад отримання власних значень. Матриця лінійного оператора. Опис та текст програми. Власні вектори й значення лінійного оператора. Теорія лінійних просторів та її застосування.
курсовая работа [74,8 K], добавлен 28.03.2009Методика проведення операції в розширених полях. Сліди і базиси розширеного поля. Двійкове подання елементів у поліноміальному і нормальному базисах. Подання точок кривої у різних координатних системах. Складність арифметичних операцій у групах точок ЕК.
реферат [133,7 K], добавлен 05.02.2011Математичний аналіз властивостей геометричних об'єктів, відкритих і замкнених множин. Основні приклади, спеціальні метрики та топологія повних метричних просторів. Теорема Бера про вкладені кулі. Визначення границі числової послідовності та повноти.
дипломная работа [2,3 M], добавлен 28.05.2019Визначення та властивості упорядкованих множин, приклади діаграм. Дистрибутивні ґрати як один з основних алгебраїчних об'єктів. Поняття нижньої і точної грані, їх властивості та приклади, доказ лем. Застосування та суть топологічних стоунових просторів.
курсовая работа [288,0 K], добавлен 24.03.2011Елементи загальної теорії багатомірних просторів, аксіоматика Вейля. Геометрія k-площин в афінному і евклідовому просторах: паралелепіпеди, симплекси, кулі. Застосування багатомірної геометрії: простір-час класичної механіки і теорії відносності.
дипломная работа [1,0 M], добавлен 28.01.2011Поняття нормованого простору: лінійний простір, оператор, безперервний та обмежений оператор. Простір функцій. Інтеграл Лебега-Стилтьеса. Інтерполяція в просторах сумуємих функцій. Теореми Марцинкевича та Рисса-Торина. Простір сумуємих послідовностей.
курсовая работа [407,3 K], добавлен 16.01.2011Модель Еванса встановлення рівноважної ціни. Побудова моделі зростання для постійного темпу приросту. Аналіз моделі росту в умовах конкуренції. Використання математичного апарату для побудови динамічної моделі Кейнса і неокласичної моделі росту.
реферат [81,8 K], добавлен 25.05.2023Поняття відносини залежності, розгляд відносин залежності на різних множинах. Теорема довільних та транзитивних просторів залежності. Зв'язок транзитивних відносин залежності з операторами замикання. Поняття простору залежності, транзитивності, матроїда.
курсовая работа [293,3 K], добавлен 20.01.2011Поняття та особливості алгоритмів обчислювальних процедур. Операторні та предикатні алгоритми, їх характеристика, порядок та принципи формування, етапи розв'язання. Алгоритмічні проблеми для L. Логіка висловлень та предикатів в представленні знань.
курс лекций [96,3 K], добавлен 25.03.2011Властивості відкритої мультикомутативності нормальних функторів, її критерії. Критерії відкритої мультикомутативності в категорії Comp для нормальних та слабко нормальних функторів. Продовження властивості відкритої мультикомутативності на категорію Tych.
автореферат [69,3 K], добавлен 11.04.2009Поняття математичного моделювання. Форми завдання моделей: інваріантна; алгоритмічна; графічна (схематична); аналітична. Метод ітерацій для розв’язку систем лінійних рівнянь, блок-схема. Інструкція до користування програмою, контрольні приклади.
курсовая работа [128,6 K], добавлен 24.04.2011Беселеві функції з будь-яким індексом, з напівцілим індексом. Формули приведення для Беселевих функцій. Інтегральне подання функцій із цілим індексом. Ряди Фур'є-Беселя. Асимптотичне подання функцій із цілим індексом для більших значень аргументу.
курсовая работа [211,7 K], добавлен 28.12.2010Закон розподілення дискретної випадкової величини, подання в аналітичній формі за допомогою функції розподілення ймовірності. Числові характеристики дискретних випадкових величин. Значення критерію збіжності Пірсона. Аналіз оцінок математичного чекання.
курсовая работа [105,2 K], добавлен 09.07.2009Розв’язання систем лінійних рівнянь методом Жордана-Гауса. Еквівалентні перетворення системи, їх виконання як елемент методів розв’язування системи рівнянь. Базисні та вільні змінні. Лінійна та фундаментальна комбінації розв’язків, таблиці коефіцієнтів.
контрольная работа [170,2 K], добавлен 16.05.2010Математична постановка задач пошуку умов повної керованості в лінійних стаціонарних динамічних системах керування. Представлення систем диференційних рівнянь управління в просторі станів. Достатні умови в критеріях повної керованості Е. Гільберта.
дипломная работа [2,0 M], добавлен 16.06.2013Системи лінійних алгебраїчних рівнянь, головні означення. Коротка характеристика головних особливостей матричного способу, методу Жордано-Гаусса. Формули Крамера, теорема Кронекера-Капеллі. Практичний приклад розв’язання однорідної системи рівнянь.
курсовая работа [690,9 K], добавлен 25.04.2013Визначення системи лінійних рівнянь та її розв’язання. Поняття рангу матриці, правило Крамера та види перетворень з матрицею. Способи знайдення оберненої матриці А–1 до невиродженої матриці А. Контрольні запитання та приклади розв’язування задач.
задача [73,5 K], добавлен 25.03.2011
