\thispagestyle{empty}
\begin{center}
\Large\textsf{КНИГИ ИЗДАТЕЛЬСТВА МЦНМО}
\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

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

Книга представляет собой популярный рассказ об этих понятиях и
основана на материалах лекций для младшекурсников, которые
авторы читали на мехмате МГУ в разные годы.

Исходные тексты книги (\TeX, PostScript) свободно распространяются
и доступны по адресу
\begin{center}
\texttt{ftp://ftp.mccme.ru/pub/users/shen/logic/sets}
\end{center}

\clearpage
\thispagestyle{empty}

%\textsf{Вычислимые функции} (Н.\,К.\,Верещагин, А.\,Шень)
%
%Теория вычислимых (с помощью компьютеров) функций появилась в
%1930\д е годы, когда никаких компьютеров ещё не было, и явилась
%источником вдохновения для их разработчиков. Уже поэтому
%основные понятия теории вычислимости (или, как говорят, общей
%теории алгоритмов) достойны внимания математиков и
%программистов. Но эта теория имеет и более широкий культурный
%аспект. Один из её основателей, американский математик Эмиль
%Пост,\glo{\Пост} писал в 1944~году, что \лк формулировка этого
%понятия [вычислимости] может сыграть в истории дискретной
%математики роль, уступающую по значению лишь формулировке
%понятия натурального числа\пк.
%
%Авторы попытались отобрать центральные понятия и факты общей
%теории алгоритмов и изложить их понятно, стараясь не заслонять
%простые общие идеи техническими деталями. Мы не предполагаем
%никаких специальных предварительных знаний, хотя рассчитываем на
%некоторый уровень математической культуры (и не объясняем,
%скажем, что такое множество, функция или действительное число).
%
%Книга основана на материалах лекций для младшекурсников, которые
%авторы читали на мехмате МГУ в разные годы.
%
%Исходные тексты книги (\TeX, PostScript) свободно распространяются
%и доступны по адресу
%\texttt{ftp://ftp.mccme.ru/pub/users/shen/logic}

\textsf{Квантовые вычисления}  (М.Вялый, А.Китаев, А.Шень)

\smallskip

В 1997/8 учебном году А.\,Китаев прочёл в Независимом Московском
университете спецкурс про квантовые вычисления, предварённый
несколькими вводными лекциями про основы классической теории
сложности вычислений (их прочёл А.\,Шень). На основе записей
этого курса М.\,Вялый написал текст книги, которая
представляет собой одно из первых в России и в мире
систематических изложений основ теории квантовых вычислений.

Исходные тексты книги (\TeX, PostScript) свободно распространяются
и доступны по адресу
\begin{center}
\texttt{ftp://ftp.mccme.ru/pub/users/shen/quantum}
\end{center}

\textsf{Алгоритмы: построение и анализ}

\smallskip

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

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