Определение программирования

10-08-2013, 20:50
Просмотров: 1539
Назовем такую машинную функцию. Совокупность всех таких машинных функций назовем F. Тогда электронные элементы машины образуют оператор, действующий на множество всех функций.
Оператор может быть расширен таким образом, что под этим будет пониматься вся машина, включая вводные и выводные устройства. Назовем такую функцию автоматической вычислительной машиной или оператором, который преобразовывает функцию. Основное множество в таком случае включает не только все двоичные разряды в машине, но и все двоичные разряды на перфоленте, на магнитной ленте, на буквопечатающих и других устройствах, входящих в комплект машины. Теперь пространство функций включает все функции на расширенном таким образом множестве.

Определение программирования


Задачи, предназначенные для решения на машине, должны быть по структуре сходны с самой машиной. Поэтому любая задача должна быть в некотором смысле «математически сходной» с только что описанной структурой машины. Такая задача определяется как некоторый преобразователь или оператор. Может быть нарисована картина, сходная с предыдущей: имеется некоторое множество элементов; некоторое множество функций, а именно и оператор, который устанавливает соответствие между множеством функций и другим множеством.
Это «пространство задачи» может быть функциональным пространством любого типа. Однако только для некоторых задач (в действительности незначительного меньшинства возможных задач) можно надеяться найти точное воспроизведение этого пространства задачи в машине. Проблема подготовки задач для ввода в машину называется программированием.
Программирование заключается в переводе множества функций во множество; а оператора задачи - в машинный оператор. Программирование состоит в установлении соответствия между исходными функциями задачи и машинными функциями, а также между оператором задачи и машинным оператором.

Источник: delete-it
Автор: Николай Максименко
Опубликовано пользователем: 805 (смотреть все)
Комментарии:
» » » Определение программирования