\thispagestyle{empty}
{
\renewcommand{\baselinestretch}{0.9}
\small

\begin{center}
\sf\Large
КНИГИ ИЗДАТЕЛЬСТВА МЦНМО
\end{center}

\textsf{Программирование: теоремы и задачи} (А.Шень)

\smallskip

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

Названия глав: 1.~Переменные, выражения присваивания;
2.~Порождение комбинаторных объектов; 3.~Обход дерева. Перебор с
возвратами; 4.~Сортировка; 5.~Конечные автоматы и обработка
текстов; 6.~Типы данных; 7.~Рекурсия; 8.~Как обойтись без
рекурсии; 9.~Разные алгоритмы на графах; 10.~Сопоставление с
образцом; 11.~Представление множеств. Хеширование;
12.~Представление множеств. Деревья. Сбалансированные деревья;
13.~Контекстно\д свободные грамматики; 14.~Синтаксический разбор
слева направо.

Издана в 1995 году. 264~с. Свободно распространяемый текст
(ASCII, \TeX, PostScript) находится по адресу
\begin{center}
\texttt{ftp://ftp.mccme.ru/pub/users/shen/progbook}
\end{center}

\medskip

\textsf{АЛГОРИТМЫ: ПОСТРОЕНИЕ И АНАЛИЗ}

\smallskip

Книга представляет собой стандартный американский учебник по
методам построения и анализа эффективных алгоритмов, написанный
на основе одноимённого курса в Массачусетском технологическом
институте и выдержавший более $15$ изданий в США (первое\т в
1990 году). Её авторы\т Thomas H.\,Cormen, Charles
E.\,Leiserson, Ronals L.\,Rivest.

В ней разбираются важнейшие классы эффективных алгоритмов и
методы их построения (как классические, так и современные).
Изложение подробное (в ней около тысячи страниц, более 200
рисунков), понятное и математически строгое. Книгу можно
использовать в качестве учебника или справочника, она будет
полезна и студентам, и работающим программистам. Очень
рекомендуем!
$$
\fbox{\parbox{0.79\textwidth}%
{\sf
Из\д за своего размера книга получилась довольно дорогой,
но издательство обещает скидку в 10\% всем читателям,
предъявившим этот купон! Адрес: Москва, 121002, Большой
Власьевский, 11.
}}
$$
}
