Теория вычислений для программистов
Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования! В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо...
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 ЭБС Лань |