Книга: Н. К. Верещагин, А. Шень «Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции»
|
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общейтеории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности. Издательство: "МЦНМО" (2012) Формат: 60x90/16, 160 стр.
ISBN: 978-5-4439-0014-8 Купить за 181 руб на Озоне |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Языки и исчисления | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 240 стр.) Современные лекционные курсы Подробнее... | бумажная книга | ||
| Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 160 стр.) Подробнее... | бумажная книга | ||
| Языки и исчисления | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 240 стр.) Лазерная техника и технология Подробнее... | бумажная книга | ||
| Начала теории множеств. Лекции по математической логике и теории алгоритмов. Часть 1 | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — Московский центр непрерывного математического образования (МЦНМО), (формат: 60x90/16, 112 стр.) Современные лекционные курсы Подробнее... | бумажная книга |
См. также в других словарях:
Матлогика — Математическая логика (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого,… … Википедия
Теория алгоритмов — Теория алгоритмов наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… … Википедия
Теория множеств — Теория множеств раздел математики, в котором изучаются общие свойства множеств. Теория множеств лежит в основе большинства математических дисциплин; она оказала глубокое влияние на понимание предмета самой… … Википедия
Арифметическое множество — В теории множеств и математической логике, множество натуральных чисел называется арифметическим, если оно может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула с одной свободной переменной что… … Википедия
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
Математическая формула — Эта статья об обозначениях элементарной математики; Для более общего контекста см.: Математические обозначения. Математическая формула (от лат. formula уменьшительное от forma образ, вид) принятая в математике (а также… … Википедия
