|
Оглавление
 ПРЕДИСЛОВИЕ Часть первая ЭЛЕМЕНТЫ ОБЩЕЙ АЛГЕБРЫ Глава 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. Система МУЛЬТИПРОЦЕССИСТ — инструментарий многоуровневого структурного проектирования программ
Список литературы
Указатели
В. М. Глушков — автор трудов по алгебре, кибернетике и вычислительной технике. Основной результат, отраженный в его докторской диссертации, — формулировка и доказательство одной из интерпретаций пятой проблемы Гильберта. Под его руководством в 1966 г. была разработана первая в СССР персональная ЭВМ «МИР-1» (машина инженерных расчетов). Он был инициатором разработки и создания Общегосударственной автоматизированной системы учета и обработки информации (ОГАС) — вычислительной сети для связи центров сбора данных во всех регионах страны, предназначенной для автоматизированного управления всей экономикой СССР в целом; некоторые исследователи позже называли ее «советским Интернетом». |