Ну, вот и закончилась эта тяжелая, для меня, неделя, здравствуйте.
Для начала маленькое некоммерческое объявление для жителей Москвы!
Котенок серенький никому не нужен? Мальчик. Порода обыкновенная(те что по улице бегают). Возраст- около 2 месяцев. В туалет вроде сам ходит. Родился от кошки моей знакомой.
Лично доставлю сам в любую точку Москвы и Московской области.
Многочисленные письма с критикой идеи разработок на базе сайта привели меня к мысли о коллективном ответе, и так как вопрос вызвал много более живую реакцию, чем ожидалось, я написал коллективный ответ и выложил его в форуме: по этому адресу.
Всем сомневающимся читать будет интересно.
Ну, в общем, с организационной частью закончили. Переходим к нашей теме рассылки.
Статья - новый перевод Альфа.
Навстречу корректным программам (EWD241)
Цель данного документа - отметить, какие вспомогательные средства для нашего
интеллекта мы имеем в своем распоряжении для разработки и понимания алгоритмов,
продемонстрировать некоторые приемы программирования, которые мы можем
попытаться применить к своим задачам без ущерба для понимания, и подчеркнуть
потребность в том, чтобы наши программы (т.е. окончательные и промежуточные
версии) как можно точнее отражали наше понимание задачи и алгоритма ее решения.
Среди вспомогательных средств для интеллекта я особо хотел бы упомянуть три:
1. Перечисление.
2. Математическая индукция.
3. Абстракция.
Я рассматриваю как применение Перечисления умственные усилия, необходимые для
понимания либо последовательной программы, выполняющей фиксированную временную
последовательность действий, либо условного оператора, либо оператора выбора
(так называемая "конструкция case"). Я считаю, что одно из основных свойств
человеческого разума - плохая способность к перечислению. В частности, это
означает: