Аннотация: Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства.

Аннотация: Учебник создан в соответствии с Федеральным государственным образовательным стандартом по направлению подготовки 230700 "Прикладная информатика" (квалификация "бакалавр"). Описаны этапы и виды работ, связанные с созданием программного продукта и его дальнейшим сопровождением: сбор и управление требованиями, управление проектом (финансами, процессами, ресурсами), проектирование, конструирование, тестирование, поддержка и эксплуатация. Рассмотрены различные модели жизненного цикла программного продукта. Раскрыто понятие качества программ. Дана характеристика инструментов, поддерживающих те или иные виды работ в рамках всего жизненного цикла программного продукта. Особое внимание уделено стандартам, которым должны отвечать как рассматриваемые работы, так и их результаты. Для студентов учреждений высшего образования.

Аннотация: Подробно изложены три формализации понятия алгоритма - машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.

Аннотация: Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлению подготовки 090900 «Информационная безопасность» (квалификация «бакалавр»). Рассмотрены основы технологий создания программных продуктов, типы и структуры данных, используемые в повседневной практике программирования . Приведены алгоритмы решения наиболее распространенных классов задач: алгоритмы сортировки и поиска, алгоритмы генерации комбинаторных объектов. Для студентов, обучающихся по специальностям в области информационных технологий, а также аспирантов и преподавателей вузов.

Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.

Аннотация: В учебном пособии рассматриваются три темы, входящие в программу дисциплины "Компьютерные науки": указатели, списки и графики в трехмерном пространстве. По каждой теме излагается теоретический материал, приводятся примеры решения задач, готовые программы, а также задачи для самостоятельного решения и для контроля знаний. Может быть использовано при изучении дисциплины "Языки программирования" и дисциплин специализации. Предназначается для студентов, аспирантов, магистрантов математического факультета.

Аннотация: В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений. Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.