книга

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

Здесь можно купить книгу "Теория вычислений для программистов " в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.

Автор: Том Стюарт

Форматы: PDF

Издательство: ДМК Пресс

Год: 2023

Место издания: Москва

ISBN: 978-5-89818-356-1

Страниц: 386

Артикул: 103306

Возрастная маркировка: 16+

Электронная книга

439 ₽

Купить и скачать

Читать фрагмент

Аннотация

Краткая аннотация книги "Теория вычислений для программистов"

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

Содержание

Содержание книги "Теория вычислений для программистов "

Предисловие
Для кого предназначена эта книга
Графические выделения
О примерах кода
Как с нами связаться
Благодарности
Глава 1. Все, что нужно знать о Ruby
Интерактивная оболочка Ruby
Значения
Простые данные
Структуры данных
Процедуры
Поток управления
Объекты и методы
Классы и модули
Прочее
Часть I. ПРОГРАММЫ И МАШИНЫ
Глава 2. Семантика программ
В чем смысл слова «смысл»?
Синтаксис
Операционная семантика
Семантика мелких шагов
Семантика крупных шагов
Денотационная семантика
Формальная семантика на практике
Поиск смысла
Реализация синтаксических анализаторов
Глава 3. Простейшие компьютеры
Детерминированные конечные автоматы
Недетерминированные конечные автоматы
Регулярные выражения
Эквивалентность
Глава 4. Кое-что помощнее
Детерминированные автоматы с магазинной памятью
Недетерминированные автоматы с магазинной памятью
Разбор с помощью автоматов с магазинной памятью
Насколько мощнее?
Глава 5. Окончательная машина
Детерминированные машины Тьюринга
Недетерминированные машины Тьюринга
Максимальная мощность
Машины общего назначения
Часть II. ВЫЧИСЛЕНИЯ И ВЫЧИСЛИМОСТЬ
Глава 6. Программирование на пустом месте
Имитация лямбда-исчисления
Реализация лямбда-исчисления
Глава 7. Универсальность повсюду
Лямбда-исчисление
Частично рекурсивные функции
SKI-исчисление
Iota
Таг-системы
Циклические таг-системы
Игра «Жизнь» Конвея
Правило 110
Вольфрамова 2,3 машина Тьюринга
Глава 8. Невозможные программы
Факты как они есть
Разрешимость
Проблема остановки
Другие неразрешимые проблемы
Печальные следствия
Почему так происходит?
Жизнь в условиях невычислимости
Глава 9. Программирование в игрушечной стране
Абстрактная интерпретация
Статическая семантика
Приложения
Послесловие
Предметный указатель

Отзывы

Все отзывы о книге Теория вычислений для программистов

Чтобы оставить отзыв, зарегистрируйтесь или войдите

С книгой "Теория вычислений для программистов" читают