Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)

Купить бумажную книгу и читать

Купить бумажную книгу

По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Читай Город".

Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.

Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: MvGzQC98w3Z1gMq1kx5ACoy5.

Название: Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)

Автор:

Год издания: 2012

Издательство: МЦНМО

ISBN: 978-5-4439-0012-4, 978-5-4439-0013-1, 978-5-4439-0014-8

Страниц: 512

Формат: PDF

Размер: 3,1 Мб (+3%)

Часть 1. Начала теории множеств

Часть 2. Языки и исчисления

Часть 3. Вычислимые функции

Аннотация:

Часть 1. Начала теории множеств:

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности,упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включаетоколо 150 задач различной трудности. Предыдущее издание книги вышло в 2008 г.

Часть 2. Языки и исчисления:

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказы вается об основных понятиях математической логики (логика высказы ваний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2008 г.

Часть 3. Вычислимые функции:

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказы вается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности. Предыдущее издание книги вышло в 2008 г.

Дата создания страницы: