Permuted Index

	А
	абстрактный тип данных [1]
барьеры	абстракции [1]
	абстракция [1]
процедуральная	абстракция [1]
функциональная	абстракция [1]
	абстракция данных [1] [2]
	абстракция отображения [1] [2]
	автоаппликация [1]
Герон	Александрийский [1]
	алфавит [1]
…ммад ибн Муса	ал-Хорезми [1]
	апостроф ' [1]
	аппликативный порядок вычислений [1]
вычисление	аппликации [1]
…новочная модель	аппликации [1]
	аппликация [1] [2]
именованный	аргумент [1]
ключевой	аргумент [1]
необязательный	аргумент [1]
функциональный	аргумент [1]
	Арифметический трактат [1]
	Б
	барьеры абстракции [1]
ханойские	башни - древовидная рекурсия [1]
	безымянная (анонимная) функция [1] [2]
	биективная функция [1]
	биекция [1]
	блок [1] [2]
имя	блока [1]
…гистр русских	букв [1]
…равнение русских	букв [1]
сравнение	букв [1]
…е строк с русскими	буквами [1]
	булев [1]
обобщённое	булево значение [1]
	булевы выражения [1]
	В
разбор	вариантов [1]
… добавление в	вектор [1]
	вектор [1]
простой	вектор [1]
	векторы, массивы и последовательности [1]
…еская область	видимости [1]
…ённая область	видимости [1] [2]
область	видимости [1]
самый левый	внешний редекс [1]
	внешний символ [1]
	внутренний символ [1]
	возврат return [1]
точка	возобновления (restart) [1]
	время действия [1]
динамическое	время действия [1]
	встроенная (примитивная) функция [1] [2]
	встроенная функция [1]
	встроенный пакет символов [1]
	всюду определённая функция [1]
	вход хэш-таблицы [1]
правила	вывода теории λ [1]
	выводимость [1]
S-	выражение [1]
комбинаторное	выражение [1]
лямбда-	выражение [1] [2]
булевы	выражения [1]
функция	высшего порядка [1]
нелокальный	выход [1] [2] [3] [4]
	вычисление аппликации [1]
цикл чтение-	вычисление-печать [1]
…ативный порядок	вычислений [1]
…мальный порядок	вычислений [1]
ленивыми	вычислениями [1]
энергичными	вычислениями [1]
эффективно	вычислимая функция [1]
	Г
	Герон Александрийский [1]
	глобальная переменная [1]
	графический интерфейс пользователя (GUI) [1]
	Д
…ие, управляемое	данными [1]
…страктный тип	данных [1]
абстракция	данных [1] [2]
иерархия типов	данных [1]
	двумерный массив [1]
время	действия [1]
…амическое время	действия [1]
	действующий метод [1]
…тное и остаток от	деления [1]
	дерево [1]
	дескриптор слота [1]
	динамическая область видимости [1]
	динамическая переменная [1]
	динамическая типизация [1]
	динамическое время действия [1]
	динамическое программирование [1]
	дипазон [1]
length -	длина последовательности [1] [2]
vector-push -	добавление в вектор [1]
	домен [1]
ханойские башни -	древовидная рекурсия [1]
числа Фибоначи -	древовидная рекурсия [1]
	ЕЁ
	Евклид [1]
	З
	замена подпоследовательности [1]
	замкнут относительно композиции [1]
	замкнут относительно минимизации [1]
	замкнут относительно примитивной рекурсии [1]
	замкнутый люмбда-терм [1]
свойство	замыкания [1] [2] [3] [4]
индекс	заполнения [1] [2]
сравнение	знаков [1]
множественное	значение [1]
наибольшее	значение [1]
наименьшее	значение [1]
…общённое булево	значение [1]
	значение слота [1]
область	значений [1]
	И
Мухаммад	ибн Муса ал-Хорезми [1]
	иерархические структуры [1]
	иерархия типов данных [1]
