| Найдено документов - 3 | Список томов многотомника: Верещагин Н.К. Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы). Ч. 1 : Начала теории м... | Версия для печати |
Сортировать по:
1. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 2 : Языки и исчисления. - 2017. - 240 с. : ил. - Библиогр.: с.224-227 (34 назв.). - ISBN 978-5-4439-0944-8.
Шифры: 51 - В 317
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г.
Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3
Прямая ссылка:
2. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств. - 2017. - изд. 5-е, стер. - (Современные лекционные курсы). - нет в НТБ.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 1 : Начала теории множеств. - 2017. - изд. 5-е, стер. - (Современные лекционные курсы). - нет в НТБ.
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач различной трудности. Предыдущее издание книги вышло в 2008 г.
Прямая ссылка:
3. Отдельный том
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Лекции по математической логике и теории алгоритмов / Н.К. Верещагин, А. Шень. - изд. 5-е, стер. - Москва : МЦНМО, 2017-. - (Современные лекционные курсы).
Ч. 3 : Вычислимые функции. - 2017. - 158 с. : ил. - Библиогр.: с.150-151 (12 назв.). - ISBN 978-5-4439-0945-5.
Шифры: 51 - В 317
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА, ТЕОРИЯ АЛГОРИТМОВ
Аннотация: Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности. Предыдущее издание книги вышло в 2012 г.
Экземпляры: Всего: 25, из них: абнл-3, абст-16, чзнл-3, чзуч-3
Прямая ссылка: