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