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

Herbrandization

Код 1106822

Нет в продаже

Аннотация к книге "Herbrandization"

High Quality Content by WIKIPEDIA articles! The Herbrandization of a logical formula (named after Jacques Herbrand) is a construction that is dual to the Skolemization of a formula. Thoralf Skolem had considered the Skolemizations of formulas in prenex form as part of his proof of the Lowenheim-Skolem theorem (Skolem 1920). Herbrand worked with this dual notion of Herbrandization, generalized to apply to non-prenex formulas as well, in order to prove Herbrand's theorem (Herbrand 1930).

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

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

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

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

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

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

Просмотренные категории

Молодежные журналы