В настоящее время различные разделы математики, так или иначе относящиеся к вычислениям, слабо связаны между собой. Вполне возможно, что новый ее раздел, зародившийся в силу необходимости решать и исследовать многочисленные проблемы параллельных вычислений и получивший название информационная структура алгоритмов и программ, станет естественным связующим звеном. Вот почему появилась идея подготовить небольшой цикл лекций, посвященный новым математическим знаниям по структурам алгоритмов. Формально этот цикл связан только с параллельными вычислениями. Но излагаемые в нем сведения могут оказаться полезными и в других областях математики. Для студентов, аспирантов и научных работников, специализирующихся в области исследования структуры алгоритмов, решения больших задач и создания программного обеспечения для параллельных вычислительных систем.
Рост сложных задач, решение которых связано с применением современных ИТ-технологий, ведет к необходимости использования параллельных вычислений. Параллельные вычисления носят междисциплинарный характер. Они затрагивают, в частности, такие области, как численные методы, структуры и алгоритмы обработки данных, аппаратное и программное обеспечение, с ...
Учебное пособие подготовлено на основе лекций по курсам «Теоретические основы параллельного программирования» и «Параллельные вычисления», читаемых в Саратовском государственном университете бакалаврам направлений «Математическое обеспечение и администрирование информационных систем» и «Фундаментальная информатика и информационные технологии».
Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгор ...
Изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем. По сравнению с изданием 1980 г. существенно переработана и расширена глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию.
Математическая логика и теория алгоритмов для программистов — Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию метод ...
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
