Введение в теорию программирования. Функциональный подход

Вступительная лекция
Классификация языков программирования
Концепция и возможности подхода .NET
Функциональный подход к программированию
Ламбда-исчисление как формализация языка функционального программирования
Введение
Теоретические сведения
Функции и типы
Типы, объекты и методы .NET

Задание
Варианты заданий
Комбинаторная логика как формальная система
Теория типов и комбинаторная логика
Теоретические сведения
Задание
Варианты заданий
Синтаксис языков программирования
Семантика языков программирования
Теоретические сведения

Задание
Варианты заданий
Рекурсивные функции и множества
Теоретические сведения
Задание
Абстрактные машины и категориальная комбинаторная логика
Категориальная абстрактная машина
Оптимизация вычислений и абстрактные машины
Теоретические сведения

Задание

Язык процедур 2-REXX для OS-2

Язык процедур 2/REXX для OS/2* (именуемый в дальнейшем REXX) разработан как язык процедур Systems Application Architecture* для семейства продуктов типа Office Vision и операционной системы OS/2. Он предназначен для того, чтобы облегчить программирование в стадии кодирования и отладки. Высокое качество программирования может быть достигнуто при использовании общепринятых слов английского языка в синтаксисе языка процедур, что одинаково понятно как начинающему, так и опытному программисту.
REXX использует ряд мощных программных функций общего назначения и стандартные арифметические возможности наряду с командами OS/2 в простой конструкции. Существующие пакетные файлы могут быть преобразованы в процедуры REXX, обладающие большими функциональными возможностями.
Процедуры REXX выполняются только в сеансах OS/2, они должны иметь расширение файла .CMD и начинаться со строки комментария (/*....*/). Также, как и для пакетных файлов, чтобы выполнить процедуру REXX, необязательно указывать расширение .CMD.

Использование сравнений
Язык процедур 2/REXX для OS/2
Функции

---