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

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

Détails bibliographiques
Auteur principal:	Игошин В. И. Владимир Иванович
Résumé:	Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. Для студентов у иверситетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета.
Publié:	Москва, Инфра-М, 2015
Collection:	Высшее образование
Sujets:	учебные пособия машины Тьюринга рекурсивные функции нормальные алгоритмы Маркова множества разрешимость перечислимость алгоритмические проблемы массовые проблемы математическая логика математика
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=269757

Documents similaires

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

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

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

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

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

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

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

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

Теория алгоритмов учебное пособие
par: Кабанцова Л. Ю.
Publié: (Воронеж, ВГУ, 2021)

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

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

Практикум по теории алгоритмов учебное пособие для вузов
par: Тихомирова А. Н.
Publié: (Москва, НИЯУ МИФИ, 2011)

Основы теории алгоритмов учебное пособие
par: Ланских В. Г.
Publié: (Киров, ВятГУ, 2017)

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

Дискретная математика. Алгоритмы: теория и практика
par: Авдошин С. М. Сергей Михайлович
Publié: (Москва, ДМК Пресс, 2019)

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

Математическая логика и теория алгоритмов / ДО 2017 электронный курс
par: Стоянов А. К. Александр Кириллович
Publié: (Томск, TPU Moodle, 2018)

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

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

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

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

Т. 2 [сборник]
Publié: (1976)

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

Математическая логика и теория алгоритмов учебное пособие
par: Гамова А. Н.
Publié: (Саратов, СГУ, 2020)

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

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

Алгоритмическая теория обратимости операторов
par: Шурыгин В. А. Виктор Афанасьевич
Publié: (Москва, Либроком, 2010)

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

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

Математическая логика и теория алгоритмов учебное пособие
par: Неклюдова В. Л.
Publié: (Новосибирск, СГУГиТ, 2022)

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

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

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

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

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

Теория формальных систем пер. с англ.
par: Смальян Р. Раймонд
Publié: (Москва, Наука, 1981)

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

Степени неразрешимости пер. с англ.
par: Шенфилд Дж. Джозеф
Publié: (Москва, Наука, 1977)

Основы дискретной математики и теории алгоритмов учебно-методическое пособие
par: Сидская О. В.
Publié: (Пинск, ПолесГУ, 2020)

Математическая логика и теория алгоритмов / ДО 2021 электронный курс
par: Шефер О. В. Ольга Владимировна
Publié: (Томск, TPU Moodle, 2021)