Математическое введение в декларативное программирование. Зюзысов В.М. - 4 стр.

UptoLike

ВУЗ: 

ТГУ | Томск

Составители: 

Рубрика: 

Основной вклад в развитие программирования как дисциплины несомненно внесли
математики. В недрах математической логики были найдены математически точные поня-
тия алгоритма и вычислимой функции, развита семантика формальных языков и теорий,
построены системы логического вывода – и все это, заметим, было сделано в 30–40-х го-
дах, т. е. в «докомпьютерную эру». Программирование также имеет дело с формальными
языками – языками программирования. Чтобы сделать эти языки удобными и естествен-
ными для человека полезно использовать опыт математической логики, в рамках которой
создан формальный язык математики. Также материальная основа программирования –
современный компьютер – есть воплощение модели, предложенной математиком фон
Нейманом.
Несомненно, из математиков получаются, как правило, неплохие программисты,
поскольку математика подобно гимнастике вырабатывает способности, в данном случае к
интеллектуальной деятельности.
Тем не менее, достаточно мало математиков, которые занимаются практическим
программированием. В настоящее время существуют несколько программных систем, на-
пример, Maple и Mathematica, которые можно рассматривать как великолепные компью-
терные инструменты для научных исследований в области математики. Почему же мате-
матики не стремятся овладеть этими инструментами? Может быть, все дело в том, как
математики изучают программирование?
1 Что такое декларативное программирование?
Я с легкостью сделаю на C++ за месяц
то, что вы с трудом напишите на Лиспе за не-
делю.
Программистский фольклор
1.1 Машина фон Неймана и процедурное программирование
Материальная основа программирования – современный компьютер – есть вопло-
щение модели, предложенной математиком фон Нейманом.
Что такое компьютер фон Неймана? Когда фон Нейман и другие задумывали его
более 50 лет назад, это была изящная, практичная и объединяющая идея, которая упроща-
ла ряд существовавших тогда инженерных и программистских задач. Хотя условия, поро-
дившие архитектуру этого компьютера, с тех пор радикально изменились, тем не менее,
мы по-прежнему идентифицируем понятие «компьютера» с этой концепцией пятидесяти-
летней давности.
В своей простейшей форме компьютер фон Неймана состоит из трех частей: цен-
трального процессорного устройства, памяти и соединительной шины, которая может за
один шаг передавать только одно слово между процессором и памятью (и посылать некий
адрес в память). Можно назвать (Дж. Бэкус) эту шину «бутылочным горлышком» (узким
местом) фон Неймана. В памяти размещается программа и данные, с которыми эта про-
грамма работает.
Задача программы состоит в том, чтобы неким существенным образом изменить
содержимое памяти; если считать, что эта задача должна быть выполнена исключительно
перекачиванием через узость фон Неймана, то становится ясной причина такого названия.

Страницы