Russian Español English   URSS.ru - Издательская группа URSS. Научная и учебная литература
 
Об издательстве Интернет-магазин Контакты Услуги Подписка на новости Оптовикам и библиотекам Вакансии Пишите нам

КНИГИ НА РУССКОМ ЯЗЫКЕ


Серия: : Ученые шутят
Серия: : Будущая Россия
Серия: : Лекции по математике В. Босса
Серия: : Наука в СССР: Через тернии к звездам
Серия: : НАУКУ --- ВСЕМ! Шедевры научно-популярной литературы
Серия: : Политэкономические императивы советского марксизма. 1917-1941
Серия: : Энциклопедия конника
Серия: : Размышляя о марксизме
Серия: : Синергетика: от прошлого к будущему
Серия: : Фейнмановские лекции по физике
Серия: : Размышляя об анархизме
Серия: : Школа сценического мастерства
 
Вернуться в: Каталог  
Обложка Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование 

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л.
Алгебра. Языки. Программирование. Изд.3
1989. Твердый переплет. 376 с. 999 руб.
ISBN 5-12-000499-7
Букинист. Состояние: 4+. Есть погашенная библиотечная печать.


Заказ можно изменить в любой момент

 Аннотация

Монография посвящена изучению алгебраических методов с учетом их применения в теоретическом и системном программировании, прикладной теории алгоритмов, теории формальных языков и систем программирования. В третье издание включен ряд новых резултатов по развитию аппарата структурного параллельного программирования и автоматизированному синтезу программ.


 Оглавление

ПРЕДИСЛОВИЕ

Часть первая ЭЛЕМЕНТЫ ОБЩЕЙ АЛГЕБРЫ

Глава 1. МНОЖЕСТВА

§ 1.1. Понятие множества. Подмножества. Включения

§ 1.2. Основные операции над множествами

§ 1.3. Мощность множеств. Счетные множества

§ 1.4. Континуальные множества

§ 1.5. Кардинальные числа

Глава 2. ОТНОШЕНИЯ. СТРУКТУРЫ

§2.1. Основные определения

§ 2.2. Операции над отношениями

§ 2.3. Функциональные отношения. Отображения

§ 2.4. Отношения эквивалентности и порядка

§ 2.5. Вполне упорядоченные множества. Структуры

Глава 3. УНИВЕРСАЛЬНЫЕ АЛГЕБРЫ

§ 3.1. Понятия моделей и универсальных алгебр

§ 3.2. Подалгебры. Системы образующих

§ 3.3. Структура подалгебр универсальной алгебры

§ 3.4. Функции алгебры логики

§ 3.5. Изолированные множества. Конгруэнции

§ 3.6. Полугруппы. Многоосновные алгебры

Часть вторая ЭЛЕМЕНТЫ ТЕОРИИ ПРОГРАММИРОВАНИЯ

Глава. 4. СИСТЕМЫ АЛГОРИТМИЧЕСКИХ АЛГЕБР И ОДНОРОДНЫЕ СТРУКТУРЫ

§ 4.1. Понятие системы алгоритмических алгебр

§ 4.2. Модифицированные системы алгоритмических алгебр

§ 4.3. Полугруппы периодически определенных преобразований

§ 4.4. Вопросы функциональной полноты в алгебрах периодически-определенных преобразований

§ 4.5. Реализация регулярных схем адресных программ в однородных

структурах

Глава 5. ВОПРОСЫ АКСИОМАТИЗАЦИИ СИСТЕМ АЛГОРИТМИЧЕСКИХ АЛГЕБР И ИХ МОДИФИКАЦИЙ

§5.1. Регуляризация неструктурных схем программ

§ 5.2. Представимость логических условий в алгоритмической алгебре

логики

§ 5.3. Модифицированные САА с замкнутыми логическими условиями

§ 5.4. Тождественные преобразования в алгебрах недетерминированных

алгоритмов

Глава 6. ФОРМАЛЬНЫЕ ЯЗЫКИ И ГРАММАТИКИ

§6.1. Представление языков с помощью грамматик

§ 6.2. Система составляющих. нс-Грамматики

§ 6.3. Контекстно-свободные языки

§ 6.4. Линейные и автоматные грамматики

§ 6.5. Алгебры контекстно-свободных языков

Часть третья МЕТОДЫ ФОРМАЛИЗАЦИИ ПРОГРАММ

Глава 7. ФОРМАЛИЗАЦИЯ СИНТАКСИСА И СЕМАНТИКИ ЯЗЫКОВ

ПРОГРАММИРОВАНИЯ

§7.1. Языки и системы программирования

§ 7.2. Параметрические грамматики

§ 7.3. Параллельные матричные грамматики

§ 7.4. Многоосновные алгебры и языки программирования

Глава 8. АВТОМАТЫ НАД ПАМЯТЬЮ

§8.1. n-Ленточные автоматы

§ 8.2. Синтез магазинных автоматов

§ 8.3. Метаязык СМ-грамматик и проблемы трансляции

§ 8.4. СМ-формализмы и их применение к системам программирования

§ 8.5. Структурированные грамматики как средство представления СМ-формализмов

Глава 9. МНОГОУРОВНЕВОЕ СТРУКТУРНОЕ ПРОЕКТИРОВАНИЕ ПРОГРАММ

§ 9.1. Алгоритмические алгебры структур данных

§ 9.2. Многоосновные алгебры и абстрактные типы данных

§ 9.3. Грамматики структурного проектирования

§ 9.4. Система МУЛЬТИПРОЦЕССИСТ --- инструментарий многоуровневого структурного проектирования программ

Список литературы

Указатели



 
© URSS 2014.

Информация о Продавце

Rambler's Top100 Интернет-магазин URSS.ru принимает WebMoney