Книги, о которых редко говорят

Kate · 14 Янв 2024

Название: Алгоритмические трюки для программистов \ Hacker's Delight
Автор: Генри С. Уоррен мл. \ Henry S. Warren Jr.
Год издания: 2004 \ 2002
Количество страниц: 508 \ 512
ISBN: 978-5-907144-00-2 \ 978-9-332540217

Дональд Эрвин Кнут, в своей фундаментальной работе «Искусство программирования, том 4a \ The Art of Computer Programming, volume 4a» в главе 7.1.3 Битовые трюки и технологии ссылается на "Алгоритмические трюки для программистов" как на первоисточник. Автор книги провел огромную исследовательскую работу по изучению манипулиции логическими операциями над битами. Описано в каких случаях такие манипуляции быстрее классических математических операций, а также где эти вещи короче и изящнее в написании кода. Читая между строк, приходит понимание, что происходит, когда процессор делает вычисления, почему некоторые решения программируются так, а не иначе.

Название: Читаем Тьюринга \ The Annotated Turing, A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Автор: Чарльз Петцольд \ Charles Petzold
Год издания: 2014 \ 2008
Количество страниц: 440 \ 372
ISBN: 978-5-97060-010-8 \ 978-0-470-22905-7

Чарльз Петцольд, достаточно известная личность, писал книги для WinApi и C#, а также написал свой научно-популярный бестселлер «Код. Тайный язык информатики \ Code, The Hidden Language of Computer Hardware and Software» рекомендуют всем новичкам, которые хотят понимать, как работает компьютер, машинный код и язык assembler. Но все это было в 90-ых годах и вот спустя почти 10 лет автор написал еще один фундаментальный труд на этот раз по работе Алана Тьюринга «О вычислимых числах в применении к Entscheidungsproblem» сейчас это называют машина тьюринга. На протяжении всей книги автор разбирает, разъясняет, и комментирует как думал Тьюринг, какие математические знания были нужны, какие проблемы стояли перед Тьюрингом, и что он хотел доказать. Примечательно тем, что полная оригинальная работа Тьюринга содержится в книге, чтобы ее прочесть нужно просто игнорировать текст Петцольда. Изучив содержание от начало до конца, можно значительно продвинуться в математике, и кто знает возможно решить неразрешимые проблемы.

Название: Золотой билет. P, NP и границы возможного \ The Golden Ticket, P, Np, and the Search for the Impossible
Автор: Лэнс Фортноу \ Lance Fortnow
Год издания: 2016 \ 2013
Количество страниц: 218 \ 192
ISBN: 978-5-00101-424-9 \ 978-0-691-15649-1

Книга рассказывает про одну из семи задач тысячелетия, определённых Математическим институтом Клэя в 2000 году как «важные классические задачи, решение которых не найдено вот уже в течение многих лет», за решение каждой из которых обещано вознаграждение в 1 млн долларов США. Но не спешите «Равенство классов P и NP» имеет отношение не только к абстрактной математике, но и на прямую к компьютерным вычислениям. Хоть глобально задача одна, но она затрагивает множество подзадач, в том числе и знаменитую проблему Коммивояжера, проблему о Клике и много других задач. К таким задачам придумали лишь приближенные алгоритмы решения. Это самая подробная работа по тематике «Равенство классов P и NP», без сложных математических доказательств и формул.

Название: От математики к обобщенному программированию \ From Mathematics to Generic Programming
Авторы: Александр Степанов, Дэниэл Э. Роуз \ Alexander A. Stepanov, Daniel E. Rose
Год издания: 2015 \ 2014
Количество страниц: 264 \ 320
ISBN: 978-5970603796 \ 978-0321942043

Главный автор книги Степанов, знаменит в мире программирование тем, что написал сначала для языков Ada, а затем и для C++ первую библиотеку обобщённых алгоритмов. К сожалению, в конце 80-ых, в начале 90-ых, реализация идеи Степанова, была выполнена лишь в самом начальном виде, и на протяжении уже 20 лет каждый новый стандарт языка C++ лишь приближается к первоначальной задумке обобщенного программирования. Книга постепенно вводит читателя от истории математики к программированию с точки зрения алгоритмов, к проблемам наших дней, какие задачи стоят перед программистами и математиками. Каким должен быть близкий к идеалу шаблон в C++ и зачем программисту нужно знать основы функционального программирования.

Название: Занимательные алгоритмы. Чему нас учат истории знаменитых героев \ Once Upon an Algorithm, How Stories Explain Computing
Автор: Мартин Эрвиг \ Martin Erwig
Год издания: 2019 \ 2017
Количество страниц: 352 \ 336
ISBN: 978-5-907144-08-8 \ 978-0-2620-3663-4

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

Название: Идеи, определившие облик информатики, Классические статьи по компьютерным наукам \ Ideas That Created the Future, Classic Papers of Computer Science
Автор: Гарри Р. Льюиса \ Harry Lewis
Год издания: 2023 \ 2021
Количество страниц: 616 \ 520
ISBN: 978-5-93700-208-2 \ 978-0-26204-530-8

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