URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Смальян Р. Теория формальных систем. Пер.  с англ.
Id: 21249
 
799 руб.

Теория формальных систем. Пер. с англ.

1981. 208 с. Мягкая обложка. Букинист. Состояние: 4+. .

 Аннотация

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

Эта книга - полезное учебное пособие для студентов, аспирантов и математиков различных специальностей, заинтересованных в кратком и ясном изложении важнейших результатов теории формальных систем, теории алгорифмов и их приложений к математической логике.

 
© URSS 2016.

Информация о Продавце