Непейвода Н.Н. Программирование. Раздел 1

Непейвода Н.Н. Программирование. Страница 114

Реальный проект — это смесь нисходящего и восходящего подходов:

сначала сверху вниз для выяснения крупных "строительных блоков" (при любой технологии: от данных или от действий);

затем попытка движения снизу вверх, чтобы спроецировать понятия, оформившиеся ранее, на абстрактные структуры, допускающие аде­кватную реализацию;

далее проверка соответствия, углубление нисходящей декомпозиции и обобщение понятий, выделенных восходящими приемами.

§ 3.4. СЕНТЕНЦИАЛЬНОЕ ПРОГРАММИРОВАНИЕ

Теорией, вдохновившей создателей сентенциального программирования, являются такие формализации понятия алгоритма, как алгоритмы Марко­ва и Колмогорова, и логические исчисления с крупноблочными правилами вывода (например, метод резолюций).

Схема сентенциального программирования получила две различные реализации, появившиеся практически одновременно (Рефал, Россия, В. Ф. Турчин, 1968, Prolog, Р. Ковальски, М. ван Эмден, Великобритания, А. Колмероэ, Канада, 19711974 гг.) и активно используемые до настоящего времени. Обе они концептуально интересны, и поэтому мы их рассматрива­ем в соответствующей главе.

В. Ф. Турчин предложил термин "сентенциальное программирование", и он наиболее четко проанализировал методологические особенности этого стиля на том уровне, на котором это было возможно в 70х гг. Его анализ лег в основу нашего рассмотрения, но еще более важно то, что высочайшая на­учная и общая культура создателя языка позволила ему избежать эффектных, но необоснованных заявлений, которыми кишат многие методологические работы. Поэтому ни один из компонентов анализа Турчина не был отверг­нут здесь, хотя, конечно же, он был существенно пересмотрен и дополнен с позиций современной теории и практики.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама