Книги

Книга служит пособием для самостоятельного овладения программным комплексом ANSYS (продукт фирмы ANSYS Inc.). Подробно, с примерами, изложены основы метода конечных элементов (на котором построена математическая база ANSYS). Детально изложены приемы ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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