Книга: Стюарт Том «Теория вычислений для программистов»
|
Серия: "-" Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования! В этой книге теоретическая информатикаизлагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе. Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму. Издание предназначено для программистов любой квалификации, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике. Издательство: "ДМК Пресс" (2016)
ISBN: 978-5-94074-979-0,978-1-449-32927-3,978-5-97060-237-9 Купить за 978 руб в My-shop |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Теория вычислений для программистов | Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков… — ДМК-Пресс, Теория программирования Подробнее... | бумажная книга |
См. также в других словарях:
Логика в компьютерных науках — Логика в информатике это направления исследований и отрасли знания, где логика применяется в информатике и искусственном интеллекте. Логика оказалась гораздо более эффективной в информатике, чем это было в математике[1]. Включаются следующие… … Википедия
Логика в информатике — Логика в информатике это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте. Логика очень эффективна в этих областях[1]. Содержание 1 Область применения … Википедия
Простое число — Простое число это натуральное число, имеющее ровно два различных натуральных делителя: единицу и само себя. Все остальные натуральные числа, кроме единицы, называются составными. Таким образом, все натуральные числа больше единицы… … Википедия
Программирование — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. У этого термина существуют и другие значения, см. Программи … Википедия
Языки программирования — Язык программирования формальная знаковая система, предназначенная для записи программ. Программа обычно представляет собой некоторый алгоритм в форме, понятной для исполнителя (например, компьютера). Язык программирования определяет набор… … Википедия
Электро́нная вычисли́тельная маши́на — (синоним компьютер) автоматическое устройство для обработки информации с помощью электронных схем. Предшественниками современных электронных вычислительных машин (ЭВМ) являются известные уже в средневековье музыкальные и антропоидные автоматы… … Медицинская энциклопедия
