Теория вычислений для программистов (Том Стюарт). 2013г.

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

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

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