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

Бази даних


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

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

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

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