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

книга

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

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

Форматы: PDF

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

Год: 2023

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

ISBN: 978-5-89818-356-1

Страниц: 386

Артикул: 103306

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

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

439 ₽

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

Содержание

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

Предисловие

Для кого предназначена эта книга

Графические выделения

О примерах кода

Как с нами связаться

Благодарности

Глава 1. Все, что нужно знать о Ruby

Интерактивная оболочка Ruby

Значения

Простые данные

Структуры данных

Процедуры

Поток управления

Объекты и методы

Классы и модули

Прочее

Часть I. ПРОГРАММЫ И МАШИНЫ

Глава 2. Семантика программ

В чем смысл слова «смысл»?

Синтаксис

Операционная семантика

Семантика мелких шагов

Семантика крупных шагов

Денотационная семантика

Формальная семантика на практике

Поиск смысла

Реализация синтаксических анализаторов

Глава 3. Простейшие компьютеры

Детерминированные конечные автоматы

Недетерминированные конечные автоматы

Регулярные выражения

Эквивалентность

Глава 4. Кое-что помощнее

Детерминированные автоматы с магазинной памятью

Недетерминированные автоматы с магазинной памятью

Разбор с помощью автоматов с магазинной памятью

Насколько мощнее?

Глава 5. Окончательная машина

Детерминированные машины Тьюринга

Недетерминированные машины Тьюринга

Максимальная мощность

Машины общего назначения

Часть II. ВЫЧИСЛЕНИЯ И ВЫЧИСЛИМОСТЬ

Глава 6. Программирование на пустом месте

Имитация лямбда-исчисления

Реализация лямбда-исчисления

Глава 7. Универсальность повсюду

Лямбда-исчисление

Частично рекурсивные функции

SKI-исчисление

Iota

Таг-системы

Циклические таг-системы

Игра «Жизнь» Конвея

Правило 110

Вольфрамова 2,3 машина Тьюринга

Глава 8. Невозможные программы

Факты как они есть

Разрешимость

Проблема остановки

Другие неразрешимые проблемы

Печальные следствия

Почему так происходит?

Жизнь в условиях невычислимости

Глава 9. Программирование в игрушечной стране

Абстрактная интерпретация

Статическая семантика

Приложения

Послесловие

Предметный указатель

Внимание!
При обнаружении неточностей или ошибок в описании книги "Теория вычислений для программистов (автор Том Стюарт)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!