пространство	имён [1]
	именованная функция [1] [2]
	именованный аргумент [1]
	императивное программирование [1]
	имя [1]
	имя блока [1]
	индекс заполнения [1] [2]
	инкапсуляция [1] [2]
графический	интерфейс пользователя (GUI) [1]
	инъективная функция [1]
	инъекция [1]
	использует [1]
обобщённая	истина [1]
λ-	исчисление [1]
	итеративный процесс [1]
	К
	каррирование [1]
	картезианским [1]
	квадратные скобки [] [1]
	квадратный корень [1] [2] [3]
определение	класса [1] [2]
экземпляр	класса [1]
	ключевое слово лямбда-списка [1] [2] [3]
	ключевой аргумент [1]
	ключевой параметр [1] [2]
объектный	код [1]
	комбинатор [1]
	комбинаторное выражение [1]
	комбинация методов [1]
	Коммон Лисп [1] [2] [3]
	компиляция [1]
… относительно	композиции [1]
функциональная	композиция (неформальная) [1]
	композиция термов [1]
	композиция функций [1]
	компоновка [1]
α-	конверсия [1]
β-	конверсия [1]
η-	конверсия [1]
	конгруэнтность [1]
α-	конгруэнтными [1]
	константы и переменные [1]
	конструктор [1]
	конструктор массива [function 1]
	концевая рекурсия [1]
полярных	координаты [1]
	копирование последовательности [1]
квадратный	корень [1] [2] [3]
	кортеж (вектор) значений [1]
	кортеж переменных [1]
	красивая печать [1]
	Л
самый	левый внешний редекс [1]
	лексическая метка [1] [2]
	ленивыми вычислениями [1]
Коммон	Лисп [1] [2] [3]
	Лисп [1]
чистый	Лисп [1]
рекомендуемые	Лисп-системы [1]
определение	Лисп-функции [1]
	литера [1]
	литература [1]
	логические связки [1]
	ложь [1] [2]
	локальная переменная [1]
	локальная функция [1]
	локальный переход [1]
замкнутый	люмбда-терм [1]
	лямбда-выражение [1] [2]
	лямбда-определимая функция [1]
ключевое слово	лямбда-списка [1] [2] [3]
	лямбда-списком [1]
уточнённый	лямбда-список [1]
	лямбда-терм [1]
переменная как	лямбда-терм [1]
тело	лямбда-терма [1]
подстановка	лямбда-термов [1]
равенство	лямбда-термов [1]
	М
	макрос чтения [1]
модифицирующие	макросы [1]
двумерный	массив [1]
…ализированный	массив [1]
универсальный	массив [1]
конструктор	массива [function 1]
элемент	массива [1]
векторы,	массивы и последовательности [1]
связывание в	математике [1]
предикат `=` и	математическое равенство [1]
распечатка	матриц [1]
универсальная	машина Тьюринга [1]
	место [1]
лексическая	метка [1] [2]
	метка [1] [2]
действующий	метод [1]
	метод [1]
применимый	метод [1]
определение	метода [1]
комбинация	методов [1]
… относительно	минимизации [1]
оператор	минимизации [1]
	многоместная функция [1]
	многочлен [1]
	множественное значение [1]
	множество уравнений [1]
подстановочная	модель аппликации [1]
	модель с окружениями [1]
	модификатор [1]
	модифицирующие макросы [1]
	модифицирующие функции [1]
	модульность [1]
	мультиметод [1]
Мухаммад ибн	Муса ал-Хорезми [1]
	Мухаммад ибн Муса ал-Хорезми [1]
	Н
	наибольшее значение [1]
	наименьшее значение [1]
	невключённый символ [1]
регистро-	независимое сравнение [1]
регистро-	независимое сравнение русских букв [1]
регистро-	независимое сравнение строк с русскими буквами [1]
	нелокальный выход [1] [2] [3] [4]
	необязательный аргумент [1]
	неопределённая область видимости [1] [2]
	неподвижная точка [1]
