Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Книги- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Верещагин, Н. К.$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Верещагин Н. К., Шень А. Х.,
Заглавие : Основы теории вычислимых функций / Н. К. Верещагин, А. Х. Шень . -2-е изд.
Выходные данные : Москва: ИНТУИТ, 2016
Колич.характеристики :169 с.
Цена : Б.ц.
Ключевые слова (''Своб.индексиров.''): эбс лань
Аннотация: Курс написан по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В нем рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов математиков и всех интересующихся основами теории алгоритмов. Книга включает себя много задач различной трудности.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Верещагин Н. К., Шень А. Х.,
Заглавие : Языки и исчисления / Н. К. Верещагин, А. Х. Шень . -2-е изд.
Выходные данные : Москва: ИНТУИТ, 2016
Колич.характеристики :278 с.
Цена : Б.ц.
Ключевые слова (''Своб.индексиров.''): эбс лань
Аннотация: В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Курс включает в себя около 200 задач различной трудности.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

 
Статистика
за 19.07.2024
Число запросов 48021
Число посетителей 513
Число заказов 0
© 2006-2022 Поволжский государственный технологический университет, ФГБОУ ВО «ПГТУ».