Теория формальных систем, Реймонд М. Смальян, В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение охватывает также основные сведения....(653/л)
Удалён продавцом.
13 авг 2020 18:41
Этот лот уже не продается, но мы нашли для вас похожие
Основы электроники, Иван Жеребцов, Описываются физические процессы в полупроводниковых и электровакуумных приборах, в интегральных микросхемах и некоторых специальных приборах современной электроники, устройство....(1164)
300руб.English / Английский язык. 5 класс, А.Старков, Р.Диксон, Б.Островский, Вашему вниманию предлагается учебник по английскому языку для 5 класса средней школы, 1-й год обучения.(1172)
150руб.Хилпатрик Д., Сын Ретта Батлера, Жизнь Скарлетт О'Хара и Ретта Батлера, героев романа Маргарет Митчелл "Унесенные ветром", продолжается в их детях. Им выпала доля жить в гуще событий начала XX столетия...(945)(104)
500руб.Барская Г.Г., Богаткова Н.Л., Буланцева Н.Л. Вязание. 1991. (Альбом)..... некоторые его страницы будут интересны и для тех, кто делает первые шаги в декоративно-прикладном творчестве.(0000-3)
150руб.Слепой. Один в темноте Воронин Андрей Николаевич и выхода как будто нет... Но он пройдет все испытания. Он выйдет победителем в дуэлях со смертью......(570)
150руб.Божерянов И. Н. Романовы. 300 лет служения России. Издание раскрывает всю историю царствования дома Романовых: от избрания на царство Михаила Федоровича до последнего императора Николая II.....(0000-3)
999руб.Как я пришел в сознание Кришны…собраны реальные истории об удивительных переменах в человеческих сердцах после долгих лет, а, может быть, и жизней поиска себя и Божественного знания...(1100)
600руб.Каганов В.М. Мировоззрение И.М. Сеченова. Стенограмма публичной лекции, прочитанной в Центральном лектории Общества в Москве.1949 год (476)
300руб.Цена
499 руб.
Удалён(13 авг 2020 18:41)
Описание лота
Год выпуска 1981
Сохранность Хорошая
Ориг.название Theory of formal systems
Автор Реймонд М. Смальян
Формат издания 130х200 мм (средний формат)
Количество страниц 204
Тираж 9000
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Переводчик Н. Косовский
Переплет Мягкая обложка, суперобложка
Язык издания Русский
Тип издания Отдельное издание
Вес в упаковке, г 180
В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение охватывает также основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных множествах, эффективных операциях над множествами и функциями. Автору с помощью удачных теоретических и методических находок (таких, как понятие рудиментарного предиката, специальные способы кодирования слов, существенно упрощающие арифметизацию, и др.) удалось многие результаты математической логики, ранее излагавшиеся громоздко и разрозненно, объединить в единое целое, отделив в них принципиальное ядро от деталей. Это распространяется, в-частности, на знаменитую теорему К. Гёделя о неполноте формализации арифметики и на родственные ей теоремы. Многие интересные результаты, содержащиеся в книге, получены ее автором. Эта книга - полезное учебное пособие для студентов, аспирантов и математиков различных специальностей, заинтересованных в кратком и ясном изложении важнейших результатов теории формальных систем, теории алгорифмов и их приложений к математической логике.
Сохранность Хорошая
Ориг.название Theory of formal systems
Автор Реймонд М. Смальян
Формат издания 130х200 мм (средний формат)
Количество страниц 204
Тираж 9000
Издательство Главная редакция физико-математической литературы издательства "Наука"
Серия Математическая логика и основания математики
Переводчик Н. Косовский
Переплет Мягкая обложка, суперобложка
Язык издания Русский
Тип издания Отдельное издание
Вес в упаковке, г 180
В книге в систематической форме излагаются основы обширной области математической логики - общей теории формальных систем. Изложение охватывает также основные сведения об алгорифмических (рекурсивных) функциях, перечислимых, разрешимых и креативных множествах, эффективных операциях над множествами и функциями. Автору с помощью удачных теоретических и методических находок (таких, как понятие рудиментарного предиката, специальные способы кодирования слов, существенно упрощающие арифметизацию, и др.) удалось многие результаты математической логики, ранее излагавшиеся громоздко и разрозненно, объединить в единое целое, отделив в них принципиальное ядро от деталей. Это распространяется, в-частности, на знаменитую теорему К. Гёделя о неполноте формализации арифметики и на родственные ей теоремы. Многие интересные результаты, содержащиеся в книге, получены ее автором. Эта книга - полезное учебное пособие для студентов, аспирантов и математиков различных специальностей, заинтересованных в кратком и ясном изложении важнейших результатов теории формальных систем, теории алгорифмов и их приложений к математической логике.
Объявления продавца
Доставка в другие города
Почта России
Основы электроники, Иван Жеребцов, Описываются физические процессы в полупроводниковых и электровакуумных приборах, в интегральных микросхемах и некоторых специальных приборах современной электроники, устройство....(1164)
300руб.English / Английский язык. 5 класс, А.Старков, Р.Диксон, Б.Островский, Вашему вниманию предлагается учебник по английскому языку для 5 класса средней школы, 1-й год обучения.(1172)
150руб.Хилпатрик Д., Сын Ретта Батлера, Жизнь Скарлетт О'Хара и Ретта Батлера, героев романа Маргарет Митчелл "Унесенные ветром", продолжается в их детях. Им выпала доля жить в гуще событий начала XX столетия...(945)(104)
500руб.Барская Г.Г., Богаткова Н.Л., Буланцева Н.Л. Вязание. 1991. (Альбом)..... некоторые его страницы будут интересны и для тех, кто делает первые шаги в декоративно-прикладном творчестве.(0000-3)
150руб.Слепой. Один в темноте Воронин Андрей Николаевич и выхода как будто нет... Но он пройдет все испытания. Он выйдет победителем в дуэлях со смертью......(570)
150руб.Божерянов И. Н. Романовы. 300 лет служения России. Издание раскрывает всю историю царствования дома Романовых: от избрания на царство Михаила Федоровича до последнего императора Николая II.....(0000-3)
999руб.Как я пришел в сознание Кришны…собраны реальные истории об удивительных переменах в человеческих сердцах после долгих лет, а, может быть, и жизней поиска себя и Божественного знания...(1100)
600руб.Каганов В.М. Мировоззрение И.М. Сеченова. Стенограмма публичной лекции, прочитанной в Центральном лектории Общества в Москве.1949 год (476)
300руб.Поделиться этим лотом: