ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
для школьников, студентов и научных работников

Каталог

Книги

Введение в метаматематику: Математическая логика и рекурсивные функции /Пер. с англ. Клини С.К. ЛИБРОКОМ 2009
/Клини С.К./

Введение в метаматематику: Математическая логика и рекурсивные функции /Пер. с англ.

Издательство:ЛИБРОКОМ
Год издания:2009
ISBN:978-5-397-00105-2
Кол-во страниц:528
Переплёт:Твёрдый
 848 руб.  В корзину

Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории обще-рекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Книга не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Тем не менее, она предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2019-02-04
С 1 февраля наш магазин возобновил курьерскую доставку книг по Москве и дополнительно по Московской области
2018-12-28
Уважаемые покупатели! В связи с новогодними каникулами поступающие заказы будут обработаны только после 10 января 2019 г. Приносим извинения за задержку!
2018-12-24
В дни новогодних праздников магазин (и пункт выдачи заказов) работает по следующему графику. С 30.12.2018 по 02.01.2019 включительно — выходные дни. С 3 января 2019 г. по 5 января 2019 г. — по расписанию субботы (с 9.00 до 17.30). 6 января и 7 января — входные дни.
2018-08-08
УВАЖАЕМЫЕ ПОКУПАТЕЛИ! В СВЯЗИ С РЕМОНТНЫМИ РАБОТАМИ В МАГАЗИНЕ И ПРОВОДИМОЙ ИНВЕНТАРИЗАЦИЕЙ ОТПРАВКА ЗАКАЗОВ БУДЕТ ОСУЩЕСТВЛЯТЬСЯ ПОСЛЕ 22 АВГУСТА! ПРИНОСИМ ИЗВИНЕНИЯ!