Теория алгоритмов: учебное пособие для вузов
| Հիմնական հեղինակ: | |
|---|---|
| Ամփոփում: | Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. Для студентов у иверситетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета. |
| Լեզու: | ռուսերեն |
| Հրապարակվել է: |
Москва, Инфра-М, 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)
Теория алгоритмов: учебное пособие для вузов
: Гладкий А. В. Алексей Всеволодович
Հրապարակվել է: (Калинин, Изд-во КГУ, 1983)
: Гладкий А. В. Алексей Всеволодович
Հրապարակվել է: (Калинин, Изд-во КГУ, 1983)
Математическая логика и теория алгоритмов: учебное пособие
: Набебин А. А. Алексей Александрович
Հրապարակվել է: (СПб., Научный мир, 2008)
: Набебин А. А. Алексей Александрович
Հրապարակվել է: (СПб., Научный мир, 2008)
Теория алгоритмов: учебное пособие для вузов
: Крупский В. Н. Владимир Николаевич
Հրապարակվել է: (Москва, Академия, 2009)
: Крупский В. Н. Владимир Николаевич
Հրապարակվել է: (Москва, Академия, 2009)
Теория алгоритмов учебное пособие
: Кабанцова Л. Ю.
Հրապարակվել է: (Воронеж, ВГУ, 2021)
: Кабанцова Л. Ю.
Հրապարակվել է: (Воронеж, ВГУ, 2021)
Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции
: Верещагин Н. К
Հրապարակվել է: (Москва, МЦНМО, 1999)
: Верещагин Н. К
Հրապարակվել է: (Москва, МЦНМО, 1999)
Математическая логика и теория алгоритмов: учебное пособие
: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Academia, 2004)
: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Academia, 2004)
Алгоритмы и формальные системы: учебное пособие
: Лисовик Л. П. Леонид Петрович
Հրապարակվել է: (Киев, Изд-во КГУ, 1981)
: Лисовик Л. П. Леонид Петрович
Հրապարակվել է: (Киев, Изд-во КГУ, 1981)
Практикум по теории алгоритмов учебное пособие для вузов
: Тихомирова А. Н.
Հրապարակվել է: (Москва, НИЯУ МИФИ, 2011)
: Тихомирова А. Н.
Հրապարակվել է: (Москва, НИЯУ МИФИ, 2011)
Основы теории алгоритмов учебное пособие
: Ланских В. Г.
Հրապարակվել է: (Киров, ВятГУ, 2017)
: Ланских В. Г.
Հրապարակվել է: (Киров, ВятГУ, 2017)
Алгоритмы и рекурсивные функции
: Мальцев А. И. Анатолий Иванович
Հրապարակվել է: (Москва, Наука, 1986)
: Мальцев А. И. Анатолий Иванович
Հրապարակվել է: (Москва, Наука, 1986)
Дискретная математика. Алгоритмы: теория и практика
: Авдошин С. М. Сергей Михайлович
Հրապարակվել է: (Москва, ДМК Пресс, 2019)
: Авдошин С. М. Сергей Михайлович
Հրապարակվել է: (Москва, ДМК Пресс, 2019)
Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Հրապարակվել է: (Калинин, Изд-во Калининского гос. ун-та, 1983)
Հրապարակվել է: (Калинин, Изд-во Калининского гос. ун-та, 1983)
Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Академия, 2005)
: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Академия, 2005)
Математическая логика и теория алгоритмов учебное пособие
: Гамова А. Н.
Հրապարակվել է: (Саратов, СГУ, 2020)
: Гамова А. Н.
Հրապարակվել է: (Саратов, СГУ, 2020)
Математическая логика и теория алгоритмов / ДО 2017: электронный курс
: Стоянов А. К. Александр Кириллович
Հրապարակվել է: (Томск, TPU Moodle, 2018)
: Стоянов А. К. Александр Кириллович
Հրապարակվել է: (Томск, TPU Moodle, 2018)
Математическая логика и теория алгоритмов для программистов: учебное пособие
: Гринченков Д. В. Дмитрий Валерьевич
Հրապարակվել է: (Москва, КноРус, 2010)
: Гринченков Д. В. Дмитрий Валерьевич
Հրապարակվել է: (Москва, КноРус, 2010)
Математическая логика и теория алгоритмов для программистов: учебное пособие
: Гринченков Д. В. Дмитрий Валерьевич
Հրապարակվել է: (Москва, КноРус, 2013)
: Гринченков Д. В. Дмитрий Валерьевич
Հրապարակվել է: (Москва, КноРус, 2013)
Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Академия, 2006)
: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Академия, 2006)
Математическая логика и теория алгоритмов учебное пособие
: Неклюдова В. Л.
Հրապարակվել է: (Новосибирск, СГУГиТ, 2022)
: Неклюдова В. Л.
Հրապարակվել է: (Новосибирск, СГУГиТ, 2022)
Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
Հրապարակվել է: (1976)
Հրապարակվել է: (1976)
Алгоритмы в современной математике и ее приложениях: материалы международного симпозиума, Ургенч, УзССР, 16-22 сентября 1979 г. [В 2-х г.]; Ч.2
Հրապարակվել է: (Новосибирск, Изд-во СО АН СССР, 1982)
Հրապարակվել է: (Новосибирск, Изд-во СО АН СССР, 1982)
Алгоритмы и рекурсивные функции
: Мальцев А. И. Анатолий Иванович
Հրապարակվել է: (Москва, Наука, 1965)
: Мальцев А. И. Анатолий Иванович
Հրապարակվել է: (Москва, Наука, 1965)
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Հրապարակվել է: (Москва, Мир, 1970)
Հրապարակվել է: (Москва, Мир, 1970)
Теория алгоритмов учебно-методическое пособие
: Куликов В. Г.
Հրապարակվել է: (Москва, МИСИ – МГСУ, 2022)
: Куликов В. Г.
Հրապարակվել է: (Москва, МИСИ – МГСУ, 2022)
Методы оптимального проектирования сетей и формальные алгоритмы: учебное пособие
: Вшивцев А. С. Александр Сергеевич
Հրապարակվել է: (Москва, МИРЭА, 1988)
: Вшивцев А. С. Александр Сергеевич
Հրապարակվել է: (Москва, МИРЭА, 1988)
Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие
: Глухов М. М. Михаил Михайлович
Հրապարակվել է: (СПб., Лань, 2012)
: Глухов М. М. Михаил Михайлович
Հրապարակվել է: (СПб., Лань, 2012)
Математическая логика и теория алгоритмов
Հրապարակվել է: (Новосибирск, Наука, 1982)
Հրապարակվել է: (Новосибирск, Наука, 1982)
Алгоритмическая теория обратимости операторов
: Шурыгин В. А. Виктор Афанасьевич
Հրապարակվել է: (Москва, Либроком, 2010)
: Шурыгин В. А. Виктор Афанасьевич
Հրապարակվել է: (Москва, Либроком, 2010)
Графы и алгоритмы. Структуры данных. Модели вычислений: учебник
: Алексеев В. Е. Владимир Евгеньевич
Հրապարակվել է: (Москва, БИНОМ. Лаборатория знаний, 2012)
: Алексеев В. Е. Владимир Евгеньевич
Հրապարակվել է: (Москва, БИНОМ. Лаборатория знаний, 2012)
Теория алгоритмов учебно-методическое пособие
: Волобуева С. А.
Հրապարակվել է: (Воронеж, ВГУ, 2021)
: Волобуева С. А.
Հրապարակվել է: (Воронеж, ВГУ, 2021)
Математическая логика и теория алгоритмов: учебник
: Судоплатов С. В.
Հրապարակվել է: (Москва, Инфра-М, 2008)
: Судоплатов С. В.
Հրապարակվել է: (Москва, Инфра-М, 2008)
Алгоритмы. Руководство по разработке: пер. с англ.
: Скиена С. С. Стивен С.
Հրապարակվել է: (Санкт-Петербург, БХВ-Петербург, 2014)
: Скиена С. С. Стивен С.
Հրապարակվել է: (Санкт-Петербург, БХВ-Петербург, 2014)
Основы дискретной математики и теории алгоритмов учебно-методическое пособие
: Сидская О. В.
Հրապարակվել է: (Пинск, ПолесГУ, 2020)
: Сидская О. В.
Հրապարակվել է: (Пинск, ПолесГУ, 2020)
Основы теории алгоритмов и рекурсивных функций
: Людковский С. В.
Հրապարակվել է: (Москва, РТУ МИРЭА, 2022)
: Людковский С. В.
Հրապարակվել է: (Москва, РТУ МИРЭА, 2022)
Математическая логика и теория алгоритмов учебное пособие
: Ярахмедов Г. А.
Հրապարակվել է: (Махачкала, ДГПУ, 2024)
: Ярахмедов Г. А.
Հրապարակվել է: (Махачкала, ДГПУ, 2024)