функционал	неподвижной точки [1]
	неразрешимость проблемы останова [1]
	неявный progn [1]
	НОД [1]
	нормальная форма [1]
	нормальный порядок вычислений [1]
префиксная	нотация [1]
	нулевая функция Z [1]
	О
динамическая	область видимости [1]
неопределённая	область видимости [1] [2]
	область видимости [1]
	область значений [1]
	область определения [1]
	обобщённая истина [1]
	обобщённая функция [1] [2]
	обобщённое булево значение [1]
	обобщённое присваивание [1]
	обобщённые функции [1]
	обработчик ошибки (handler) [1]
	образ [1]
reverse -	обращение последовательности [1]
…езультирующий	объект [1]
функциональный	объект [1] [2]
создание	объекта [1]
	объектный код [1]
	объектный файл [1]
функциональным	объектом [1]
	обязательный параметр [1]
	окружение [1]
	окружением [1]
модель с	окружениями [1]
	операнд [1] [2]
	оператор [1] [2]
особый	оператор COND [1]
особый	оператор IF [1]
особый	оператор quote [1]
	оператор setf [1]
	оператор setq [1]
	оператор минимизации [1]
	операторное программирование [1]
	определение [1]
	определение класса [1] [2]
	определение Лисп-функции [1]
	определение метода [1]
	определение системы [1]
область	определения [1]
всюду	определённая функция [1]
	определённая функция [1]
лямбда-	определимая функция [1]
условный	опрератор [1]
	особый оператор COND [1]
	особый оператор IF [1]
	особый оператор quote [1]
…имость проблемы	останова [1]
частное и	остаток от деления [1]
	остаточный параметр [1]
замкнут	относительно композиции [1]
замкнут	относительно минимизации [1]
замкнут	относительно примитивной рекурсии [1]
совместимое	отношение [1]
	отображающий функционал [1] [2]
абстракция	отображения [1] [2]
	отрезок [1]
форматирование	отступов [1]
обработчик	ошибки (handler) [1]
	П
текущий	пакет [1]
встроенный	пакет символов [1]
	пакет символов [1]
префикс	пакета [1]
список	пар (кортежей) [1]
	параллельное и циклическое присваивание [1]
хвостовой	параметер [1]
ключевой	параметр [1] [2]
обязательный	параметр [1]
остаточный	параметр [1]
функциональный	параметр [1]
формальным	параметром [1]
формальные	параметры [1]
	передача сообщений [1]
глобальная	переменная [1]
динамическая	переменная [1]
локальная	переменная [1]
свободная	переменная [1]
связанная	переменная [1] [2]
	переменная как лямбда-терм [1]
константы и	переменные [1]
кортеж	переменных [1]
локальный	переход [1]
красивая	печать [1]
	печать [1] [2]
…ие-вычисление-	печать [1]
	побочного эффекта [1]
замена	подпоследовательности [1]
поиск	подпоследовательности [1]
	подпоследовательность [1]
	подстановка лямбда-термов [1]
	подстановочная модель аппликации [1]
	поиск в списке [1]
	поиск подпоследовательности [1]
	получение элемента хэш-таблицы [1]
…еский интерфейс	пользователя (GUI) [1]
	полярных координаты [1]
	понятие функции [1]
…нкция высшего	порядка [1]
аппликативный	порядок вычислений [1]
нормальный	порядок вычислений [1]
	последователь [1]
соедиение	последовательностей [1]
соединение	последовательностей [1]
length - длина	последовательности [1] [2]
…e - обращение	последовательности [1]
…кторы, массивы и	последовательности [1]
копирование	последовательности [1]
создание	последовательности [1]
элемент	последовательности [1]
	последовательность [1]
сортировка	последовательность [1]
правильно	построенные формулы [1]
	правила вывода теории λ [1]
	правило (определение) [1]
	правило ext [1]
	правило α [1]
	правило β [1]
	правило η [1]
	правило ξ [1]
	правильно построенные формулы [1]
	предикат [1] [2]
	предикат `=` и математическое равенство [1]
	предикат eq [1]
	предикат eql [1]
	предикат equal [1]
	предикат equalp [1]
	предложение [1]
