К понятию функции как вычислительной процедуре
Работа посвящена формальному уточнению общего понятия функции как вычислительной процедуры. При этом выбирается предельно возможный уровень абстракции, который условно можно было бы назвать пропозициональным: все объекты трактуются исключительно как теоретико-множественные «черные ящики». Понятие фу...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2010
|
| Назва видання: | Штучний інтелект |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/58341 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | К понятию функции как вычислительной процедуре / В.В. Зубенко // Штучний інтелект. — 2010. — № 4. — С. 20-29. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-58341 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-583412014-03-23T03:01:22Z К понятию функции как вычислительной процедуре Зубенко, В.В. Концептуальные проблемы создания систем искусственного интеллекта Работа посвящена формальному уточнению общего понятия функции как вычислительной процедуры. При этом выбирается предельно возможный уровень абстракции, который условно можно было бы назвать пропозициональным: все объекты трактуются исключительно как теоретико-множественные «черные ящики». Понятие функции-процедуры позволяет уточнить и общее понятие абстрактного алгоритма – оно становится его производным. Рассматриваются общие свойства таких алгоритмов. Показано, что функции-процедуры и абстрактные алгоритмы замкнуты относительно регулярных композиций. Для табличных алгоритмов дано общее решение проблемы анализа. Робота присвячена формальному уточненню загального поняття функції як обчислювальної процедури. При цьому вибирається гранично можливий рівень абстракції, який умовно можна було б назвати пропозиційним: усі об’єкти трактуються виключно як теоретико-множинні «чорні скриньки». Поняття функції-процедури дозволяє уточнити і загальне поняття абстрактного алгоритму – воно стає його похідним. Розглядаються загальні властивості таких алгоритмів. Показано, що функції-процедури і абстрактні алгоритми замкнені відносно регулярних композицій. Для табличних алгоритмів подано загальний розв’язок проблеми аналізу. 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 2010 Article К понятию функции как вычислительной процедуре / В.В. Зубенко // Штучний інтелект. — 2010. — № 4. — С. 20-29. — Бібліогр.: 4 назв. — рос. 1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/58341 004.8:519.254 ru Штучний інтелект Інститут проблем штучного інтелекту МОН України та НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Концептуальные проблемы создания систем искусственного интеллекта Концептуальные проблемы создания систем искусственного интеллекта |
| spellingShingle |
Концептуальные проблемы создания систем искусственного интеллекта Концептуальные проблемы создания систем искусственного интеллекта Зубенко, В.В. К понятию функции как вычислительной процедуре Штучний інтелект |
| description |
Работа посвящена формальному уточнению общего понятия функции как вычислительной процедуры. При этом выбирается предельно возможный уровень абстракции, который условно можно было бы назвать пропозициональным: все объекты трактуются исключительно как теоретико-множественные «черные ящики». Понятие функции-процедуры позволяет уточнить и общее понятие абстрактного алгоритма – оно становится его производным. Рассматриваются общие свойства таких алгоритмов. Показано, что функции-процедуры и абстрактные алгоритмы замкнуты относительно регулярных композиций. Для табличных алгоритмов дано общее решение проблемы анализа. |
| format |
Article |
| author |
Зубенко, В.В. |
| author_facet |
Зубенко, В.В. |
| author_sort |
Зубенко, В.В. |
| title |
К понятию функции как вычислительной процедуре |
| title_short |
К понятию функции как вычислительной процедуре |
| title_full |
К понятию функции как вычислительной процедуре |
| title_fullStr |
К понятию функции как вычислительной процедуре |
| title_full_unstemmed |
К понятию функции как вычислительной процедуре |
| title_sort |
к понятию функции как вычислительной процедуре |
| publisher |
Інститут проблем штучного інтелекту МОН України та НАН України |
| publishDate |
2010 |
| topic_facet |
Концептуальные проблемы создания систем искусственного интеллекта |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/58341 |
| citation_txt |
К понятию функции как вычислительной процедуре / В.В. Зубенко
// Штучний інтелект. — 2010. — № 4. — С. 20-29. — Бібліогр.: 4 назв. — рос. |
| series |
Штучний інтелект |
| work_keys_str_mv |
AT zubenkovv kponâtiûfunkciikakvyčislitelʹnojprocedure |
| first_indexed |
2023-10-18T18:31:55Z |
| last_indexed |
2023-10-18T18:31:55Z |
| _version_ |
1796144463358197760 |