Предикатні моделі логічних просторів в системах подання знань
Формалізація природної мови як мови подання знань на базі математичного апарату векторних логічних просторів. Розробка алгоритмічного та програмного забезпечення для системи логічної підтримки і проектування інформаційних систем та лінійних просторів.
| Рубрика | Математика |
| Предмет | Высшая математика |
| Вид | автореферат |
| Язык | украинский |
| Прислал(а) | Н.А. Гвоздінська |
| Дата добавления | 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