Восходит к Давиду Гильберту На рубеже 20 века сформулировал мировую проблему

Исчисления.

• Исчисление функций, вычисляемых на множестве натуральных чисел предложено Эрбраном и Гёделем в 1938 г.
• -исчисление А.Чёрча также может быть отнесено к этому типу алгоритмов, предложено в 1937 г.
• Формальные грамматики, порождающие языки, предложены Хомским в 1953 – 1956 г.

• Лямбда-исчисление

• Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
• λ-исчисление может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Языки в этом семействе являются функциональными, поскольку они основаны на представлении о функции или операторе, включая функциональную аппликацию и функциональную абстракцию.
• λ-исчисление реализовано Джоном Маккарти (1960) в языке Лисп. Он ориентирован на разработку программ для решения задач в области искусственного интеллекта и счита-ется вторым после Fortran  старейшим высокоуровневым языком программирования. 

Метапрограммирование

• Метапрограммирование предусматривает написание программ, которые работают с другими программами в качестве данных. Язык обрабатывающей программы называется метаязыком, язык обрабатываемой — объектным языком. Простейшим примером метапрограмми-рования является любой компилятор, преобразующий код, написанный на языке высокого уровня, в низкоуровневый машинный язык или ассемблер.

Ассоциативное исчисление

жүктеу 1,59 Mb.

Достарыңызбен бөлісу: