Теория вычислений для программистов | Theory of Computation for Programmers

Теория вычислений для программистов

Стюарт Том, 2016

Обзор

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

Кому подойдёт

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

Ключевые особенности

• Язык: Русский
• Автор: Стюарт Том
• Издательство: ДМК Пресс
• Год издания: 2016
• Объем: 384 страницы
• Тип обложки: мягкая обложка
• ISBN: 9785970602379

Theory of Computation for Programmers

Stuart Tom, 2016

Overview

This book offers an engaging and practical method for learning computation theory and programming language design. Theoretical computer science is presented within a familiar context, helping readers appreciate the relevance of its concepts to their daily work. Instead of mathematical notation or academic languages like Haskell or Lisp, the book utilizes a minimized Ruby language to explain formal semantics, automata theory, and functional programming, including lambda calculus.

Who it's for

• Programmers of any skill level.
• Individuals familiar with at least one modern programming language.
• Developers seeking formal computer science knowledge.

Key features

• Language: Russian
• Author: Stuart Tom
• Publisher: DMK Press
• Publication Year: 2016
• Pages: 384
• Binding: Paperback
• ISBN: 9785970602379