Конкретна алгоритміка
Розглядаються питання конкретизації тези Чорча та її застосування в методології обчислюваності. Рассматриваются вопросы конкретизации тезисов Чорча и их применения в методологии вычислимости. The questions of Cherch’s theses specification and its application in the methodology of computability are c...
Збережено в:
| Опубліковано в: : | Компьютерная математика |
|---|---|
| Дата: | 2016 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/168421 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Конкретна алгоритміка / О.І. Провотар, О.О. Провотар // Компьютерная математика. — 2016. — № 2. — С. 87-93. — Бібліогр.: 2 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862725730460237824 |
|---|---|
| author | Провотар, О.І. Провотар, О.О. |
| author_facet | Провотар, О.І. Провотар, О.О. |
| citation_txt | Конкретна алгоритміка / О.І. Провотар, О.О. Провотар // Компьютерная математика. — 2016. — № 2. — С. 87-93. — Бібліогр.: 2 назв. — укр. |
| collection | DSpace DC |
| container_title | Компьютерная математика |
| description | Розглядаються питання конкретизації тези Чорча та її застосування в методології обчислюваності.
Рассматриваются вопросы конкретизации тезисов Чорча и их применения в методологии вычислимости.
The questions of Cherch’s theses specification and its application in the methodology of computability are considerеd.
|
| first_indexed | 2025-12-07T18:54:07Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-168421 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 2616-938Х |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:54:07Z |
| publishDate | 2016 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Провотар, О.І. Провотар, О.О. 2020-05-01T19:39:51Z 2020-05-01T19:39:51Z 2016 Конкретна алгоритміка / О.І. Провотар, О.О. Провотар // Компьютерная математика. — 2016. — № 2. — С. 87-93. — Бібліогр.: 2 назв. — укр. 2616-938Х https://nasplib.isofts.kiev.ua/handle/123456789/168421 681.3 Розглядаються питання конкретизації тези Чорча та її застосування в методології обчислюваності. Рассматриваются вопросы конкретизации тезисов Чорча и их применения в методологии вычислимости. The questions of Cherch’s theses specification and its application in the methodology of computability are considerеd. uk Інститут кібернетики ім. В.М. Глушкова НАН України Компьютерная математика Вычислительный эксперимент Конкретна алгоритміка Конкретная алгоритмика Concrete algorythmics Article published earlier |
| spellingShingle | Конкретна алгоритміка Провотар, О.І. Провотар, О.О. Вычислительный эксперимент |
| title | Конкретна алгоритміка |
| title_alt | Конкретная алгоритмика Concrete algorythmics |
| title_full | Конкретна алгоритміка |
| title_fullStr | Конкретна алгоритміка |
| title_full_unstemmed | Конкретна алгоритміка |
| title_short | Конкретна алгоритміка |
| title_sort | конкретна алгоритміка |
| topic | Вычислительный эксперимент |
| topic_facet | Вычислительный эксперимент |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/168421 |
| work_keys_str_mv | AT provotaroí konkretnaalgoritmíka AT provotaroo konkretnaalgoritmíka AT provotaroí konkretnaâalgoritmika AT provotaroo konkretnaâalgoritmika AT provotaroí concretealgorythmics AT provotaroo concretealgorythmics |