Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань
Проведено аналіз використання апарата математичної логіки в задачах програмування та досліджено ефективність застосування тризначної математичної логіки для обробки сценарних прикладів з метою побудови адаптивної навчальної траєкторії в автоматизованих системах передачі знань. Проведен анализ исполь...
Збережено в:
| Опубліковано в: : | Математичні машини і системи |
|---|---|
| Дата: | 2013 |
| Автори: | Федорук, П.І., Пікуляк, М.В. |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/83802 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань / П.І. Федорук, М.В. Пікуляк // Мат. машини і системи. — 2013. — № 1. — С. 94-101. — Бібліогр.: 12 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Технологія побудови навчального процесу в адаптивних системах дистанційного навчання та контролю знань
за авторством: Федорук, П.І.
Опубліковано: (2009)
за авторством: Федорук, П.І.
Опубліковано: (2009)
Методи використання онтологічних засобів представлення знань в автоматизованих системах
за авторством: Білокопитова, Майя Володимирівна
Опубліковано: (2015)
за авторством: Білокопитова, Майя Володимирівна
Опубліковано: (2015)
Методи використання онтологічних засобів представлення знань в автоматизованих системах
за авторством: Білокопитова, М.В.
Опубліковано: (2015)
за авторством: Білокопитова, М.В.
Опубліковано: (2015)
Використання адаптивних тестів в інтелектуальних системах контролю знань
за авторством: Федорук, П.І.
Опубліковано: (2008)
за авторством: Федорук, П.І.
Опубліковано: (2008)
Інформаційна технологія синтезу моделей безпроводових засобів передачі даних на основі адаптивного кодування
за авторством: Горлинський, Б.В.
Опубліковано: (2017)
за авторством: Горлинський, Б.В.
Опубліковано: (2017)
Встановлення функціональної залежності між виникненням лісових пожеж і характеристиками сонячної активності на основі Data Mining
за авторством: Радованович, М., та інші
Опубліковано: (2015)
за авторством: Радованович, М., та інші
Опубліковано: (2015)
Технологія розробки навчального модуля в адаптивній системі дистанційного навчання та контролю знань
за авторством: Федорук, П.І.
Опубліковано: (2005)
за авторством: Федорук, П.І.
Опубліковано: (2005)
Модель подання знань для раціонального агента в автоматизованому системному проектуванні ІАСУ
за авторством: Буяльський, В.М.
Опубліковано: (2008)
за авторством: Буяльський, В.М.
Опубліковано: (2008)
Моделирование в обучающих системах
за авторством: Литвинов, В.В., та інші
Опубліковано: (2009)
за авторством: Литвинов, В.В., та інші
Опубліковано: (2009)
Використання системи WRF-Україна для прогнозування агрометеорологічних умов
за авторством: Ковалець, І.В., та інші
Опубліковано: (2019)
за авторством: Ковалець, І.В., та інші
Опубліковано: (2019)
Використання системи WRF-Україна для прогнозування агрометеорологічних умов
за авторством: Ковалець, І.В, та інші
Опубліковано: (2019)
за авторством: Ковалець, І.В, та інші
Опубліковано: (2019)
Графова інтерпретація інформаційних систем на основі баз даних та знань в рамках концепції задоволення обмежень та правил
за авторством: Випасняк, Л.І., та інші
Опубліковано: (2010)
за авторством: Випасняк, Л.І., та інші
Опубліковано: (2010)
Методи формального опису систем управління повноваженнями на основі використання математичної логіки
за авторством: Дурняк, Б.В., та інші
Опубліковано: (2010)
за авторством: Дурняк, Б.В., та інші
Опубліковано: (2010)
Методика визначення вимірності та похибки рішення системи лінійних рівнянь математичної моделі випадкового сигналу лінії зв’язку системи охорони військових та інших важливих об’єктів
за авторством: Бєлявін, В.Ф.
Опубліковано: (2009)
за авторством: Бєлявін, В.Ф.
Опубліковано: (2009)
Технологія розробки системи дистанційного навчання для використання у вищому навчальному закладі
за авторством: Ляхов, О.Л., та інші
Опубліковано: (2014)
за авторством: Ляхов, О.Л., та інші
Опубліковано: (2014)
Аналіз методів підтримки прийняття рішень у лікувальних системах
за авторством: Шаховська, Н.Б., та інші
Опубліковано: (2011)
за авторством: Шаховська, Н.Б., та інші
Опубліковано: (2011)
О древовидной форме поиска опровержения в интеллектуальных системах с логическими возможностями
за авторством: Афонин, А.А.
Опубліковано: (2010)
за авторством: Афонин, А.А.
Опубліковано: (2010)
О распараллеливании пользовательских задач в распределенных компьютерных системах типа «процессор-в-памяти»
за авторством: Елисеева, Е.В.
Опубліковано: (2010)
за авторством: Елисеева, Е.В.
Опубліковано: (2010)
Технологія обробки просторових даних засобами ГІС для використання в розподілених гідрологічних моделях
за авторством: Бойко, О.В.
Опубліковано: (2012)
за авторством: Бойко, О.В.
Опубліковано: (2012)
Основи використання методу "Спектр знань" у дистанційному навчанні
за авторством: Федорук, П.І., та інші
Опубліковано: (2011)
за авторством: Федорук, П.І., та інші
Опубліковано: (2011)
Адаптація процесу навчання в системах дистанційної освіти на основі оцінки швидкості сприйняття та засвоєння знань студентами
за авторством: Федорук, П.І.
Опубліковано: (2006)
за авторством: Федорук, П.І.
Опубліковано: (2006)
Застосування теорії мультимножин для формування індивідуального квантового набору навчального контенту
за авторством: Пікуляк, М.В.
Опубліковано: (2014)
за авторством: Пікуляк, М.В.
Опубліковано: (2014)
ВИКОРИСТАННЯ ПРИНЦИПІВ НЕЧІТКОЇ ЛОГІКИ ДЛЯ СИНТЕЗУ ЕЛЕМЕНТІВ БАГАТОЗНАЧНОЇ ЛОГІКИ
за авторством: Кичак, В. М., та інші
Опубліковано: (2013)
за авторством: Кичак, В. М., та інші
Опубліковано: (2013)
ЗАСТОСУВАННЯ МОДАЛЬНОЇ ЛОГІКИ ПРИ ПРИЙНЯТТІ РІШЕНЬ НА МОДЕЛЯХ ЗНАНЬ
за авторством: Коваленко, Олексій Єпіфанович
Опубліковано: (2012)
за авторством: Коваленко, Олексій Єпіфанович
Опубліковано: (2012)
Застосування модальної логіки при прийнятті рішень на моделях знань
за авторством: Коваленко, О.Є.
Опубліковано: (2012)
за авторством: Коваленко, О.Є.
Опубліковано: (2012)
Порівняння деяких просторово-часових моделей геоданих у застосуванні до організації інформаційних ресурсів ГІС сфери державного управління (на прикладі лісового господарства)
за авторством: Хурцилава, К.В., та інші
Опубліковано: (2019)
за авторством: Хурцилава, К.В., та інші
Опубліковано: (2019)
Дослідження безпеки складних екологічних систем з використанням модифікованого алгебраїчно-ймовірнісного методу
за авторством: Хнигічева, А.М., та інші
Опубліковано: (2014)
за авторством: Хнигічева, А.М., та інші
Опубліковано: (2014)
Математична модель багатокритеріальної оптимізації на множині сполучень при побудові комп’ютерних мереж
за авторством: Колєчкіна, Л.М., та інші
Опубліковано: (2016)
за авторством: Колєчкіна, Л.М., та інші
Опубліковано: (2016)
Моделювання діалектного тексту в технології багаторівневого інформаційного моніторингу
за авторством: Голуб, С.В., та інші
Опубліковано: (2016)
за авторством: Голуб, С.В., та інші
Опубліковано: (2016)
Архітектура побудови віртуального оточення для грід-застосувань
за авторством: Казимир, В.В., та інші
Опубліковано: (2017)
за авторством: Казимир, В.В., та інші
Опубліковано: (2017)
Типовые ошибки в информационных ресурсах ГИС, правила и особенности их выявления в сфере лесного хозяйства (на примере системы "ГИС-Леспроект")
за авторством: Литвинов, В.А., та інші
Опубліковано: (2016)
за авторством: Литвинов, В.А., та інші
Опубліковано: (2016)
"Платформа как сервис" в грид для интерактивного анализа медицинских данных
за авторством: Сальников, А.А., та інші
Опубліковано: (2015)
за авторством: Сальников, А.А., та інші
Опубліковано: (2015)
Современные подходы к построению корпоративных информационных систем
за авторством: Лисецкий, Ю.М.
Опубліковано: (2017)
за авторством: Лисецкий, Ю.М.
Опубліковано: (2017)
Вирішення оптимізаційних задач при обґрунтуванні проектів ППР за методикою DOTMLPF
за авторством: Кряжич, О.О.
Опубліковано: (2014)
за авторством: Кряжич, О.О.
Опубліковано: (2014)
Розробка комплексного методу пошуку і оцінки проектних рішень для маркетингових інформаційних систем
за авторством: Левикін, В.М., та інші
Опубліковано: (2012)
за авторством: Левикін, В.М., та інші
Опубліковано: (2012)
Моделювання впливу факторів на металургійну галузь України у програмі Global Trade Analysis Project
за авторством: Кривогуб, А.М., та інші
Опубліковано: (2016)
за авторством: Кривогуб, А.М., та інші
Опубліковано: (2016)
Удосконалення методу висхідного синтезу елементів в інформаційній технології багаторівневого моніторингу мобільного робота
за авторством: Харченко, О.В., та інші
Опубліковано: (2016)
за авторством: Харченко, О.В., та інші
Опубліковано: (2016)
Особливості проектування систем підтримки лікувальних рішень
за авторством: Мельникова, Н.І., та інші
Опубліковано: (2014)
за авторством: Мельникова, Н.І., та інші
Опубліковано: (2014)
Относительная производительность ускоренного ввода ключевого слова в поисковой системе с пошаговой подсказкой
за авторством: Литвинов, В.А., та інші
Опубліковано: (2013)
за авторством: Литвинов, В.А., та інші
Опубліковано: (2013)
Создание расчетной сетки для экологических моделей на основе свободно доступных ГИС-данных
за авторством: Халченков, А.В.
Опубліковано: (2016)
за авторством: Халченков, А.В.
Опубліковано: (2016)
Схожі ресурси
-
Технологія побудови навчального процесу в адаптивних системах дистанційного навчання та контролю знань
за авторством: Федорук, П.І.
Опубліковано: (2009) -
Методи використання онтологічних засобів представлення знань в автоматизованих системах
за авторством: Білокопитова, Майя Володимирівна
Опубліковано: (2015) -
Методи використання онтологічних засобів представлення знань в автоматизованих системах
за авторством: Білокопитова, М.В.
Опубліковано: (2015) -
Використання адаптивних тестів в інтелектуальних системах контролю знань
за авторством: Федорук, П.І.
Опубліковано: (2008) -
Інформаційна технологія синтезу моделей безпроводових засобів передачі даних на основі адаптивного кодування
за авторством: Горлинський, Б.В.
Опубліковано: (2017)