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

Каталог

Книги

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

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

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

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2019-08-01
Уважаемые покупатели! В связи с отпускным сезоном в августе срок обработки заказов может быть увеличен
2019-08-01
Уважаемые покупатели! В августе курьерская доставка будет недоступна в связи с отпускным сезоном.
2019-05-02
Уважаемые клиенты! Розничный магазин «Физтех-книга» в майские праздники работает по следующему графику: 1-го и 2-го мая — с 9:00 до 18:00; 3-го, 4-го и 5-го мая — выходные дни
2019-02-04
С 1 февраля наш магазин возобновил курьерскую доставку книг по Москве и дополнительно по Московской области