Методи побудови експертних систем з асоціативними моделями подання знань
Дослідження алгебраїчними методами поняття комплекту, а саме узагальнення поняття реляції та доведення ряду співвідношень логіки реляцій. Визначення формальної моделі подання асоціативних знань, а також аналіз механізму логічного виведення на них.
Рубрика | Математика |
Предмет | Математичне та програмне забезпечення обчислювальних машин та систем |
Вид | автореферат |
Язык | украинский |
Прислал(а) | Дудка Т. |
Дата добавления | 04.03.2014 |
Размер файла | 34,9 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
курсовая работа [136,5 K], добавлен 27.06.2008Характеристика алгебри логіки. Система числення як спосіб подання довільного числа за допомогою алфавіту символів, які називають цифрами. Представлення чисел зі знаком: прямий, обернений і доповняльний код. Аналіз булевої функції та методів Квайна, Вейча.
курсовая работа [2,6 M], добавлен 05.09.2011Діагностика турбіни трьома основними методами — ММР, ММП, ММКПР, тобто визначення Хо для всіх випадків. Ідентифікація параметрів математичної моделі на основі авторегресії 2-го порядку для заданого часового ряду, оцінка адекватності отриманої моделі.
контрольная работа [98,3 K], добавлен 16.08.2011Визначення гіпергеометричного ряду. Диференціальне рівняння для виродженої гіпергеометричної функції. Вироджена гіпергеометрична функція другого роду. Подання різних функцій через вироджені гіпергеометричні функції. Властивості гіпергеометричної функції.
курсовая работа [462,3 K], добавлен 26.01.2011Ознайомлення із символікою та апаратом логіки висловлень. Сутність алгебри Жегалкіна. Дослідження питань несуперечності, повноти та незалежності логічних та спеціальних аксіом числення предикатів. Визначення поняття та характерних рис алгоритмів.
курс лекций [538,2 K], добавлен 02.04.2011Методика проведення операції в розширених полях. Сліди і базиси розширеного поля. Двійкове подання елементів у поліноміальному і нормальному базисах. Подання точок кривої у різних координатних системах. Складність арифметичних операцій у групах точок ЕК.
реферат [133,7 K], добавлен 05.02.2011Поняття економетричної моделі та етапи її побудови. Сутність та характерні властивості коефіцієнта множинної кореляції. Оцінка значущості множинної регресії. Визначення довірчих інтервалів для функції регресії та її параметрів. Метод найменших квадратів.
курсовая работа [214,6 K], добавлен 24.05.2013Беселеві функції з будь-яким індексом, з напівцілим індексом. Формули приведення для Беселевих функцій. Інтегральне подання функцій із цілим індексом. Ряди Фур'є-Беселя. Асимптотичне подання функцій із цілим індексом для більших значень аргументу.
курсовая работа [211,7 K], добавлен 28.12.2010Операція піднесення до нульового степеня та цілий від'ємний степінь. Введення поняття степеня з ірраціональним показником. Означення поняття степеня з ірраціональним показником, узагальнення поняття степеня. Дві послідовності, що обирають поняття степеня.
контрольная работа [44,5 K], добавлен 25.06.2009Означення модуля неперервності та його властивості. Дослідження поведінки найкращих наближень неперервної функції алгебраїчними многочленами на базі властивостей введених Діціаном і Тотіка. Вирішення оберненої задачі. Узагальнення теореми Джексона.
курсовая работа [1016,1 K], добавлен 09.07.2015