Головна Спрощенний режим Опис
Авторизація
Прізвище
Пароль
 

Бази даних


Картотека аналітичного опису періодичних видань- результати пошуку

Вид пошуку
Генеральний каталог ЧОУНБ
Картотека аналітичного опису періодичних видань
Каталог журналів
Каталог газет
Буковина
Бібліотека П.В.Рихла
Бібліотека М.М.Фатова
Бібліотека О.М.Масана
Бібліотека О.С.Романця
Бібліотека Т.В.Покотило
Бібліотека В.І.Михайловсього
Шевченко Т. Г.
Хотинська бібліотека
Нотна бібліотека Й.М.Ельгісера
Бібліотека Д.М.Гнатюка
Бібліотека В.Д.Бялика
Бібліотека Т.П.Смолдиревої
Бібліотека І.Г.Чеховського
Бібліотека Я.Д.Кіршенблата
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>S=Комп'ютерна наука і технологія -- Програмне забезпечення -- Мови програмування<.>
Загальна кількість знайдених документів : 2
Показані документи с 1 за 2
1.


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


Дод.точки доступу:
Григорьев, С. Н.

Знайти схожі
2.


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


Знайти схожі
 
Стандартний
Розширений
Професійний
Розподілений
За словником
ДРНТІ-навігатор
УДК-навігатор
ББК-навігатор
Тематичний навігатор
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)