- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Введение в теорию языков программирования; ДМК-Пресс, 2015
594 грн.
- Издатель: ДМК-Пресс
- ISBN: 978-5-94074-913-4, 978-5-97060-242-3
EAN: 9785970602423
- Книги: Программирование
- ID: 1716278
Описание
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами.
Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Видео Обзоры (5)
Список Книг Для Программистов | Лучшие/Худшие
Основы Программирования - #1 - Логика. Алгоритмы
Как выучить JavaScript? Самый аху#### способ!
1. CS50 на русском: Лекция #1 [Гарвард, Основы программирования, осень 2015 год]
Языки программирования и теории компиляции 1. Введение. Общие принципы работы компиляторов
Характеристики (25)
| Параметр | Значение |
|---|---|
| Автор(ы) | Довек Жиль, Леви Жан-Жак |
| Переплет | Мягкий переплёт |
| Издатель | ДМК-Пресс |
| Год издания | 2015 |
| Возрастные ограничения | 12 |
| Кол-во страниц | 134 |
| Серия | Классика программирования |
| Количество страниц | 134 |
| Тип обложки | мягкая |
| Количество книг | 1 |
| Назначение | для технических ВУЗов |
| Оформление обложки | лакировка |
| Формат | 138x198мм |
| Вес, в граммах | 150 |
| Издательство | ДМК-Пресс |
| Автор | Довек Жиль; Леви Жан-Жак |
| Раздел | Программирование |
| ISBN | 978-5-94074-913-4,978-5-97060-242-3 |
| Вес | 0.17кг |
| Размеры | 13,80 см × 19,80 см × 0,70 см |
| Обложка | мягкая обложка |
| Язык издания | rus |
| Страниц | 134 |
| Переплёт | мягкий |
| Тематика | Программирование |
Цены (1)
Цена от 594 грн. до 594 грн. в 1 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
Купить в кредит (2)
| Компания | Предложение |
|---|---|
Полезные онлайн-сервисы
| Компания | Предложение |
|---|
Отзывы (2)
- roman.susi — 12 Июня 2015
Добротное теоретическое введениеКнига для тех, кто хочет получить представление о теоретических основах языков программирования, теории типов, компиляторах и т. п. Содержит все основные понятия, проиллюстрированные довольно практическим способом: конкретным языком программирования, который авторы назвали PCF, а на самом деле являющимся довольно типичным функциональным языком программирования, перекликающимся с языками семейства ML, и другими языками программирования на уровне лежащих в основе механизмов. При этом даётся и объясняется очень многое из принятой в области терминологии. Формализмы определения языков программирования (в данной книге взяты операционная и денотационная семантики) систематично использованы в применении к различным механизмов языков. Книгу можно рекомендовать программистам и студентам, которые более глубоко интересуются языками программирования и их механизмами, хотят понимать научные труды по теории языков программирования, теории типов, строить свои языки, или расширить кругозор.
00 - Борисова Надежда — 26 Мая 2013
супер книга, читаю помогает
00