Теория алгоритмов: учебное пособие для вузов

Теория алгоритмов: учебное пособие для вузов

Détails bibliographiques
Auteur principal:	Крупский В. Н. Владимир Николаевич
Autres auteurs:	Плиско В. Е. Валерий Егорович
Résumé:	В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений. Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.
Langue:	russe
Publié:	Москва, Академия, 2009
Collection:	Университетский учебник. Прикладная математика и информатика
Sujets:	Алгоритмы, теория учебные пособия множества алгоритмическая теория машины Тьюринга рекурсивные функции машины с неорганиченными регистрами вычислимые функции нумерация алгоритмические проблемы сложность легкоразрешимые задачи труднорешаемые задачи информатика вычислительная техника
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=164223

Documents similaires

Теория алгоритмов: учебник
par: Матрос Д. Ш. Дмитрий Шаевич
Publié: (Москва, БИНОМ. Лаборатория знаний, 2008)

Теория алгоритмов: учебное пособие для вузов
par: Игошин В. И. Владимир Иванович
Publié: (Москва, Инфра-М, 2015)

Теория алгоритмов: учебное пособие для вузов
par: Гладкий А. В. Алексей Всеволодович
Publié: (Калинин, Изд-во КГУ, 1983)

Математическая логика и теория алгоритмов: учебное пособие
par: Крупский В. Н. Владимир Николаевич
Publié: (Москва, Академия, 2013)

Теория алгоритмов: учебное пособие
par: Кожевникова Г. П. Галина Павловна
Publié: (Львов, Вища школа, 1978)

Теория алгоритмов: учебное пособие для вузов
par: Фалевич Б. Я. Борис Яковлевич
Publié: (Москва, Машиностроение, 2004)

Теория нумераций.
par: Ершов Ю. Л. Юрий Леонидович
Publié: (Москва, Наука, 1977)

Введение в теорию автоматов, языков и вычислений: пер. с англ.
par: Хопкрофт Дж. Джон
Publié: (Москва, Вильямс, 2002)

Математическая логика и теория алгоритмов: учебное пособие
par: Игошин В. И. Владимир Иванович
Publié: (Москва, Академия, 2008)

Математическая логика и теория алгоритмов: учебное пособие
par: Набебин А. А. Алексей Александрович
Publié: (СПб., Научный мир, 2008)

Алгоритмы и рекурсивные функции
par: Мальцев А. И. Анатолий Иванович
Publié: (Москва, Наука, 1965)

Математическая логика и теория алгоритмов: учебное пособие
par: Игошин В. И. Владимир Иванович
Publié: (Москва, Academia, 2004)

Алгоритмы и формальные системы: учебное пособие
par: Лисовик Л. П. Леонид Петрович
Publié: (Киев, Изд-во КГУ, 1981)

Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
par: Верещагин Н. К
Publié: (Москва, МЦНМО, 1999)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Publié: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Алгоритмы в современной математике и ее приложениях: материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]; Ч.2
Publié: (Новосибирск, Изд-во СО АН СССР, 1982)

Математическая логика и теория алгоритмов
Publié: (Новосибирск, Наука, 1982)

Алгоритмы и рекурсивные функции
par: Мальцев А. И. Анатолий Иванович
Publié: (Москва, Наука, 1986)

Методы оптимального проектирования сетей и формальные алгоритмы: учебное пособие
par: Вшивцев А. С. Александр Сергеевич
Publié: (Москва, МИРЭА, 1988)

Алгоритмы. Руководство по разработке: пер. с англ.
par: Скиена С. С. Стивен С.
Publié: (Санкт-Петербург, БХВ-Петербург, 2014)

Потоковые алгоритмы
par: Адельсон-Вельский Г. М. Георгий Максимович
Publié: (Москва, Наука, 1975)

Графы и алгоритмы. Структуры данных. Модели вычислений: учебник
par: Алексеев В. Е. Владимир Евгеньевич
Publié: (Москва, БИНОМ. Лаборатория знаний, 2012)

Информатика. Введение в компьютерные науки: учебник
par: Королев Л. Н. Лев Николаевич
Publié: (Москва, Высшая школа, 2003)

Математическая логика и теория алгоритмов для программистов: учебное пособие
par: Гринченков Д. В. Дмитрий Валерьевич
Publié: (Москва, КноРус, 2013)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
par: Катленд Н. Найджел
Publié: (Москва, Мир, 1983)

Математическая логика и теория алгоритмов для программистов: учебное пособие
par: Гринченков Д. В. Дмитрий Валерьевич
Publié: (Москва, КноРус, 2010)

Сложностные проблемы математической логики: сборник научных трудов
Publié: (Калинин, [Б. и.], 1985)

Вычислимое и невычислимое
par: Манин Ю. И. Юрий Иванович
Publié: (Москва, Сов. радио, 1980)

Введение в метаматематику: пер. с англ.
par: Клини С. К. Стефен К.
Publié: (Москва, Изд-во иностранной литературы, 1957)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
par: Игошин В. И. Владимир Иванович
Publié: (Москва, Академия, 2006)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
par: Игошин В. И. Владимир Иванович
Publié: (Москва, Академия, 2005)

№ 1 : Приложение; Квант; Комбинаторика и логика
Publié: (2003)

Вып. 56 : Прикладные алгоритмы дискретной математики; Алгоритмы
Publié: (1985)

Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие
par: Глухов М. М. Михаил Михайлович
Publié: (СПб., Лань, 2012)

Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
Publié: (1976)

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Publié: (Москва, Мир, 1970)

Информатика. Введение в компьютерные науки: учебник для вузов
par: Королев Л. Н. Лев Николаевич
Publié: (Москва, Абрис, 2012)

Математическая теория формальных языков: учебное пособие
par: Пентус А. Е. Анна Евгеньевна
Publié: (Москва, БИНОМ. Лаборатория знаний, 2006)

Вып. 55 : Алгоритмы прикладной и вычислительной математики; Алгоритмы
Publié: (1984)

Рекурсивно перечислимые множества и сводимости табличного типа
par: Дегтев А. Н. Александр Николаевич
Publié: (Москва, Наука, 1998)