Теория алгоритмов: учебное пособие для вузов
| Автор: | |
|---|---|
| Резюме: | Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. Для студентов у иверситетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета. |
| Мова: | Російська |
| Опубліковано: |
Москва, Инфра-М, 2015
|
| Серія: | Высшее образование |
| Предмети: | |
| Формат: | Книга |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=269757 |
Схожі ресурси
Математическая логика и теория алгоритмов: учебное пособие
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, Академия, 2008)
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, Академия, 2008)
Теория алгоритмов: учебное пособие
за авторством: Кожевникова Г. П. Галина Павловна
Опубліковано: (Львов, Вища школа, 1978)
за авторством: Кожевникова Г. П. Галина Павловна
Опубліковано: (Львов, Вища школа, 1978)
Теория алгоритмов: учебное пособие для вузов
за авторством: Фалевич Б. Я. Борис Яковлевич
Опубліковано: (Москва, Машиностроение, 2004)
за авторством: Фалевич Б. Я. Борис Яковлевич
Опубліковано: (Москва, Машиностроение, 2004)
Математическая логика и теория алгоритмов: учебное пособие
за авторством: Крупский В. Н. Владимир Николаевич
Опубліковано: (Москва, Академия, 2013)
за авторством: Крупский В. Н. Владимир Николаевич
Опубліковано: (Москва, Академия, 2013)
Математическая логика и теория алгоритмов: учебное пособие
за авторством: Набебин А. А. Алексей Александрович
Опубліковано: (СПб., Научный мир, 2008)
за авторством: Набебин А. А. Алексей Александрович
Опубліковано: (СПб., Научный мир, 2008)
Теория алгоритмов: учебник
за авторством: Матрос Д. Ш. Дмитрий Шаевич
Опубліковано: (Москва, БИНОМ. Лаборатория знаний, 2008)
за авторством: Матрос Д. Ш. Дмитрий Шаевич
Опубліковано: (Москва, БИНОМ. Лаборатория знаний, 2008)
Теория алгоритмов: учебное пособие для вузов
за авторством: Гладкий А. В. Алексей Всеволодович
Опубліковано: (Калинин, Изд-во КГУ, 1983)
за авторством: Гладкий А. В. Алексей Всеволодович
Опубліковано: (Калинин, Изд-во КГУ, 1983)
Теория алгоритмов: учебное пособие для вузов
за авторством: Крупский В. Н. Владимир Николаевич
Опубліковано: (Москва, Академия, 2009)
за авторством: Крупский В. Н. Владимир Николаевич
Опубліковано: (Москва, Академия, 2009)
Теория алгоритмов учебное пособие
за авторством: Кабанцова Л. Ю.
Опубліковано: (Воронеж, ВГУ, 2021)
за авторством: Кабанцова Л. Ю.
Опубліковано: (Воронеж, ВГУ, 2021)
Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
за авторством: Верещагин Н. К
Опубліковано: (Москва, МЦНМО, 1999)
за авторством: Верещагин Н. К
Опубліковано: (Москва, МЦНМО, 1999)
Математическая логика и теория алгоритмов: учебное пособие
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, Academia, 2004)
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, Academia, 2004)
Алгоритмы и формальные системы: учебное пособие
за авторством: Лисовик Л. П. Леонид Петрович
Опубліковано: (Киев, Изд-во КГУ, 1981)
за авторством: Лисовик Л. П. Леонид Петрович
Опубліковано: (Киев, Изд-во КГУ, 1981)
Основы теории алгоритмов учебное пособие
за авторством: Ланских В. Г.
Опубліковано: (Киров, ВятГУ, 2017)
за авторством: Ланских В. Г.
Опубліковано: (Киров, ВятГУ, 2017)
Практикум по теории алгоритмов учебное пособие для вузов
за авторством: Тихомирова А. Н.
Опубліковано: (Москва, НИЯУ МИФИ, 2011)
за авторством: Тихомирова А. Н.
Опубліковано: (Москва, НИЯУ МИФИ, 2011)
Алгоритмы и рекурсивные функции
за авторством: Мальцев А. И. Анатолий Иванович
Опубліковано: (Москва, Наука, 1986)
за авторством: Мальцев А. И. Анатолий Иванович
Опубліковано: (Москва, Наука, 1986)
Дискретная математика. Алгоритмы: теория и практика
за авторством: Авдошин С. М. Сергей Михайлович
Опубліковано: (Москва, ДМК Пресс, 2019)
за авторством: Авдошин С. М. Сергей Михайлович
Опубліковано: (Москва, ДМК Пресс, 2019)
Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Опубліковано: (Калинин, Изд-во Калининского гос. ун-та, 1983)
Опубліковано: (Калинин, Изд-во Калининского гос. ун-та, 1983)
Теория алгоритмов и вычислений учебное пособие для вузов
за авторством: Гашков С. Б.
Опубліковано: (Санкт-Петербург, Лань, 2023)
за авторством: Гашков С. Б.
Опубліковано: (Санкт-Петербург, Лань, 2023)
Математическая логика и теория алгоритмов / ДО 2017: электронный курс
за авторством: Стоянов А. К. Александр Кириллович
Опубліковано: (Томск, TPU Moodle, 2018)
за авторством: Стоянов А. К. Александр Кириллович
Опубліковано: (Томск, TPU Moodle, 2018)
Математическая логика и теория алгоритмов для программистов: учебное пособие
за авторством: Гринченков Д. В. Дмитрий Валерьевич
Опубліковано: (Москва, КноРус, 2010)
за авторством: Гринченков Д. В. Дмитрий Валерьевич
Опубліковано: (Москва, КноРус, 2010)
Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, Академия, 2005)
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, Академия, 2005)
Математическая логика и теория алгоритмов для программистов: учебное пособие
за авторством: Гринченков Д. В. Дмитрий Валерьевич
Опубліковано: (Москва, КноРус, 2013)
за авторством: Гринченков Д. В. Дмитрий Валерьевич
Опубліковано: (Москва, КноРус, 2013)
Математическая логика и теория алгоритмов учебное пособие
за авторством: Гамова А. Н.
Опубліковано: (Саратов, СГУ, 2020)
за авторством: Гамова А. Н.
Опубліковано: (Саратов, СГУ, 2020)
Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, Академия, 2006)
за авторством: Игошин В. И. Владимир Иванович
Опубліковано: (Москва, Академия, 2006)
Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
Опубліковано: (1976)
Опубліковано: (1976)
Математическая логика и теория алгоритмов учебное пособие
за авторством: Неклюдова В. Л.
Опубліковано: (Новосибирск, СГУГиТ, 2022)
за авторством: Неклюдова В. Л.
Опубліковано: (Новосибирск, СГУГиТ, 2022)
Алгоритмы в современной математике и ее приложениях: материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]; Ч.2
Опубліковано: (Новосибирск, Изд-во СО АН СССР, 1982)
Опубліковано: (Новосибирск, Изд-во СО АН СССР, 1982)
Методы оптимального проектирования сетей и формальные алгоритмы: учебное пособие
за авторством: Вшивцев А. С. Александр Сергеевич
Опубліковано: (Москва, МИРЭА, 1988)
за авторством: Вшивцев А. С. Александр Сергеевич
Опубліковано: (Москва, МИРЭА, 1988)
Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие
за авторством: Глухов М. М. Михаил Михайлович
Опубліковано: (СПб., Лань, 2012)
за авторством: Глухов М. М. Михаил Михайлович
Опубліковано: (СПб., Лань, 2012)
Алгоритмы и рекурсивные функции
за авторством: Мальцев А. И. Анатолий Иванович
Опубліковано: (Москва, Наука, 1965)
за авторством: Мальцев А. И. Анатолий Иванович
Опубліковано: (Москва, Наука, 1965)
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Опубліковано: (Москва, Мир, 1970)
Опубліковано: (Москва, Мир, 1970)
Математическая логика и теория алгоритмов
Опубліковано: (Новосибирск, Наука, 1982)
Опубліковано: (Новосибирск, Наука, 1982)
Алгоритмическая теория обратимости операторов
за авторством: Шурыгин В. А. Виктор Афанасьевич
Опубліковано: (Москва, Либроком, 2010)
за авторством: Шурыгин В. А. Виктор Афанасьевич
Опубліковано: (Москва, Либроком, 2010)
Теория алгоритмов учебно-методическое пособие
за авторством: Куликов В. Г.
Опубліковано: (Москва, МИСИ – МГСУ, 2022)
за авторством: Куликов В. Г.
Опубліковано: (Москва, МИСИ – МГСУ, 2022)
Графы и алгоритмы. Структуры данных. Модели вычислений: учебник
за авторством: Алексеев В. Е. Владимир Евгеньевич
Опубліковано: (Москва, БИНОМ. Лаборатория знаний, 2012)
за авторством: Алексеев В. Е. Владимир Евгеньевич
Опубліковано: (Москва, БИНОМ. Лаборатория знаний, 2012)
Математическая логика и теория алгоритмов: учебник
за авторством: Судоплатов С. В.
Опубліковано: (Москва, Инфра-М, 2008)
за авторством: Судоплатов С. В.
Опубліковано: (Москва, Инфра-М, 2008)
Алгоритмы. Руководство по разработке: пер. с англ.
за авторством: Скиена С. С. Стивен С.
Опубліковано: (Санкт-Петербург, БХВ-Петербург, 2014)
за авторством: Скиена С. С. Стивен С.
Опубліковано: (Санкт-Петербург, БХВ-Петербург, 2014)
Теория алгоритмов учебно-методическое пособие
за авторством: Волобуева С. А.
Опубліковано: (Воронеж, ВГУ, 2021)
за авторством: Волобуева С. А.
Опубліковано: (Воронеж, ВГУ, 2021)
Основы дискретной математики и теории алгоритмов учебно-методическое пособие
за авторством: Сидская О. В.
Опубліковано: (Пинск, ПолесГУ, 2020)
за авторством: Сидская О. В.
Опубліковано: (Пинск, ПолесГУ, 2020)
Теория формальных систем: пер. с англ.
за авторством: Смальян Р. Раймонд
Опубліковано: (Москва, Наука, 1981)
за авторством: Смальян Р. Раймонд
Опубліковано: (Москва, Наука, 1981)