Книги

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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