Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=Вычислимость<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

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

Вид документа : Продолжающееся издание
Шифр издания : 51(06)/Р 76
Заглавие : Сборник научных трудов/ [Редкол.:Н.Г.Загоруйко(гл.ред.) и др.];Науч.ред.Ю.Л.Ершов,С.С.Гончаров. Вып. 156: (Вычислительные системы). Структурные алгоритмические свойства вычислимости
Выходные данные : Новосибирск: Ин-т математики СО РАН, 1996 -
Колич.характеристики :152 c.
Коллективы : Российская академия наук. Сибирское отделение. Ин-т математики им. С. Л. Соболева
ISSN: 0568-661X
ISBN, Цена 0568-661X: Б.ц.
ГРНТИ : 27.03.17
УДК : 51(06) + 004.03(06) + 519.85
Ключевые слова (''Своб.индексиров.''): математика--сборники трудов--вычислимость--алгоритмы вычислимости функций--вычислительные системы
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51(06)/А 38
Заглавие : Сборник научных трудов. [Вып.] 139. (Вычислительные системы). Теория вычислимости и языки спецификаций
Выходные данные : Новосибирск, 1991
Колич.характеристики :192 c.
Коллективы : Академия наук СССР. Сибирское отделение. Ин-т математики
ISBN, Цена 5-7623-0102-8: 12.00 р.
ГРНТИ : 27.47.21
УДК : 51(06) + 004.03(06) + 519.85
Ключевые слова (''Своб.индексиров.''): семантическое программирование--вычислимость (теория)--сборники трудов--программирование--вычислительные системы
Экземпляры :кнхр(1)
Свободны : кнхр(1)
Найти похожие

Тематический навигатор

Статистика за 30.06.2024
Число запросов	138005
Число посетителей	752
Число заказов	0