Введение в метаматематику С. К. Клини

Скачать книгу Введение в метаматематику С. К. Клини в fb2, txt, PDF, EPUB, doc, rtf, jar, djvu, lrf!

Введение в метаматематику Год выпуска: Автор: Клини Стефен К. Жанр: Монография Язык: Русский Издательство: Издательство иностранной литературы Формат: DjVu Качество: Отсканированные страницы Количество страниц: Описание Имя одного из крупнейших современных специалистов в области математической логики С.К.Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, ), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики. Введение в метаматематику / С. К. Клини; Перевод с англ. А. С. Есенина-Вольпина ; Под ред. В. А. Успенского. - М.: Издательство иностранной литературы, - с. - Библиогр.: с. - Б. ц. Войдите для заказа услуг. Вы сможете заказать: Доставку книги в удобную Вам библиотеку (из списка). Бронирование (издание 5 дней не будет выдаваться другим читателям). Электронную копию фрагмента издания. Клини С.К. Введение в метаматематику. (Introduction to Metamathematics, ) [Djv- M] Перевод с английского А.С. Есенина-Вольпина. Под редакцией В.А. Успенского.  Примитивно-рекурсивиые функции (). Глава X. Арифметизация метаматематики (). Глава XI. Обще-рекурсивные функции (). Клини С.К. Введение в метаматематику. Пер. с анг. - М., - с. Книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора - дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Введение в метаматематику (Клини С.К.) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 Введение в метаматематику. Клини С.К. Имя одного из крупнейших современных специалистов в области математической логики С.К.Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, ), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому мож. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, ), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями zovmag.ru Введение в метаматематику [Текст] / Перевод с англ. А. С. Есенина-Вольпина ; Под ред. В. А. Успенского. - Москва: Изд-во иностр. лит., - с.; 27 см. Доп. тит. л. Introduction to metamathematics.  ## $a ru. 1# $a Клини, Стефен Коул. 00 $a Введение в метаматематику $h [Текст] $c Перевод с англ. А. С. Есенина-Вольпина ; Под ред. В. А. Успенского. Читать книгу Клини С.К. Введение в метаматематику онлайн - бесплатно и без регистрации. Наука и учеба → Введение в метаматематику. Название: Введение в метаматематику Автор: Клини С.К. Издательство: Изд-во иностранной лит-ры Год: Страниц: Формат: djvu Размер: 9,6 Мб. Книга является самой обширной из имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики». В широком смысле слова метаматематика — метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в ней «математики». Скачать книгу Клини С.К. Введение в метаматематику | Mexalib - скачать книги бесплатно.  Книга является введением в дискретную математику - раздел прикладной математики, бурно развивающийся в последние годы и являющийся базой для математической кибернетики. Она написана на основе курса лекций, который автор читал в течение ряда лет на факультете вычислительной математики и кибернетики М год. МБ.