текстовое	представление [1] [2]
	преобразование [1]
	преобразование регистра [1]
	преобразование типа [1]
	префикс пакета [1]
	префиксная нотация [1]
	применения [1]
	применимый метод [1]
	пример Hello World! [1]
	примитивная функция [1]
… относительно	примитивной рекурсии [1]
	примитивно-рекурсивная функция [1]
	примитивно-рекурсивные функции [1]
обобщённое	присваивание [1]
…ое и циклическое	присваивание [1]
	присваивание [1]
неразрешимость	проблемы останова [1]
динамическое	программирование [1]
императивное	программирование [1]
операторное	программирование [1]
функциональное	программирование [1] [2]
	программирование, управляемое данными [1]
файл	проекта [1]
	проекция U [1]
	произведение на себя [1]
	простой вектор [1]
	простой цикл loop [1]
	пространство имён [1]
сессионный	протокол FRP (File Retrieval Protocol) [1]
	процедура [1] [2]
эффективная	процедура [1]
	процедуральная абстракция [1]
итеративный	процесс [1]
	пустой список [1]
	Р
… математическое	равенство [1]
	равенство лямбда-термов [1]
	равенство функций [1]
	разбор вариантов [1]
	разбор случаев [1]
	распечатка матриц [1]
	реализация `FIXED-POINT` [1]
	регистр русских букв [1]
преобразование	регистра [1]
	регистро-независимое сравнение [1]
	регистро-независимое сравнение русских букв [1]
	регистро-независимое сравнение строк с русскими буквами [1]
β-	редекс [1]
…ый левый внешний	редекс [1]
β-	редукт [1]
	редукционная цепочка [1]
	редукция [1]
	рекомендуемые Лисп-системы [1]
примитивно-	рекурсивная функция [1]
частично-	рекурсивная функция [1]
примитивно-	рекурсивные функции [1]
частично-	рекурсивные функции [1]
…о примитивной	рекурсии [1]
теорема о	рекурсии (в лямбда-исчислении) [1]
сочетание	рекурсии и цикла [1]
концевая	рекурсия [1]
	рекурсия [1] [2]
…шни - древовидная	рекурсия [1]
…ачи - древовидная	рекурсия [1]
…сравнение строк с	русскими буквами [1]
регистр	русских букв [1]
…симое сравнение	русских букв [1]
	С
	саморезультирующий объект [1]
	самый левый внешний редекс [1]
β-	свёртка [1]
	свободная переменная [1]
список	свойств символа [1]
системные	свойства символа [1]
	свойство замыкания [1] [2] [3] [4]
	сворачивание [1]
	связанная переменная [1] [2]
логические	связки [1]
	связывание [1] [2]
	связывание в математике [1]
	селектор [1]
	селектор слота [1]
	сессионный протокол FRP (File Retrieval Protocol) [1]
внешний	символ [1]
внутренний	символ [1]
невключённый	символ [1]
	символ [1]
	символ NIL [1]
	символ T [1]
…мные свойства	символа [1]
список свойств	символа [1]
…роенный пакет	символов [1]
пакет	символов [1]
	системные свойства символа [1]
определение	системы [1]
…мендуемые Лисп-	системы [1]
квадратные	скобки [] [1]
	слово [1]
ключевое	слово лямбда-списка [1] [2] [3]
дескриптор	слота [1]
значение	слота [1]
селектор	слота [1]
разбор	случаев [1]
	совместимое отношение [1]
	соедиение последовательностей [1]
	соединение последовательностей [1]
	создание объекта [1]
	создание последовательности [1]
	создание строки [1]
	создание хэш-таблицы [1]
передача	сообщений [1]
	сортировка последовательность [1]
	сочетание рекурсии и цикла [1]
	специализированный массив [1]
