Теория формальных систем, Реймонд М. Смальян, В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение охватывает также основные сведения....(653/л)
Удалён продавцом.
13 авг 2020 18:41
Этот лот уже не продается, но мы нашли для вас похожие
озю,вбр(00-045) Жан-Жак Руссо. Трактаты. Серия: Литературные памятники. 1969 г.
3 000 руб.(3092335)Буколики. Георгики. Энеида, Публий Вергилий Марон, В книгу вошли три произведения Публия Вергилия Марона: поэма о сельском хозяйстве "Георгики", "Буколики" - "пастушеские" песни и "Энеида" - повествование об Энее.(1305)
500 руб.Конькобежный спорт. Правила соревнований, Основ.вним.в пособии удел.первонач.обучению катанию на коньках и ознакомл.с техникой бега.Даются пример.разработки уроков и рекоменд.по оборудов.школьных катков (701)
200 руб.ок.(00-045) Анатолий Иванов. Вечный зов. Роман в двух книгах. 1986 г.
800 руб.озю,вбр(00-045) Энциклопедия православной жизни. Калинина Г.В., Стромынский Г. Н. 2007 г.
1 500 руб.ок.(00-045) Дом и усадьба.Новоселов Юрий Александрович. 1989 г.
600 руб.озю,вбр(00-045) Автомобиль Москвич 412,427,434. Руководство по ремонту и эксплуатации. 1996 г.
1 500 руб.озю,вбр(00-045) Фленов Михаил Евгеньевич. Библия Delphi + CD. 2007 г.
1 500 руб.Теория формальных систем, Реймонд М. Смальян, В книге в систематическ...
Цена
499 руб.
Цена
499 руб.
Удалён(13 авг 2020 18:41)
Описание
Год выпуска 1981
Сохранность Хорошая
Ориг.название Theory of formal systems
Автор Реймонд М. Смальян
Формат издания 130х200 мм (средний формат)
Количество страниц 204
Тираж 9000
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Переводчик Н. Косовский
Переплет Мягкая обложка, суперобложка
Язык издания Русский
Тип издания Отдельное издание
Вес в упаковке, г 180
В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение охватывает также основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных множествах, эффективных операциях над множествами и функциями. Автору с помощью удачных теоретических и методических находок (таких, как понятие рудиментарного предиката, специальные способы кодирования слов, существенно упрощающие арифметизацию, и др.) удалось многие результаты математической логики, ранее излагавшиеся громоздко и разрозненно, объединить в единое целое, отделив в них принципиальное ядро от деталей. Это распространяется, в-частности, на знаменитую теорему К. Гёделя о неполноте формализации арифметики и на родственные ей теоремы. Многие интересные результаты, содержащиеся в книге, получены ее автором. Эта книга - полезное учебное пособие для студентов, аспирантов и математиков различных специальностей, заинтересованных в кратком и ясном изложении важнейших результатов теории формальных систем, теории алгорифмов и их приложений к математической логике.
Сохранность Хорошая
Ориг.название Theory of formal systems
Автор Реймонд М. Смальян
Формат издания 130х200 мм (средний формат)
Количество страниц 204
Тираж 9000
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Переводчик Н. Косовский
Переплет Мягкая обложка, суперобложка
Язык издания Русский
Тип издания Отдельное издание
Вес в упаковке, г 180
В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение охватывает также основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных множествах, эффективных операциях над множествами и функциями. Автору с помощью удачных теоретических и методических находок (таких, как понятие рудиментарного предиката, специальные способы кодирования слов, существенно упрощающие арифметизацию, и др.) удалось многие результаты математической логики, ранее излагавшиеся громоздко и разрозненно, объединить в единое целое, отделив в них принципиальное ядро от деталей. Это распространяется, в-частности, на знаменитую теорему К. Гёделя о неполноте формализации арифметики и на родственные ей теоремы. Многие интересные результаты, содержащиеся в книге, получены ее автором. Эта книга - полезное учебное пособие для студентов, аспирантов и математиков различных специальностей, заинтересованных в кратком и ясном изложении важнейших результатов теории формальных систем, теории алгорифмов и их приложений к математической логике.
Доставка в другие города
Почта России
озю,вбр(00-045) Жан-Жак Руссо. Трактаты. Серия: Литературные памятники. 1969 г.
3 000 руб.(3092335)Буколики. Георгики. Энеида, Публий Вергилий Марон, В книгу вошли три произведения Публия Вергилия Марона: поэма о сельском хозяйстве "Георгики", "Буколики" - "пастушеские" песни и "Энеида" - повествование об Энее.(1305)
500 руб.Конькобежный спорт. Правила соревнований, Основ.вним.в пособии удел.первонач.обучению катанию на коньках и ознакомл.с техникой бега.Даются пример.разработки уроков и рекоменд.по оборудов.школьных катков (701)
200 руб.ок.(00-045) Анатолий Иванов. Вечный зов. Роман в двух книгах. 1986 г.
800 руб.озю,вбр(00-045) Энциклопедия православной жизни. Калинина Г.В., Стромынский Г. Н. 2007 г.
1 500 руб.ок.(00-045) Дом и усадьба.Новоселов Юрий Александрович. 1989 г.
600 руб.озю,вбр(00-045) Автомобиль Москвич 412,427,434. Руководство по ремонту и эксплуатации. 1996 г.
1 500 руб.озю,вбр(00-045) Фленов Михаил Евгеньевич. Библия Delphi + CD. 2007 г.
1 500 руб.Поделиться этим лотом: