Понимание вычислений: от простых машин до невозможных программ на русском

Наконец, вы можете изучить теорию вычислений и проектирование языков программирования в увлекательной и практической форме. Книга «Понимание вычислений» объясняет теоретические основы информатики в понятном вам контексте, помогая вам оценить, почему эти идеи важны и как они могут повлиять на вашу повседневную работу программиста.

Вместо использования математической нотации или незнакомого академического языка программирования, такого как Haskell или Lisp, в этой книге используется Ruby в редукционистском ключе для представления формальной семантики, теории автоматов и функционального программирования с помощью лямбда-исчисления. Она идеально подходит для программистов, владеющих современными языками программирования, но имеющих минимальную или вовсе отсутствующую формальную подготовку в области информатики.

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