везде Расширенный поиск
книги Компьютеры и Интернет Устройство компьютера, “железо”

Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Church–Rosser theorem

Код 1478006

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Church–Rosser theorem"

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Church–Rosser theorem states that if there are two distinct reductions starting from the same lambda calculus term, then there exists a term that is reachable from each reduct via a (possibly empty) sequence of reductions. This is symbolized by the diagram at right: if term a can be reduced to both b and c, then there must be a further term d (possibly equal to either b or c) to which both b and c can be reduced.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1332-2272-4
Объём: 96 страниц
Масса: 166 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

-20%
Фейсбук русской революции
Фейсбук русской революции бумажная книга
Михаил Зыгарь
12.24 USD 9.79 USD
1 На складе
В корзину
Разбуди в себе миллионера. Манифест богатства и процветания
Разбуди в себе миллионера. Манифест богатства и... бумажная книга
Джо Витале
Нет в продаже
Каркасный дом своими руками за один сезон. Полный комплекс строительных работ от проекта до отделки
Каркасный дом своими руками за один сезон.... бумажная книга
Вадим Пономаренко
Нет в продаже
Винсент, Камиль и подсолнухи
Винсент, Камиль и подсолнухи бумажная книга
Лоренс Энхольт
Нет в продаже
Спящие красавицы
Спящие красавицы бумажная книга
Стивен Кинг
Нет в продаже
Люди среди деревьев
Люди среди деревьев электронная книга
Ханья Янагихара
Нет в продаже