… слово лямбда-	списка [1] [2] [3]
поиск в	списке [1]
лямбда-	списком [1]
цикл по	списку [1]
пустой	список [1]
	список [1]
…нённый лямбда-	список [1]
	список пар (кортежей) [1]
	список свойств символа [1]
…о-независимое	сравнение [1]
	сравнение букв [1]
	сравнение знаков [1]
…ро-независимое	сравнение русских букв [1]
	сравнение строк [1]
…ро-независимое	сравнение строк с русскими буквами [1]
сравнение	строк [1]
…симое сравнение	строк с русскими буквами [1]
создание	строки [1]
элемент	строки [1]
иерархические	структуры [1]
aбстракция	суммирования [1]
	Схема (диалект Лисп) [1]
цикл по	счётчику [1]
	сюръективная функция [1]
	сюръекция [1]
	Т
	таблица [1]
хэш-	таблица [1]
вход хэш-	таблицы [1]
… элемента хэш-	таблицы [1]
создание хэш-	таблицы [1]
… элемента хэш-	таблицы [1]
элемент хэш-	таблицы [1]
	тезис Чёрча-Тьюринга [1]
	текст [1]
	текстовое представление [1] [2]
	текущий пакет [1]
	тело [1]
	тело лямбда-терма [1]
	теорема о рекурсии (в лямбда-исчислении) [1]
правила вывода	теории λ [1]
эквациональная	теория [1]
…кнутый люмбда-	терм [1]
лямбда-	терм [1]
…ая как лямбда-	терм [1]
тело лямбда-	терма [1]
композиция	термов [1]
…ановка лямбда-	термов [1]
…енство лямбда-	термов [1]
	тип boolean [1]
абстрактный	тип данных [1]
преобразование	типа [1]
динамическая	типизация [1]
иерархия	типов данных [1]
	торможение усреднением [1]
неподвижная	точка [1]
	точка возобновления (restart) [1]
…нал неподвижной	точки [1]
Арифметический	трактат [1]
	треугольник [1]
тезис Чёрча-	Тьюринга [1]
…альная машина	Тьюринга [1]
	У
	удаление элемента хэш-таблицы [1]
	универсальная машина Тьюринга [1]
	универсальный массив [1]
	универсальный цикл loop [1]
…граммирование,	управляемое данными [1]
множество	уравнений [1]
	условный опрератор [1]
торможение	усреднением [1]
	уточнённый лямбда-список [1]
	уточнитель [1]
	Ф
FASL-	файл [1]
make-	файл [1]
объектный	файл [1]
	файл проекта [1]
	факториал [1]
числа	Фибоначи - древовидная рекурсия [1]
нормальная	форма [1]
	форма [1]
	формальные параметры [1]
	формальным параметром [1]
	форматирование отступов [1]
…ьно построенные	формулы [1]
модифицирующие	функции [1]
обобщённые	функции [1]
…еделение Лисп-	функции [1]
понятие	функции [1]
…но-рекурсивные	функции [1]
…но-рекурсивные	функции [1]
композиция	функций [1]
равенство	функций [1]
…вивалентность	функций [1]
отображающий	функционал [1] [2]
	функционал [1]
	функционал average-damp [1]
	функционал неподвижной точки [1]
	функциональная абстракция [1]
	функциональная композиция (неформальная) [1]
	функциональное программирование [1] [2]
	функциональный аргумент [1]
	функциональный объект [1] [2]
	функциональный параметр [1]
	функциональным объектом [1]
биективная	функция [1]
встроенная	функция [1]
… определённая	функция [1]
именованная	функция [1] [2]
инъективная	функция [1]
локальная	функция [1]
…а-определимая	функция [1]
многоместная	функция [1]
обобщённая	функция [1] [2]
определённая	функция [1]
примитивная	функция [1]
…о-рекурсивная	функция [1]
сюръективная	функция [1]
частичная	функция [1]
…тичная числовая	функция [1]
…о-рекурсивная	функция [1]
…но вычислимая	функция [1]
	функция fact [1]
