Елементи конкретної алгоритміки: обчислюваність і розв’язність
Розглядається підхід до доведення фундаментальних результатів теорії рекурсивних функцій за допомогою використання конкретних алгоритмів. Для цього точно описуються основні конструкції алгоритму і переформульовується (конкретизується) теза Чорча для більш вузьких класів алгоритмічно обчислюваних фун...
Збережено в:
| Дата: | 2020 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2020
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/180465 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Елементи конкретної алгоритміки: обчислюваність і розв’язність / О.І. Провотар, О.О. Провотар // Проблеми програмування. — 2020. — № 2-3. — С. 198-207. — Бібліогр.: 5 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-180465 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1804652021-09-30T01:26:50Z Елементи конкретної алгоритміки: обчислюваність і розв’язність Провотар, О.І. Провотар, О.О. Теоретичні та методологічні основи програмування Розглядається підхід до доведення фундаментальних результатів теорії рекурсивних функцій за допомогою використання конкретних алгоритмів. Для цього точно описуються основні конструкції алгоритму і переформульовується (конкретизується) теза Чорча для більш вузьких класів алгоритмічно обчислюваних функцій. За допомогою такого підходу належність функцій до класів алгоритмічно обчислюваних аргументується побудовою відповідних алгоритмів. Рассматривается подход к доказательству фундаментальных результатов теории рекурсивных функций с помощью использования конкретных алгоритмов. Для этого точно описываются основные конструкции алгоритма и уточняется (конкретизируется) тезис Чорча для более узких классов алгоритмически вычислительных функций. С помощью такого подхода принадлежность функций к классам алгоритмически вычислимых аргументируется построением соответствующих алгоритмов. An approach to proving the fundamental results of the theory of recursive functions using specific algorithms is consider. For this, the basic constructions of the algorithm are describing exactly and Church's thesis for more narrow classes of algorithmically computational functions is specified (concretized). Using this approach, the belonging of functions to classes of algorithmically computable is argued by the construction of the corresponding algorithms. 2020 Article Елементи конкретної алгоритміки: обчислюваність і розв’язність / О.І. Провотар, О.О. Провотар // Проблеми програмування. — 2020. — № 2-3. — С. 198-207. — Бібліогр.: 5 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/180465 681.3 DOI: https://doi.org/10.15407/pp2020.02-03.198 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Провотар, О.І. Провотар, О.О. Елементи конкретної алгоритміки: обчислюваність і розв’язність Проблеми програмування |
| description |
Розглядається підхід до доведення фундаментальних результатів теорії рекурсивних функцій за допомогою використання конкретних алгоритмів. Для цього точно описуються основні конструкції алгоритму і переформульовується (конкретизується) теза Чорча для більш вузьких класів алгоритмічно обчислюваних функцій. За допомогою такого підходу належність функцій до класів алгоритмічно обчислюваних аргументується побудовою відповідних алгоритмів. |
| format |
Article |
| author |
Провотар, О.І. Провотар, О.О. |
| author_facet |
Провотар, О.І. Провотар, О.О. |
| author_sort |
Провотар, О.І. |
| title |
Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_short |
Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_full |
Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_fullStr |
Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_full_unstemmed |
Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_sort |
елементи конкретної алгоритміки: обчислюваність і розв’язність |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2020 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/180465 |
| citation_txt |
Елементи конкретної алгоритміки: обчислюваність і розв’язність / О.І. Провотар, О.О. Провотар // Проблеми програмування. — 2020. — № 2-3. — С. 198-207. — Бібліогр.: 5 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT provotaroí elementikonkretnoíalgoritmíkiobčislûvanístʹírozvâznístʹ AT provotaroo elementikonkretnoíalgoritmíkiobčislûvanístʹírozvâznístʹ |
| first_indexed |
2023-10-18T22:50:04Z |
| last_indexed |
2023-10-18T22:50:04Z |
| _version_ |
1796156556463570944 |