Специфика решения задач на электронных вычислительных машинах

Решая задачи на электронной вычислительной машине, программист пользуется:
1) арифметическими вычислениями;
2) формальной логикой, т. е. принятием решения на основе результатов переработки информации. В данной лекции основное внимание будет уделено именно этой нечисленной стороне вопроса.

Рассмотрим методы программирования. Можно указать два метода подготовки задач для решения на вычислительных машинах:
1. Ручное программирование, при котором программа составляется специалистом и которое относится скорее к искусству, чем к науке; 2. Автоматическое программирование, при котором основная часть технической работы выполняется самой машиной.
К области автоматического программирования относятся две основные проблемы. Проблема языков. Для того чтобы ускорить процесс подготовки задачи, необходимо разрабатывать языки, удобные для человека, а не для машины. Это влечет за собой необходимость создания трансляторов, разработки методов их использования и, наконец, создания теории таких формальных трансляторов. Для организаций, применяющих много машин, каждая из которых имеет свой особый язык, требуется унифицированный язык для повышения эффективности их использования.
Тогда автоматизация решения задачи станет подлинно научной дисциплиной. Проблема хранения программ. Каждая задача, решенная на вычислительной машине, может рассматриваться как частица общей суммы знаний, накопленных как в одной из конкретных областей, так и в самой области решения задач.
Объем информации, относящейся к автоматизации решения задач, так тщательно пополняемый теми, кто работает на вычислительных машинах, должен воплощаться в такой форме, чтобы машина могла хранить, решать или получать извне программы решения задач, составленные не только человеком, но и самой конкретной машиной, а также другими машинами.

Источник: delete-it