Книги

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

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

Рассмотрен язык программирования Python и вопросы применения приложения ZOPE (Z Object Publishing Environment) для разработки Web-приложений. Дано описание синтаксиса языка Python, построения структур данных, разбираются вопросы объектно-ориентированного ...

Направление в теории алгоритмов, в котором размеры программ, задающих алгоритмы, используются как средство исследования алгоритмических проблем, было основано А.А.Марковым в начале 60-х годов XX в. Сложностный метод А.А.Маркова позволяет расширить область ...

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

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

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

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

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

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

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

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

В книге рассмотрены практически все основные цифровые технологии современных глобальных сетей фиксированнной связи: X.25, FR, ATM, PPP, ISDN, PDH, SDH, WDM, а также IP и MPLS. Описаны основные особенности и многоуровневые модели указанных технологий, ...

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

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

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

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

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

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

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

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