Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>AT=Кургаев Интерпретатор универсальной машины Тьюринга$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Кургаев А. Ф. Интерпретатор универсальной машины Тьюринга [Електронний ресурс] / А. Ф. Кургаев, С. Н. Григорьев // Доповіді Національної академії наук України. - 2016. - № 10. - С. 28-34. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2016_10_7 На примере интерпретатора универсальной машины Тьюринга (ИУМТ) доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей этот язык. В процессе обоснования универсальности метаязыка НФЗ даны формальные текстовое и графическое описания ИУМТ. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |