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