Шукати за:
Роком видання
Автором
Назвою статті
До поняття функції як обчислювальної процедури
Повний текст (PDF)
УДК: 004.8:519.254
Мова публікації: Російська
Stuc. intelekt. 2010; 15; (4):20-29
Анотація: Робота присвячена формальному уточненню загального поняття функції як обчислювальної процедури. При цьому вибирається гранично можливий рівень абстракції, який умовно можна було б назвати пропозиційним: усі об’єкти трактуються виключно як теоретико-множинні «чорні скриньки». Поняття функції-процедури дозволяє уточнити і загальне поняття абстрактного алгоритму – воно стає його похідним. Розглядаються загальні властивості таких алгоритмів. Показано, що функції-процедури і абстрактні алгоритми замкнені відносно регулярних композицій. Для табличних алгоритмів подано загальний розв’язок проблеми аналізу.
Ключові слова:
Посилання:
Переглянути повний текст статті (PDF)