/ / / /

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

ДМК-Пресс

артикул: 1848549

1,178.00 руб.

Доставка из: Россия

Описание

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

Характеристики

author:	Стюарт Том
availabilityCode:	3
binding:	60x88 1/16
Color:	Белый
Cover:	мягкая обложка
ds:	25
ISBN:	978-5-94074-979-0,978-5-97060-237-9
language:	rus
MadeIn:	Россия
page_extent:	384
series:	Теория программирования
table_of_contents:	Предисловие Для кого предназначена эта книга Графические выделения О примерах кода Как с нами связаться Благодарности Глава 1. Все, что нужно знать о Ruby Интерактивная оболочка Ruby Значения Простые данные Структуры данных Процедуры Поток управления Объекты и методы Классы и модули Прочее Локальные переменные и присваивание Строковая интерполяция Инспектирование объектов Печать строк Методы с переменным числом аргументов Блоки Модуль Enumerable Класс Struct Партизанское латание Определение констант Удаление констант Часть I. ПРОГРАММЫ И МАШИНЫ Глава 2. Семантика программ В чем смысл слова "смысл"? Синтаксис Операционная семантика Семантика мелких шагов Выражения Предложения Корректность Приложения Семантика крупных шагов Выражения Предложения Приложения Денотационная семантика Выражения Предложения Сравнение способов определения семантики Приложения Формальная семантика на практике Формализм Поиск смысла Альтернативы Реализация синтаксических анализаторов Глава 3. Простейшие компьютеры Детерминированные конечные автоматы Состояния, правила и входной поток Вывод Детерминированность Моделирование Недетерминированные конечные автоматы Недетерминированность Свободные переходы Регулярные выражения Синтаксис Семантика Синтаксический анализ Эквивалентность Минимизация ДКА Глава 4. Кое-что помощнее Детерминированные автоматы с магазинной памятью Память Правила Детерминированность Моделирование Недетерминированные автоматы с магазинной памятью Моделирование Неэквивалентность Разбор с помощью автоматов с магазинной памятью Лексический анализ Синтаксический анализ Применение на практике Насколько мощнее? Глава 5. Окончательная машина Детерминированные машины Тьюринга Память Правила Детерминированность Моделирование Недетерминированные машины Тьюринга Максимальная мощность Внутренняя память Подпрограммы Несколько лент Многомерная лента Машины общего назначения Кодирование Моделирование Часть II. ВЫЧИСЛЕНИЯ И ВЫЧИСЛИМОСТЬ Глава 6. Программирование на пустом месте Имитация лямбд
topCategoryId:	3
Type:	book
Weight:	470
year:	2016
Высота:	20
Длина:	210
Ширина:	140

График изменения цены & курс обмена валют

Пользователи также просматривали

в этом магазине в других магазинах

958.11 руб.

Солнечный кислородный насос, плавающий инструмент для оксигенации, погружной домашний аквариум, подарок на новоселье, кислородный генератор для бассейна, пруда, Abs

aliexpress.ru

807.55 руб.

Первые вопросы и ответы: почему я зол Детская книга на английском языке Usborne Lift the flap, детский подарок Монтессори