Каталог: Наука, образование »•» Математика, статистика

	Смальян, Р. Теория формальных систем Серия: Математическая логика и основания математики
	Издательство: М.: Наука. Главная редакция Физико-математической литературы
	Переплет: мягкий + суперобложка; 207 страниц; 1981 г.
	ISBN: [не указан]; Формат: стандартный
	Язык: русский
	На сайте с 23.12.2006

Аннотация

В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение также охватывает основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных множествах, эффективных операциях над множествами и функциями. Автору с помощью удачных теоретических и методических находок (таких, как понятие рудиментарного предиката, специальные способы кодирования слов, существенно упрощающие арифметизацию, и др.) удалось многие результаты математической логики, ранее излагавшиеся громоздко и разрозненно, объединить в единое целое, отделив в них принципиальное ядро от деталей. Это распространяется, в частности, на знаменитую теорему Геделя о неполноте формализаций арифметики и на родственные ей теоремы. Многие интересные результаты, содержащиеся в книге, получены непосредственно ее автором.
Эта книга - полезное учебное пособие для студентов, аспирантов и математиков различных специальностей, заинтересованных в кратком и ясном изложении важнейших результатов теории формальных систем, теории алгорифмов и их приложений к математической логике.

Перевод с английского Н. К. Косовского.
Под редакцией Н. А. Шанина.

Формат 84х108/32. Тираж 9 000.

Оглавление:
1. Формальные математические системы (с. 15)
2. Формальная представимость и рекурсивная перечислимость (с. 39)
3. Неполнота и неразрешимость (с. 66)
4. Теория рекурсивных функций (с. 102)
5. Креативность и эффективная неотделимость (с. 138)
Дополнение. Приложения к математической логике (с. 181)
Библиография (с. 202) (48 наименований)

В продаже   Хочу купить

Продавец: AzY (Москва, RU/77 )   Состояние: отличное; В продаже с 12.05.2024 Условия доставки и оплаты Способы доставки: курьером; встреча по договоренности; самовывоз; почтой по предоплате Способы оплаты: наличными; перевод на банковский счет; почтовый перевод/перевод без открытия счета; банковской картой; электронный платеж (WM, Y.Д и т.п.) Дополнительно: ГРАЖДАНЕ ПОКУПАТЕЛИ! ПРЕЖДЕ, ЧЕМ ОФОРМЛЯТЬ ЗАКАЗ, ПРОЧТИТЕ УСЛОВИЯ! Если вы особо чувствительны к состоянию книг, то прежде чем, оформлять заказ, выйдите на связь с продавцом, воспользовавшись функцией "СПРОСИТЬ" (только для зарегистрированных пользователей), поскольку ваше понимание "хорошего" и "отличного" может не совпадать с таковым пониманием продавца. Встреча по договоренности происходит б... [подробнее]	Цена 1200 руб
Продавец: kasatka (Новосибирск, RU/54 )   Состояние: как новое; В продаже с 24.01.2024 Комментарий: Нечитанный экземпляр Условия доставки и оплаты Способы доставки: встреча по договоренности; самовывоз; почтой по предоплате Способы оплаты: наличными; банковской картой	Цена 1500 руб
Продавец: Leon-books (Истра, RU/50 )   Состояние: отличное; В продаже с 13.05.2022 Условия доставки и оплаты Способы доставки: самовывоз; почтой по предоплате Способы оплаты: банковской картой; электронный платеж (WM, Y.Д и т.п.) Дополнительно: При заказе от 3-х книг -- скидка от 3% При заказе от 6-ти книг -- скидка от 6% При заказе от 10-ти книг -- скидка от 10% Доставка Почтой России: отправка со склада в течение 2х-3х дней! Отправка другими транспортными компаниями в течение 4х дней. Самовывоз в любой день. Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить").	Цена 1921 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать