Успенский

Колмогоровская сложность и алгоритмическая случайность, Верещагин Н.К., Успенский В.А., Шень А., 2013.
     
   Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А. Н. Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмической теории информации, а также для алгоритмической теории вероятностей: объект считается случайным, если его сложность близка к максимальной.
Предлагаемая книга содержит подробное изложение основных понятий алгоритмической теории информации и теории вероятностей, а также наиболее важных работ, выполненных в рамках «колмогоровского семинара по сложности определений и сложности вычислений», основанного А. Н. Колмогоровым в начале 1980-х годов.
Книга рассчитана па студентов и аспирантов математических факультетов и факультетов теоретической информатики.

Простейшие примеры математических доказательств, Успенский В.А., 2012.
     
   В брошюре доступным неспециалистам языком рассказывается о некоторых из основополагающих принципов, на которых строится наука математика: чем понятие математического доказательства отличается от понятия доказательства, принятого в других науках и в повседневной жизни, какие простейшие приёмы доказательства используются в математике, как менялось со временем представление о «правильном» доказательстве, что такое аксиоматический метод, в чём разница между истинностью и доказуемостью.
Для очень широкого круга читателей, начиная со школьников старших классов.
Первое издание книги вышло в 2009 году.

Лингвистические задачи, С предисловием В.А. Успенского, Зализняк А.А., 2013.
     
   Начну с изъявления двух радостных чувств.
Это, во-первых, чувство глубокого удовлетворения от состоявшегося события, причём, на мой взгляд, — события значительного. Событие заключается в том, что данное уникальное сочинение А. А. Зализняка появилось, наконец, в виде отдельного издания. Лингвистические задачи Зализняка, разделённые на две группы и представленные в этой книжке, могут не только составить тему занятий кружков для школьников — кружков как по лингвистике, так и по математике, — но и доставить истинное наслаждение всем, кто готов получать удовольствие от интеллектуальных упражнений. До сего времени это сочинение Зализняка печаталось хотя и дважды, но только в составе сборников.

Лингвистические задачи, С предисловием В.А. Успенского и статьёй А.Ч. Пиперски, Зализняк А.А., 2018.
     
   В брошюре публикуется классическая работа А. А. Зализняка, в которой впервые появились самодостаточные задачи по лингвистике. Статья перепечатана из сборника «Исследования по структурной типологии» (М.: Изд-во АН СССР, 1963. С. 137-159).
В предисловии В. А. Успенского подробно рассказывается об этой работе и жанре лингвистических задач. Статья А. Ч. Пиперски посвящена работам выдающегося лингвиста, академика РАН Андрея Анатольевича Зализняка (1935—2017).

Символы Таро, Разговоры с дьяволом, Успенский П., 2023.
 
   Сборник включает произведения известного философа, писателя, журналиста, путешественника и специалиста по эзотерике Петра Демьяновича Успенского (1878-1947), трудами о четвертом измерении которого зачитывались художники и философы начала XX века: «Символы Таро. Философия оккультизма в рисунках и числах» и «Разговоры с дьяволом. Оккультные рассказы». Книга интересна всем, кто интересуется не только картами Таро или символизмом, но и философскими вопросами жизни.

Нэцкэ, Успенский М.В., 1986.

   Монография посвящена исследованию одного из интереснейших явлений японского искусства — миниатюрной скульптуры нэцкэ. Автор пытается проследить стилистическую эволюцию этого вида искусства от самых истоков до современного состояния, наметить основные этапы его развития. Значительное внимание уделено описанию традиционных для нэцкэ форм и материалов. Отдельная глава посвящена анализу сюжетов нэцкэ.
Книга содержит около 200 иллюстраций. Рассчитана на специалистов и всех интересующихся изобразительным искусством.

Четыре алгоритмических лица случайности, Успенский В.А., 2009.

   Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализации такого интуитивно ясного термина, как «случайность». В брошюре рассматривается четыре разных подхода к этому понятию, основанных на характерных свойствах случайных последовательностей: частотоустойчивость, хаотичность, типичность и непредсказуемость. Вводятся важнейшие в теории алгоритмов понятия перечислимости, вычислимости, энтропии и колмогоровской сложности. С их помощью и можно попытаться ответить на вопрос, с которым не справляется классическая теория вероятностей: определить, можно ли, например, индивидуальную последовательность нулей и единиц считать случайной или нет. В последней главе проводится обобщение понятий частотоустойчивости, хаотичности, типичности и непредсказуемости на случай вычислимого распределения.
Брошюра адресована старшим школьникам и студентам младших курсов. Предварительных знаний от читателя не потребуется, однако будет полезным знакомство с теорией алгоритмов, а для чтения последней главы — с основными понятиями теории вероятностей.

Простейшие примеры математических доказательств, Успенский В.А., 2009.

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