Кургаев, А. Ф. Интерпретатор универсальной машины Тьюринга [Текст] / А. Ф. Кургаев, С. Н. Григорьев> // Доповіді Національної академії наук України. - 2016. - № 10. - С. 28-34. - Библиогр. в конце ст. Рубрики: Математика--Математична кібернетика--Теорія керуючих систем Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування Математика--Дослідження операцій--Математичне програмування Кл.слова (ненормовані): Метаязык -- База знаний -- Форма знаний -- Язык формальный Анотація: На прикладі інтерпретатора універсальної машини Тьюрінга доведено достатність виразних можливостей метамови нормальних форм знань для постановки та розв'язку довільного завдання, для якого є розв'язок, і отже, універсальність машини, що реалізує цю мову. Дано формальний текстовий та графічний опис інтерпретатора. Дод.точки доступу: Григорьев, С. Н. |
Кургаев, А. Ф. Новое определение языка веб-онтологий OWL2 [Текст] / А. Ф. Кургаев> // Доповіді Національної академії наук України. - 2018. - № 3. - С. 22-35. - Библиогр. в конце ст. Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування Комп'ютерна наука і технологія--Дані--Системи управління базами даних Комп'ютерна наука і технологія--Штучний інтелект--Представлення знань Кл.слова (ненормовані): Синтаксис -- Метаязык -- Форма знаний Анотація: Дано у метамові нормальних форм знань (НФЗ) описи манчестерського синтаксису й синтаксису функціонального стилю мови веб-онтологій OWL2 - центральної мови семантичного стека Тіма Бернерс-Лі. |