К понятию функции как вычислительной процедуре
Работа посвящена формальному уточнению общего понятия функции как вычислительной процедуры. При этом выбирается предельно возможный уровень абстракции, который условно можно было бы назвать пропозициональным: все объекты трактуются исключительно как теоретико-множественные «черные ящики». Понятие фу...
Saved in:
| Published in: | Штучний інтелект |
|---|---|
| Date: | 2010 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем штучного інтелекту МОН України та НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/58341 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | К понятию функции как вычислительной процедуре / В.В. Зубенко 
 // Штучний інтелект. — 2010. — № 4. — С. 20-29. — Бібліогр.: 4 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862691240342978560 |
|---|---|
| author | Зубенко, В.В. |
| author_facet | Зубенко, В.В. |
| citation_txt | К понятию функции как вычислительной процедуре / В.В. Зубенко 
 // Штучний інтелект. — 2010. — № 4. — С. 20-29. — Бібліогр.: 4 назв. — рос. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Работа посвящена формальному уточнению общего понятия функции как вычислительной процедуры. При этом выбирается предельно возможный уровень абстракции, который условно можно было бы назвать пропозициональным: все объекты трактуются исключительно как теоретико-множественные «черные ящики». Понятие функции-процедуры позволяет уточнить и общее понятие абстрактного алгоритма – оно становится его производным. Рассматриваются общие свойства таких алгоритмов. Показано, что функции-процедуры и абстрактные алгоритмы замкнуты относительно регулярных композиций. Для табличных алгоритмов дано общее решение проблемы анализа.
Робота присвячена формальному уточненню загального поняття функції як обчислювальної процедури. При цьому вибирається гранично можливий рівень абстракції, який умовно можна було б назвати пропозиційним: усі об’єкти трактуються виключно як теоретико-множинні «чорні скриньки». Поняття функції-процедури дозволяє уточнити і загальне поняття абстрактного алгоритму – воно стає його похідним. Розглядаються загальні властивості таких алгоритмів. Показано, що функції-процедури і абстрактні алгоритми замкнені відносно регулярних композицій. Для табличних алгоритмів подано загальний розв’язок проблеми аналізу.
The research is dedicated to the formal refinements of general notion of function as a computational
procedure. The strongest level of abstraction is adopted: all objects are treated as “black box”. The notion of
function as a procedure makes it possible to revise generic notion of abstract algorithm, as it becomes it’s
derivative. The general properties of such algorithms are considered. It is proven that classes of functionprocedures
and abstract algorithms are closed under regular compositions. A generic solution for the tabulated algorithms analysis problem is proposed
|
| first_indexed | 2025-12-07T16:15:37Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-58341 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-12-07T16:15:37Z |
| publishDate | 2010 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Зубенко, В.В. 2014-03-22T15:47:42Z 2014-03-22T15:47:42Z 2010 К понятию функции как вычислительной процедуре / В.В. Зубенко 
 // Штучний інтелект. — 2010. — № 4. — С. 20-29. — Бібліогр.: 4 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/58341 004.8:519.254 Работа посвящена формальному уточнению общего понятия функции как вычислительной процедуры. При этом выбирается предельно возможный уровень абстракции, который условно можно было бы назвать пропозициональным: все объекты трактуются исключительно как теоретико-множественные «черные ящики». Понятие функции-процедуры позволяет уточнить и общее понятие абстрактного алгоритма – оно становится его производным. Рассматриваются общие свойства таких алгоритмов. Показано, что функции-процедуры и абстрактные алгоритмы замкнуты относительно регулярных композиций. Для табличных алгоритмов дано общее решение проблемы анализа. Робота присвячена формальному уточненню загального поняття функції як обчислювальної процедури. При цьому вибирається гранично можливий рівень абстракції, який умовно можна було б назвати пропозиційним: усі об’єкти трактуються виключно як теоретико-множинні «чорні скриньки». Поняття функції-процедури дозволяє уточнити і загальне поняття абстрактного алгоритму – воно стає його похідним. Розглядаються загальні властивості таких алгоритмів. Показано, що функції-процедури і абстрактні алгоритми замкнені відносно регулярних композицій. Для табличних алгоритмів подано загальний розв’язок проблеми аналізу. The research is dedicated to the formal refinements of general notion of function as a computational
 procedure. The strongest level of abstraction is adopted: all objects are treated as “black box”. The notion of
 function as a procedure makes it possible to revise generic notion of abstract algorithm, as it becomes it’s
 derivative. The general properties of such algorithms are considered. It is proven that classes of functionprocedures
 and abstract algorithms are closed under regular compositions. A generic solution for the tabulated algorithms analysis problem is proposed ru Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Концептуальные проблемы создания систем искусственного интеллекта К понятию функции как вычислительной процедуре До поняття функції як обчислювальної процедури To the Concept of Function as a Computational Procedure Article published earlier |
| spellingShingle | К понятию функции как вычислительной процедуре Зубенко, В.В. Концептуальные проблемы создания систем искусственного интеллекта |
| title | К понятию функции как вычислительной процедуре |
| title_alt | До поняття функції як обчислювальної процедури To the Concept of Function as a Computational Procedure |
| title_full | К понятию функции как вычислительной процедуре |
| title_fullStr | К понятию функции как вычислительной процедуре |
| title_full_unstemmed | К понятию функции как вычислительной процедуре |
| title_short | К понятию функции как вычислительной процедуре |
| title_sort | к понятию функции как вычислительной процедуре |
| topic | Концептуальные проблемы создания систем искусственного интеллекта |
| topic_facet | Концептуальные проблемы создания систем искусственного интеллекта |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/58341 |
| work_keys_str_mv | AT zubenkovv kponâtiûfunkciikakvyčislitelʹnoiprocedure AT zubenkovv doponâttâfunkcííâkobčislûvalʹnoíproceduri AT zubenkovv totheconceptoffunctionasacomputationalprocedure |