К понятию функции как вычислительной процедуре
Работа посвящена формальному уточнению общего понятия функции как вычислительной процедуры. При этом выбирается предельно возможный уровень абстракции, который условно можно было бы назвать пропозициональным: все объекты трактуются исключительно как теоретико-множественные «черные ящики». Понятие фу...
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| id |
nasplib_isofts_kiev_ua-123456789-58341 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
К понятию функции как вычислительной процедуре |
| spellingShingle |
К понятию функции как вычислительной процедуре Зубенко, В.В. Концептуальные проблемы создания систем искусственного интеллекта |
| title_short |
К понятию функции как вычислительной процедуре |
| title_full |
К понятию функции как вычислительной процедуре |
| title_fullStr |
К понятию функции как вычислительной процедуре |
| title_full_unstemmed |
К понятию функции как вычислительной процедуре |
| title_sort |
к понятию функции как вычислительной процедуре |
| author |
Зубенко, В.В. |
| author_facet |
Зубенко, В.В. |
| topic |
Концептуальные проблемы создания систем искусственного интеллекта |
| topic_facet |
Концептуальные проблемы создания систем искусственного интеллекта |
| publishDate |
2010 |
| language |
Russian |
| container_title |
Штучний інтелект |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| format |
Article |
| title_alt |
До поняття функції як обчислювальної процедури To the Concept of Function as a Computational Procedure |
| 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
|
| issn |
1561-5359 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/58341 |
| citation_txt |
К понятию функции как вычислительной процедуре / В.В. Зубенко // Штучний інтелект. — 2010. — № 4. — С. 20-29. — Бібліогр.: 4 назв. — рос. |
| work_keys_str_mv |
AT zubenkovv kponâtiûfunkciikakvyčislitelʹnoiprocedure AT zubenkovv doponâttâfunkcííâkobčislûvalʹnoíproceduri AT zubenkovv totheconceptoffunctionasacomputationalprocedure |
| first_indexed |
2025-12-07T16:15:37Z |
| last_indexed |
2025-12-07T16:15:37Z |
| _version_ |
1850866807524556800 |