Елементи конкретної алгоритміки: обчислюваність і розв’язність
Розглядається підхід до доведення фундаментальних результатів теорії рекурсивних функцій за допомогою використання конкретних алгоритмів. Для цього точно описуються основні конструкції алгоритму і переформульовується (конкретизується) теза Чорча для більш вузьких класів алгоритмічно обчислюваних фун...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2020 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2020
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862556080724246528 |
|---|---|
| author | Провотар, О.І. Провотар, О.О. |
| author_facet | Провотар, О.І. Провотар, О.О. |
| citation_txt | Елементи конкретної алгоритміки: обчислюваність і розв’язність / О.І. Провотар, О.О. Провотар // Проблеми програмування. — 2020. — № 2-3. — С. 198-207. — Бібліогр.: 5 назв. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | Розглядається підхід до доведення фундаментальних результатів теорії рекурсивних функцій за допомогою використання конкретних алгоритмів. Для цього точно описуються основні конструкції алгоритму і переформульовується (конкретизується) теза Чорча для більш вузьких класів алгоритмічно обчислюваних функцій. За допомогою такого підходу належність функцій до класів алгоритмічно обчислюваних аргументується побудовою відповідних алгоритмів.
Рассматривается подход к доказательству фундаментальных результатов теории рекурсивных функций с помощью использования конкретных алгоритмов. Для этого точно описываются основные конструкции алгоритма и уточняется (конкретизируется) тезис Чорча для более узких классов алгоритмически вычислительных функций. С помощью такого подхода принадлежность функций к классам алгоритмически вычислимых аргументируется построением соответствующих алгоритмов.
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.
|
| first_indexed | 2025-11-25T22:34:40Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-180465 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-25T22:34:40Z |
| publishDate | 2020 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Провотар, О.І. Провотар, О.О. 2021-09-29T16:36:09Z 2021-09-29T16:36:09Z 2020 Елементи конкретної алгоритміки: обчислюваність і розв’язність / О.І. Провотар, О.О. Провотар // Проблеми програмування. — 2020. — № 2-3. — С. 198-207. — Бібліогр.: 5 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/180465 681.3 DOI: https://doi.org/10.15407/pp2020.02-03.198 Розглядається підхід до доведення фундаментальних результатів теорії рекурсивних функцій за допомогою використання конкретних алгоритмів. Для цього точно описуються основні конструкції алгоритму і переформульовується (конкретизується) теза Чорча для більш вузьких класів алгоритмічно обчислюваних функцій. За допомогою такого підходу належність функцій до класів алгоритмічно обчислюваних аргументується побудовою відповідних алгоритмів. Рассматривается подход к доказательству фундаментальных результатов теории рекурсивных функций с помощью использования конкретных алгоритмов. Для этого точно описываются основные конструкции алгоритма и уточняется (конкретизируется) тезис Чорча для более узких классов алгоритмически вычислительных функций. С помощью такого подхода принадлежность функций к классам алгоритмически вычислимых аргументируется построением соответствующих алгоритмов. 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. uk Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Елементи конкретної алгоритміки: обчислюваність і розв’язність Элементы конкретной алгоритмики: вычислимость и развязность Elements of concrete algorithmics: computability and solvability Article published earlier |
| spellingShingle | Елементи конкретної алгоритміки: обчислюваність і розв’язність Провотар, О.І. Провотар, О.О. Теоретичні та методологічні основи програмування |
| title | Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_alt | Элементы конкретной алгоритмики: вычислимость и развязность Elements of concrete algorithmics: computability and solvability |
| title_full | Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_fullStr | Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_full_unstemmed | Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_short | Елементи конкретної алгоритміки: обчислюваність і розв’язність |
| title_sort | елементи конкретної алгоритміки: обчислюваність і розв’язність |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/180465 |
| 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ʹ AT provotaroí élementykonkretnoialgoritmikivyčislimostʹirazvâznostʹ AT provotaroo élementykonkretnoialgoritmikivyčislimostʹirazvâznostʹ AT provotaroí elementsofconcretealgorithmicscomputabilityandsolvability AT provotaroo elementsofconcretealgorithmicscomputabilityandsolvability |