Книги

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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