Cтраница 1
Теоретическое программирование ( называемое также в ряде переводных работ теоретической вычислительной наукой или математической теорией вычислений) - это новый раздел математической науки, чьим объектом изучения являются математические абстракции программ - предписаний, выраженных на специальных алгоритмических языках, обладающих определенной информационной и логической структурой и подлежащих выполнению на автоматических вычислительных машинах. Родившись частично из практических потребностей, частично из желания познать природу новых явлений, вызванных электронными вычислительными машинами ( ЭВМ), теоретическое программирование, освоив средства и понятия фундаментальных математических дисциплин - логики, теории алгоритмов, алгебры и комбинаторики, начинает в дополнение к этому постепенно формировать собственный круг понятий и методов. Рассказать о некоторых из них - одна из задач книги, хотя и не главная. [1]
Летичевский и др. Теоретическое программирование в СССР. [2]
Другой удобной чертой теоретического программирования является то, что эта наука рождается у нас на глазах. Это позволяет более живо и достоверно проследить механизм добывания научных результатов и этапы развития предмета. Одним из признаков молодости пауки является преобладание прямых методов доказательств и элементарности постановки многих задач. Это также делает изложение более живым, непосредственным и не требующим высокого порога предварительного знания. Наконец, последним по счету, но не по важности соображением является то, что эта область совпадает с конкретными научными интересами автора, что дает ему возможность излагать материал, полученный из первых рук. [3]
Одно из значительных мест в исследованиях по теоретическому программированию занимает функциональное программирование. Ведущиеся в течение уже трех десятилетий разработки в этой области в последнее время имеют устойчивую тенденцию к расширению. [4]
Сетевая СУБД для ЭВМ КОМПАС ЕС / / Сиетемное и теоретическое программирование. [5]
Наконец, тем читателям, которые заинтересуются вопросами теоретического программирования по существу, автор рекомендует монографию В. Е. Котова Введение в теорию схем программ, выходящую в Сибирском отделении издательства Наука ( Новосибирск, 1978) почти одновременно с этой книгой. [6]
Статья относится к теории моделей программ - одному из разделов теоретического программирования. [7]
ДИНАМИЧЕСКАЯ ЛОГИКА, алгоритмическая логика, программная логика, - раздел теоретического программирования, в рамках которого исследуются аксиоматические системы, представляющие средства для задания семантики программирования языков, а также для программ синтеза и программ верификации. [8]
Теория синтаксических анализаторов развита достаточно подробно в работах по математической лингвистике и по теоретическому программированию [5, 14], в которых представлено взаимоотношение между характеристиками языков программирования и принципами построения синтаксических анализаторов. Следует отметить, что анализатор должен соответствовать грамматике входного языка. Иногда из-за наличия сложно формализуемых ограничений в синтаксисе не ясна возможность применения того или иного анализатора к языку или необходимо провести эквивалентные преобразования синтаксиса, методы которых порой носят эвристический характер. [9]
Это исследование Ю. И. Яновым было блестяще выполнено, став одной из классических работ в теоретическом программировании. Память программ состоит из некоторой общей памяти данных и k логических переменных рг. An действует на всю память данных и может менять некоторые из логических переменных. Логические операторы ( названные им логическими условиями) имеют вид произвольной булевой функции логических переменных. Вместо стрелок j и у А. А. Ляпунова были взяты левая и правая Н полускобки с тем же смыслом. Ложное условие передает управление на правую полускобку, а истинное - на оператор, стоящий за условием. [10]
Истинная ценность этого обстоятельства, конечно, может быть осознана только в сравнении с другими разделами теоретического программирования. [11]
В зависимости от того, кем человек является: программистом, конечным пользователем или специалистом по теоретическому программированию - у него складываются совершенно различные представления об ЭВМ; объекты, существующие в представлении одного специалиста, могут просто отсутствовать и представлении другого. Кроме того, широкое распространение ЭВМ привело к тому, что одни и те же проблемы и вопросы рассматриваются как в академических изданиях, так и в популярной литературе, рассчитанной на массового читателя. Естественно, что при этом используется разная лексика. Язык, рассчитанный на массового пользователя ЭВМ, носит разговорный характер. В то же время фирменные термины п термины, принятые организациями, разрабатывающими стандарты, часто имеют строгое формальное определение. [12]
Идеи Тьюринга, работы Поста и теория нормальных алгоритмов Маркова представляют тот фундамент, на котором строится здание теоретического программирования, строится теория алгоритмов и развиваются некоторые другие направления, имеющие прямое отношение к вычислительному делу, если под этим термином понимать предмет, объединяющий вычислительную технику и математическое, программное оборудование ЭВМ. [13]
Главная цель книги - на примере подробного рассмотрения двух задач, решение которых сыграло очень важную роль в появлении теоретического программирования как предмета, объяснить ход мысли при решении этих задач, продемонстрировать математический метод мышления в действии, внимательно проанализировать этапы содержательного анализа и постановки задачи, раскрыть эстетическую компоненту в поиске решения, другими словами, сделать читателя активным свидетелем процесса получения математического результата. Эта цель предопределила форму изложения: книга написана в виде беседы с читателем и предназначена больше для чтения, нежели изучения. [14]
На оснопе операторного метода были созданы первые алгоритмически языки л трансляторы доалгольного периода 1955 - 1960 гг, а также разработаны первые формализмы теоретического программирования. [15]