Теория вычислений для программистов (Стюарт Том) ; ДМК-Пресс, 2016
от 351 р. до 1879 р.
Автор(ы): Стюарт Том;
Издатель: ДМК-Пресс
ISBN: 978-5-94074-979-0, 978-5-97060-237-9
ID: SKU920
Сравнить цены
Цена от 351 р. до 1879 р. в 8 магазинах
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | 1236 р. 2471 р. | |
Буквоед 5/5 | 1879 р. Минимальная сумма заказа 100 рублей | |
ЛитРес 5/5 | 351 р. 439 р. электронная книга | скачать фрагмент | |
Book24 5/5 | 1879 р. | |
Мегамаркет 5/5 | 903 р. | |
Яндекс.Маркет 5/5 | 1083 р. | |
МАЙШОП 5/5 | 1142 р. 1812 р. | |
Читай-город 5/5 | 1799 р. | наличие уточняйте 02.12.2023 |
AliExpress 5/5 | ||
Описание
В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе.
Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму.
Это идеальное решение для программистов, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике.
Смотри также Характеристики.
Яндекс.Маркет
Содержание
Для кого предназначена эта книга
Графические выделения
О примерах кода
Как с нами связаться
Благодарности
Глава 1. Все, что нужно знать о Ruby
Интерактивная оболочка Ruby
Значения
Простые данные
Структуры данных
Процедуры
Поток управления
Объекты и методы
Классы и модули
Прочее
Локальные переменные и присваивание
Строковая интерполяция
Инспектирование объектов
Печать строк
Методы с переменным числом аргументов
Блоки
Модуль Enumerable
Класс Struct
Партизанское латание
Определение констант
Удаление констант
Часть I. ПРОГРАММЫ И МАШИНЫ
Глава 2. Семантика программ
В чем смысл слова "смысл"?
Синтаксис
Операционная семантика
Семантика мелких шагов
Выражения
Предложения
Корректность
Приложения
Семантика крупных шагов
Выражения
Предложения
Приложения
Денотационная семантика
Выражения
Предложения
Сравнение способов определения семантики
Приложения
Формальная семантика на практике
Формализм
Поиск смысла
Альтернативы
Реализация синтаксических анализаторов
Глава 3. Простейшие компьютеры
Детерминированные конечные автоматы
Состояния, правила и входной поток
Вывод
Детерминированность
Моделирование
Недетерминированные конечные автоматы
Недетерминированность
Свободные переходы
Регулярные выражения
Синтаксис
Семантика
Синтаксический анализ
Эквивалентность
Минимизация ДКА
Глава 4. Кое-что помощнее
Детерминированные автоматы с магазинной
памятью
Память
Правила
Детерминированность
Моделирование
Недетерминированные автоматы с магазинной
памятью
Моделирование
Неэквивалентность
Разбор с помощью автоматов с магазинной
памятью
Лексический анализ
Синтаксический анализ
Применение на практике
Насколько мощнее?
Глава 5. Окончательная машина
Детерминированные машины Тьюринга
Память
Правила
Детерминированность
Моделирование
Недетерминированные машины Тьюринга
Максимальная мощность
Внутренняя память
Подпрограммы
Несколько лент
Многомерная лента
Машины общего назначения
Кодирование
Моделирование
Часть II. ВЫЧИСЛЕНИЯ И ВЫЧИСЛИМОСТЬ
Глава 6. Программирование на пустом месте
Имитация лямбда-исчисления
Работа с процедурами
Задача
Числа
Булевы значения
Предикаты
Пары
Операции над числами
Списки
Строки
Решение
Более сложные приемы программирования
Реализация лямбда-исчисления
Синтаксис
Семантика
Синтаксический разбор
Глава 7. Универсальность повсюду
Лямбда-исчисление
Частично рекурсивные функции
SKI-исчисление
Iota
Таг-системы
Циклические таг-системы
Игра "Жизнь" Конвея
Правило 110
Вольфрамова 2,3 машина Тьюринга
Глава 8. Невозможные программы
Факты как они есть
Универсальные системы могут выполнять
алгоритмы
Программы могут замещать машины Тьюринга
Код - это данные
Универсальные системы могут зацикливаться
Программы могут ссылаться сами на себя
Разрешимость
Проблема остановки
Построение анализатора остановки
Это никогда работать не будет
Другие неразрешимые проблемы
Печальные следствия
Почему так происходит?
Жизнь в условиях невычислимости
Глава 9. Программирование в игрушечной
стране
Абстрактная интерпретация
Планирование маршрута
Абстракция: умножение знаков
Аппроксимация и безопасность: сложение знаков
Статическая семантика
Реализация
Достоинства и ограничения
Приложения
Послесловие
Предметный указатель
О книге
Автор(ы) | Стюарт Том |
Раздел | Программирование |
Издатель | ДМК-Пресс |
ISBN | 978-5-94074-979-0 |
Год издания | 2016 |
Количество страниц | 384 |
Формат | 140x200мм |
Вес | 0.43кг |
Переплет | Мягкий переплёт |
Возрастные ограничения | 12 |
Серия | Теория программирования |
Кол-во страниц | 384 |
Издательство | ДМК-Пресс |
Количество книг | 1 |
Возрастное ограничение | 18+ |
Автор | Стюарт Томас |
Тип обложки | мягкая |
Размеры | 60x88 1/16 |
Обложка | мягкая обложка |
Язык издания | rus |
Отзывы (1)
-
autoreg875622061
- 13 июля 20154/5
Книги, посвященные теории вычислений, обычно состоят из сухого математического языка, обилия формул и теорем. В этой книге все не так! Каждую рассматриваемую идею Том Стюарт демонстрирует законченными примерами кода, давая возможность опробовать ее на практике. В процессе чтения мы не узнаем, что конечный автомат это кортеж вида {V,Q,s,F,m}, язык это множество конечных строк над алфавитом, а машина Тьюринга имеет правила, вида q[i]a[j] -> q[i1]a[j1]d[k]. Вместо этого автоматы мы смоделируем, что такое синтаксис и семантика языка поймем написав собственный интерпретатор, запрограммируем собственную реализацию машины Тьюринга и попробуем много чего еще! Та минимальная часть языка программирования Ruby, которую использует автор для демонстрации рассматриваемых идей, почти не требует времени для изучения, к примерам можно приступать практически сразу же!
0 0
Добавить отзыв
Книги с похожим названием
Программирование - издательство "ДМК-Пресс"
Категория 280 р. - 421 р.
Программирование - издательство "ДМК-Пресс" »