Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции Год выпуска: 2012Автор: Н. К. Верещагин, А. ШеньИздательство: МЦНМОСтраниц: 160ISBN: 978-5-4439-0014-8Описание Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности.
Похожие книги
М.М. Глухов, А.Б. Шишков. Математическая логика. Дискретные функции. Теория алгоритмов. – СПб.: Лань, 2012. – 416 с. В.М. Зюзьков, А.А. Шелупанов. Математическая логика и теория алгоритмов. – М.: Горячая Линия - Телеком, 2007. – 176 с. М.М. Глухов, О.А. Козлитин, В.А. Шапошников, А.Б. Шишков. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. – СПб.: Лань, 2008. – 112 с. А.К. Гуц. Математическая логика и теория алгоритмов. – М.: Либроком, 2009. – 120 с. А.А. Набебин, Ю.П. Кораблин. Математическая логика и теория алгоритмов. – М.: Научный мир, 2008. – 344 с. Ю.И. Журавлев, Ю.А. Флеров, М.Н. Вялый. Дискретный анализ. Формальные системы и алгоритмы. – М.: Контакт Плюс, 2010. – 336 с. И.А. Лавров, Л.Л. Максимова. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: ФИЗМАТЛИТ, 2004. – 256 с. В.И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. – М.: Академия, 2008. – 304 с. Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. – М.: МЦНМО, 2012. – 112 с. Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. – М.: МЦНМО, 2012. – 160 с. А.С. Герасимов. Курс математической логики и теории вычислимости. Учебное пособие. – СПб.: Лань, 2014. – 416 с. Гуц А.К. Математическая логика и теория алгоритмов. – М.: , 2016. – с. А.В. Пруцков, Л.Л. Волкова. Математическая логика и теория алгоритмов. Учебник. – М.: Инфра-М, КУРС, 2016. – 156 с. В.И. Игошин. Математическая логика и тория алгоритмов. Сборник задач. Учебное пособие. – М.: Инфра-М,КУРС, 2017. – 392 с. Н.К. Верещагин. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. – М.: МЦНМО, 2017. – 240 с. Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. – М.: МЦНМО, 2017. – 112 с. Овчинникова Елена Викторовна, Судоплатов Сергей Владимирович. Математическая логика и теория алгоритмов. Учебник и практикум для академического бакалавриата. – М.: Юрайт, 2017. – 255 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Александр, 06.01 С наступившими и грядущими праздниками Вас! Написанная Вами работа принята преподавателем как есть, мне даже пришлось буквально на месте ваять титульный лист. О недочётах она лишь сказала, что...они есть - и не более того. Благодаря Вам мне даже не пришлось сдавать экзамен по этому предмету. Спасибо большое!