нулевая	функция Z [1]
	функция высшего порядка [1]
	Х
	ханойские башни - древовидная рекурсия [1]
	хвостовой параметер [1]
…д ибн Муса ал-	Хорезми [1]
	хэш-таблица [1]
вход	хэш-таблицы [1]
…ение элемента	хэш-таблицы [1]
создание	хэш-таблицы [1]
…ение элемента	хэш-таблицы [1]
элемент	хэш-таблицы [1]
	Ц
редукционная	цепочка [1]
простой	цикл loop [1]
универсальный	цикл loop [1]
	цикл по списку [1]
	цикл по счётчику [1]
	цикл чтение-вычисление-печать [1]
…тание рекурсии и	цикла [1]
параллельное и	циклическое присваивание [1]
	цифра [1]
	Ч
	частичная функция [1]
	частичная числовая функция [1]
	частично-рекурсивная функция [1]
	частично-рекурсивные функции [1]
	частное и остаток от деления [1]
	чёрный ящик [1] [2]
тезис	Чёрча-Тьюринга [1]
	числа Фибоначи - древовидная рекурсия [1]
частичная	числовая функция [1]
	чистый Лисп [1]
цикл	чтение-вычисление-печать [1]
макрос	чтения [1]
	Э
	эквациональная теория [1]
βη-	эквивалентность [1]
β-	эквивалентность [1]
	эквивалентность функций [1]
	экземпляр класса [1]
	элемент массива [1]
	элемент последовательности [1]
	элемент строки [1]
	элемент хэш-таблицы [1]
получение	элемента хэш-таблицы [1]
удаление	элемента хэш-таблицы [1]
	энергичными вычислениями [1]
побочного	эффекта [1]
	эффективная процедура [1]
	эффективно вычислимая функция [1]
	Я
	язык F# [1]
	язык FP [1]
	язык Haskell [1]
	язык Hope [1]
	язык Miranda [1]
	язык ML [1]
чёрный	ящик [1] [2]
	*
	and [1]
	ANSI Common Lisp [1]
	aref [1]
make-	array [function 1]
	array (массив) [тип 1]
	array-dimension [1]
	array-dimensions [1]
функционал	average-damp [1]
	aбстракция суммирования [1]
	aлгоритм [1]
multiple-value-	bind [1]
	block [1]
тип	boolean [1]
	boundp [1]
	cart [1]
to-	cart [1]
	case [1]
russian-upper-	case-p [1]
	catch [1]
	CCL [1]
	char [1]
digit-	char [1]
	character (знак) [тип 1]
	characterp [1]
russian-	char-downcase [1]
	char-equal [1] [2]
digit-	char-p [1]
	CLISP [1]
	coerce [1]
ANSI	Common Lisp [1]
	compile [1]
	concatenate [1] [2]
особый оператор	COND [1]
	cons [конструктор 1]
	consp [1]
	constantly [1]
	copy-seq [1]
	count [1] [2]
…ионал average-	damp [1]
	defclass [1]
	defconstant [1]
	defgeneric [1]
	defmethod [1]
	defvar [1]
	deliver [1]
	digit-char [1]
	digit-char-p [1]
array-	dimension [1]
array-	dimensions [1]
	dolist [1]
	dotimes [1]
russian-char-	downcase [1]
string-	downcase [1]
	elt [1]
	end [1]
from-	end [1]
предикат	eq [1]
предикат	eql [1]
char-	equal [1] [2]
string-	equal [1] [2]
предикат	equal [1]
предикат	equalp [1]
правило	ext [1]
vector-push-	extend [1]
язык	F# [1]
функция	fact [1]
	FASL-файл [1]
	fill-pointer [1] [2]
	find [1] [2]
	first [1]
реализация	`FIXED-POINT` [1]
	format [1]
язык	FP [1]
return-	from [1]
	from-end [1]
…ионный протокол	FRP (File Retrieval Protocol) [1]
	gethash [1]
	go [1]
