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

 

Каталог

Книги

Введение в метаматематику /Пер. с англ. - 2-изд., испр. Клини С.К. ЛИБРОКОМ 2009
/Клини С.К./

Введение в метаматематику /Пер. с англ. - 2-изд., испр.

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

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2024-11-25
Уважаемые покупатели! По техническим причинам отправка заказов не будет осуществляться в период с 25 ноября 2024 г. по 2 декабря 2024 г. Приносим вам свои извинения.
2024-10-29
МАГАЗИН В МФТИ БУДЕТ РАБОТАТЬ В ВОСКРЕСЕНЬЕ 3 ноября 2024 г. с 9.00 до 18.00. 4 ноября — выходной!
2021-08-09
Уважаемые покупатели! В связи с отпускным периодом с 18.07.2024 по 12.08.2024, сроки выполнения заказов могут быть увеличены. Приносим свои извинения.
0000-00-00
30-го декабря — с 8:30 до 17:00 31-го декабря 1, 2 ,3, 7 и 8-го января 2023 г. магазин не работает 4, 5 и 6-го января 2023 г. — с 10:00 до 17:30