Христос Пападимитриу — новинки

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

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

В этой книге, предназначенной для студентов математических и программистских специальностей (начиная с младших курсов), подробно разбираются основные методы построения и анализа эффективных алгоритмов. Она основана на лекциях авторов в университетах Сан-Диего и Беркли. Выбор материала не вполне стандартный (скажем, о сортировке и структурах данных, связанных с хранением упорядоченных множеств в сбалансированных деревьях, не говорится, зато обсуждаются линейное программирование и даже квантовые вычисления). Авторы старались выделить основные идеи и излагать доказательства наглядно, не злоупотребляя формализмом, но и не жертвуя математической строгостью; оригинальный подход авторов делает книгу интересной не только студентам, но и опытным преподавателям. Каждый раздел снабжён упражнениями.

Самая уникальная графическая история всех времён. Главный герой графической новеллы — Бертран Рассел. Он одержим великой миссией — установить незыблемые логические основания математики. На пути поисков абсолютной правды он должен еще обустроить и свое личное счастье, но при этом не соскользнуть в безумие. На пути ему встречаются другие мыслители — Фреге, Гилберт, Гедель, Витгенштейн. В форме графической новеллы — изложены крупнейшие идеи математики, логики и современной философии. "Логикомикс" — это история о конфликте между идеальной рациональностью и изменчивой, столь непрочной тканью реальности. И о роли строгого рационального выбора…

An innovative, dramatic graphic novel about the treacherous pursuit of the foundations of mathematics.
This graphic novel recounts the spiritual odyssey of philosopher Bertrand Russell. In his agonized search for absolute truth, he crosses paths with thinkers like Gottlob Frege, David Hilbert & Kurt Gödel, & finds a passionate student in Ludwig Wittgenstein. But his most ambitious goal—to establish unshakable logical foundations of mathematics—continues to loom before him. Thru love & hate, peace & war, he persists in the mission threatening to claim both his career & happiness, finally driving him to the brink of insanity.
This story is at the same time a historical novel & an accessible explication of some of the biggest ideas of mathematics & modern philosophy. With rich characterizations & atmospheric artwork, it spins the pursuit of such ideas into a satisfying tale.
Probing, layered, the book throws light on Russell’s inner struggles while setting them in the context of the timeless questions he tried to answer. At its heart, Logicomix is a story about the conflict between ideal rationality & the flawed fabric of reality.

Turing (A Novel About Computation)

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

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