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

:

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

: Глоссарий
[+]
КАМ
Лекция: 14 стр. 1, 16 стр. 2
Предложите свое определение
КАМ-код
Лекция: 15 стр. 1
Предложите свое определение
канцелятор
Соотношение (K), как отмечалось, характеризует комбинатор первой проекции (иначе именуемый канцелятором, т.е. "отменяющим" "выполнение" всех "инструкций", кроме первой)
Лекция: 6 стр. 2
Предложите свое определение
каррирование
Посмотреть в Википедии
Лекция: 14 стр. 2, 15 стр. 1, 15 стр. 2
Предложите свое определение
категориальная абстрактная машина
Посмотреть в Википедии
Лекция: 10 стр. 1, 14 стр. 2, 15 стр. 1, 15 стр. 2
Предложите свое определение
категориальная комбинаторная логика
Лекция: 14 стр. 1, 14 стр. 2
Предложите свое определение
класс
Посмотреть в Википедии
Лекция: 1 стр. 2
Предложите свое определение
класс решаемых
Лекция: 1 стр. 2
Предложите свое определение
классификация
Лекция: 1 стр. 1, 1 стр. 2
Предложите свое определение
код
Лекция: 15 стр. 1, 15 стр. 2
Предложите свое определение
код де Брейна
Лекция: 15 стр. 1, 15 стр. 2
Предложите свое определение
кодирование
Посмотреть в Википедии
Лекция: 15 стр. 1
Предложите свое определение
коллизия обозначений
Лекция: 15 стр. 1
Предложите свое определение
команда
Посмотреть в Википедии
Суть подхода состоит в том, что программа представляет собой не набор команд, а описание действий, которые необходимо осуществить
Лекция: 1 стр. 1, 10 стр. 2
Предложите свое определение
комбинатор
Лекция: 6 стр. 1, 6 стр. 2, 7 стр. 1, 12 стр. 2
Предложите свое определение
комбинатор аппликации
Лекция: 14 стр. 2
Предложите свое определение
комбинатор композиции
Лекция: 14 стр. 2
Предложите свое определение
комбинатор неподвижной точки
Посмотреть в Википедии
Лекция: 12 стр. 2
Предложите свое определение
комбинатор образования пары
Лекция: 14 стр. 2
Предложите свое определение
комбинатор цитирования
Лекция: 14 стр. 2
Предложите свое определение
1  |  2  |  3

Вопросы и ответы

вопросов: 0

Студенты

всего: 18
Овик Бадалян
Овик Бадалян
Армения, Степанакерт
предложить дружбу
Алексей Кузнецов
Алексей Кузнецов
Россия
предложить дружбу