Разделы | Указатель | Оглавление
А Б В Г Д ЕЁ Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я *
 А
абстрактный тип данных  [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] [2]
область видимости  [1]
самый левый внешний редекс  [1]
внешний символ  [1]
внутренний символ  [1]
возврат return  [1]
точка возобновления (restart)  [1]
время действия  [1]
динамическое время действия  [1]
встроенная (примитивная) функция  [1] [2]
встроенная функция  [1]
встроенный пакет символов  [1]
всюду определённая функция  [1]
вход хэш-таблицы  [1]
правила вывода теории λ  [1]
выводимость  [1]
S-выражение  [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] [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] [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] [3]
создание объекта  [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] [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]
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] [2]
…шни - древовиднаярекурсия  [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] [2] [3]
поиск в списке  [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] [3]
функциональный параметр  [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]
простой цикл 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]
russian-char-equal  [1]
digit-char-p  [1]
CLISP  [1]
coerce  [1]
ANSI Common Lisp  [1]
compile  [1]
concatenate  [1]
особый оператор 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]
предикат e[1]
предикат eql  [1]
char-equal  [1] [2]
russian-char-equal  [1]
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]
язык F[1]
return-from  [1]
from-end  [1]
…ионный протоколFRP (File Retrieval Protocol)  [1]
gethash  [1]
g[1]
make-hash-table  [1]
язык Haskell  [1]
пример Hello World!  [1]
язык Hope  [1]
member-i[1]
особый оператор I[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]
язык M[1]
multiple-value-bind  [1]
символ NIL  [1]
member-if-not  [1]
not  [1]
test-not  [1]
null  [1]
&optional  [1]
o[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-char-equal  [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]