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

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

Full description

Bibliographic Details
Main Author: Стюарт Т.
Format: Book
Language:Russian
Published: Москва ДМК Пресс 2014
Subjects:
Online Access:https://e.lanbook.com/book/90105
https://e.lanbook.com/img/cover/book/90105.jpg
LEADER 02634nam0a2200337 i 4500
001 lan90105
003 RuSpLAN
005 20221220173954.0
008 221220s2014 ru gs 000 0 rus
020 |a 978-5-94074-979-0 
040 |a RuSpLAN 
041 0 |a rus 
044 |a ru 
245 0 0 |a Теория вычислений для программистов  |c Стюарт Т. 
260 |a Москва  |b ДМК Пресс  |c 2014 
300 |a 384 с. 
504 |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань 
520 8 |a Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования! В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе. Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму. Издание предназначено для программистов любой квалификации, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике.  
521 8 |a Книга из коллекции ДМК Пресс - Информатика 
653 0 |a вычисления 
653 0 |a вычислимость 
653 0 |a язык ruby 
653 0 |a языки программирования 
653 0 |a теория вычислений 
653 0 |a машины тьюринга 
653 0 |a семантика программ 
653 0 |a простейшие компьютеры 
100 1 |a Стюарт Т. 
856 4 |u https://e.lanbook.com/book/90105 
856 4 8 |u https://e.lanbook.com/img/cover/book/90105.jpg 
910 |a ЭБС Лань