make-	hash-table [1]
язык	Haskell [1]
пример	Hello World! [1]
язык	Hope [1]
member-	if [1]
особый оператор	IF [1]
member-	if-not [1]
	image [1]
	improve [1]
	incapsulation [1]
make-	instance [1]
&	key [1]
	key [1]
	labels [1]
	lambda [1]
	length - длина последовательности [1] [2]
	let [1]
	line [1]
ANSI Common	Lisp [1]
	LispWorks [1]
	list [конструктор 1]
scale-	list [1]
	list (список) [тип 1]
	listp [1]
	load [1]
простой цикл	loop [1]
…рсальный цикл	loop [1]
	make-array [function 1]
	make-hash-table [1]
	make-instance [1]
	make-sequence [1]
	make-string [1]
	make-файл [1]
	map [1]
	mapcar [1]
	maplist [1]
	max [1]
	member [1]
	member-if [1]
	member-if-not [1]
	min [1]
	minusp [1]
язык	Miranda [1]
язык	ML [1]
	multiple-value-bind [1]
символ	NIL [1]
member-if-	not [1]
	not [1]
test-	not [1]
	null [1]
&	optional [1]
	or [1]
digit-char-	p [1]
…an-upper-case-	p [1]
symbol-	package [1]
*	package* [1]
	plusp [1]
…лизация FIXED-	`POINT` [1]
fill-	pointer [1] [2]
	polar [1]
to-	polar [1]
	polynom [1]
	position [1] [2]
	pprint [1] [2]
	prin1 [1]
	princ [1]
	princ-to-string [1]
	print [1]
	prog1 [1]
	prog2 [1]
	progn [1]
неявный	progn [1]
	psetf [1]
vector-	push [1]
vector-	push - добавление в вектор [1]
vector-	push-extend [1]
…обый оператор	quote [1]
	reader [1] [2]
	remhash [1]
	remove [1]
	REPL [1]
	replace [1]
&	rest [1]
	rest [1]
	return [1]
возврат	return [1]
	return-from [1]
	reverse - обращение последовательности [1]
	rotatef [1]
	russian-char-downcase [1]
	russian-upper-case-p [1]
	SBCL [1]
	scale-list [1]
	Scheme [1] [2]
	search [1]
copy-	seq [1]
make-	sequence [1]
	set [функция 1]
оператор	setf [1]
	setfable [1]
оператор	setq [1]
	slot-value [1]
	sort [1]
	start [1]
make-	string [1]
princ-to-	string [1]
	string (строка) [тип 1]
	string-downcase [1]
	string-equal [1] [2]
	stringp [1]
	string-trim [1]
	string-upcase [1]
	subseq [1]
	substitute [1]
	sum [1]
	symbol (символ) [тип 1]
	symbol-package [1]
	symbol-value [функция 1]
	S-выражение [1]
символ	T [1]
make-hash-	table [1]
	tagbody [1]
	test [1]
	test-not [1]
	throw [1]
	to-cart [1]
	to-polar [1]
princ-	to-string [1]
	triangle [1]
string-	trim [1]
проекция	U [1]
	unless [1]
string-	upcase [1]
russian-	upper-case-p [1]
slot-	value [1]
symbol-	value [функция 1]
multiple-	value-bind [1]
	values [1]
	vector [1]
	vector (вектор) [тип 1]
	vector-push [1]
	vector-push - добавление в вектор [1]
	vector-push-extend [1]
	when [1]
пример Hello	World! [1]
	writer [1]
…левая функция	Z [1]
	zerop [1]
правило	α [1]
	α-конверсия [1]
	α-конгруэнтными [1]
правило	β [1]
	βη-эквивалентность [1]
	β-конверсия [1]
	β-редекс [1]
	β-редукт [1]
	β-свёртка [1]
	β-эквивалентность [1]
правило	η [1]
	η-конверсия [1]
	λ-исчисление [1]
…ла вывода теории	λ [1]
правило	ξ [1]