теория алгоритмов

  • Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов.— М.: Физматлит, 2004. -256 с.
    В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков — алгебраистов, логиков и кибернетиков.
  • Нефедов В. Н., Осипова В. А. Курс дискретной математики: Учеб. пособие.—М.; Изд-во МАИ, 1992.—264 с: ил. ISBN 5-7035-0157-Х
    Излагаются основы современной дискретной математики. Рассматриваются вопросы, связанные с математической логикой, теорией алгебраических систем, комбинаторикой, теорией графов. Приводится ряд практических задач и даются алгоритмы их решения.
    Учебное пособие предназначено для студентов, обучающихся по специальности сПрикладная математика», но может оказаться полезным также и студентам экономических и технических факультетов, изучающих курс «Дискретная математика»
  • Плотников А.Д. Дискретная математика: учеб. пособие /А.Д. Плотников. — М.: Новое знание, 2005. — 288 с.
    Книга написана на основе лекций, которые автор читал на протяжении 20 лет работы в Винницком техническом университете. Содержит следующие разделы: введение в теорию множеств, введение в теорию графов, элементы алгебры и математической логики, минимизация булевых функций, элементы комбинаторики, элементы теории алгоритмов, о разрешимости конструктивных комбинатрных задач, теоретико-множественные свойства экстремальных комбинаторных задач. Материал книги доступно изложен и проверен на нескольких поколениях студентов, содержит самые необходимые сведения для будущих инженеров-системотехников, программистов, кибернетиков и других специальностей. Дается описание некоторых алгоритмов и приведены отлаженные Паскаль-программы для наиболее важных из них. Эти программы могут служить основой для выполнения лабораторных работ по курсу. Для студентов, аспирантов и других читателей, интересующихся отдельными разделами дискретной математики.
  • Таран Т.А. Основы дискретной математики.— К.: Просвіта, 2003,— 288 с.
    Целью учебника является изложение основных понятий и методов, необходимых для изучения последующих дисциплин специальностей «прикладная математика», «информационные технологии» и пр., формирование мировоззрения на дискретную математику и логику как на фундаментальную науку, используемую для формализации знаний. Поэтому в книгу включены основные разделы, используемые в новых информационных технологиях, таких как системы обработки данных, моделирование сложных систем, системы искусственного интеллекта.
  • Галиев Ш. И. Математическая логика и теория алгоритмов. – Казань: Издательство КГТУ им. А. Н. Туполева. 2002. – 270 с.
    Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики.
  • Гуц А.К. Математическая логика и теория алгоритмов: Учебное пособие. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108 с.
    Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году.
  • Игошин В.И. Математическая логика и теория алгоритмов : учеб. пособие для студ. высш. учеб. заведений / В. И. Игошин. — 2-е изд., стер. — М. : Издательский центр «Академия», 2008. — 448 с.
    Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов).
  • Мальцев А.Н. Алгоритмы и рекурсивные функции. – М., Наука, 1986. – 366 с.
    Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов.
  • Плиско В.Е. Теория алгоритмов. Курс лекций. – 2004. – 38 с.
    Первые примеры алгоритмов встречаются уже в средней школе: алгоритм сложения натуральных чисел столбиком, алгоритм умножения двух натуральных чисел, алгоритм деления с остатком, процесс нахождения наибольшего общего делителя двух целых чисел, известный под названием алгоритма Евклида.
  • Подзоров С. Ю. Теория алгоритмов. Полный конспект лекций. – НГУ, 2003 – 2004. – 130 с.
    Слово “алгоритм” возникло довольно поздно (оно образовано от имени арабского математика аль-Хорезми, жившего в 9 веке н. э.) Несмотря на это, понятие алгоритма является одним из базовых понятий математики. Прежде чем вести разговор об алгоритмах, следует определить, что мы вкладываем в это слово.