везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Mikheil Rukhaia

CERES and Fast Cut-Elimination. A monograph

Код 1321744

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

Нет в продаже

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

Аннотация к книге "CERES and Fast Cut-Elimination. A monograph"

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from formal proofs corresponds to the elimination of intermediary lemmas from mathematical proofs. It is well known that cut-elimination is of nonelementary complexity in general. Aim of this book is to identify classes, where cut-elimination is elementary, i.e fast. The first part describes basic notions of logic, such as sequent calculus, resolution calculus and two methods of cut-elimination, such...

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

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

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

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6393-3202-5
Объём: 72 страниц
Масса: 129 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

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

Бессмертники
Бессмертники бумажная книга
Хлоя Бенджамин
Нет в продаже
Крушение
Крушение бумажная книга
Эмили Бликер
Нет в продаже
Механический хэппи-лэнд
Механический хэппи-лэнд бумажная книга
Рэй Брэдбери
Нет в продаже
Тиргартен
Тиргартен бумажная книга
Георгий Зотов
1
Нет в продаже
Последние парень и девушка на Земле
Последние парень и девушка на Земле бумажная книга
Шиван Вивьен
13.3 USD
В корзину
Я забираю вашу боль. Путь к себе. Информационно-энергетическое Учение. Начальный курс
Я забираю вашу боль. Путь к себе.... бумажная книга
Сергей Сергеевич...
Нет в продаже

Просмотренные товары