Книги

Настоящая книга содержит подробное систематическое изложение теории, методов и приложений общей задачи линейного программирования. Описывается ряд практических задач (в основном экономического происхождения), приводящихся к общей схеме линейного про...

Настоящая книга содержит подробное систематическое изложение теории, методов и приложений общей задачи линейного программирования. Описывается ряд практических задач (в основном экономического происхождения), приводящихся к общей схеме линейного про...

Книга охватывает классические разделы теории экстремальных задач: условная и безусловная оптимизация, выпуклые задачи, вариационное исчисление, принцип максимума, динамическое программирование. Рассматриваются также нетрадиционные для оптимизации области: ...

Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии P- и NP-задач. В резонанс с проблемой "P против NP" входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов, криптография, ...

В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных понятий теории сложности, как-то: оценки снизу и сверху...

В книге содержатся теоретический материал и практические задания по разделам: деревья, стеки, очереди, модульное программирование. Описываются основные задачи, решаемые операционными системами, алгоритмы их реализации. Рассказано о классификации сов...

Книга посвящена эквивалентным преобразованиям графов. Предполагается, что доказанные теоремы решают проблему изоморфизма графов, проблему нумерации графов с помощью эффективных алгоритмов без их предварительного построения, проблему построения нормальных ...

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

Разнообразные системы счисления используются в математике, когда появляется потребность в счете - начиная с упражнений младшеклассника, выполняемых карандашом на бумаге, и заканчивая вычислениями, производимыми на суперкомпьютерах. В настоящей книге ...

В настоящей книге рассматриваются методы быстрого выполнения различных видов вычислений, рассказывается о реализации быстрых алгоритмов как в виде логических схем - математической модели реальных электронных микросхем, так и в виде компьютерных программ. ...

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

Сборник содержит городские контрольные работы по математике с 5 по 9 класс, предлагавшиеся образовательным учреждениям г. Москвы с 2007 по 2011 гг. Сборник может быть использован для проведения мониторинга знаний по математике учащихся с 5 по 9 класс. Для ...

Изложены решения задач теории графов. Даны описания основных алгоритмов на графах и тексты более 30 программ. Приведены алгоритмы теории искусственного интеллекта (муравьиный алгоритм и метод отжига) для решения задачи коммивояжера. Предметно-именной ...

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

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

Предлагаемый учебник впервые вышел в свет в виде двухтомника сначала на английском и испанском языках в 1990 году, а затем на французком. Он пользуется большим спросом за рубежом. В 1999 году книга стала лауреатом конкурса по созданию новых учебников ...

В настоящем пособии рассматривается теорема Ф.Холла о системе различных представителей, решающая задачу о свадьбах, и эквивалентные ей теоремы Менгера, Дилворта, Кёнига---Эгервари, Форда---Фалкерсона. Показано, что эти теоремы являются проявлением принципа...

Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем.

Курс рассчитан на читателей, заинтересованных в изучении основных подходов...

Для предоставления доступа партнерам и заказчикам к критическим системам через Интернет необходимо совершенствование традиционных корпоративных систем безопасности и решение новых сложных задач. Книга знакомит читателей с проверенными методами и стр...

Рассмотрены вопросы по практическому использованию 18 приложений, входящих в пакет Nero 7 Premium. Описаны интер-фейсы программ пакета, подготовка ме-диафайлов к записи на CD/DVD, тестиро-вание дисков и приводов, создание слайд-шоу и фотоальбома, не...