Эволюция общения человека с ЭВМ связана с созданием мощных средств их математического обеспечения. Используемые при этом развитые языки и системы программирования существенно повышают "интеллект" ЭВМ, реализуемый как схемным, так и программным способом, и способствуют дальнейшему расширению сферы применения вычислительной техники. Решение возникающих в связи с этим задач обусловило становление и развитие теоретического программирования и проникновение в него идей и методов общей алгебры. Монография посвящена изучению алгебраических методов с учетом их применения в теоретическом и системном программировании, прикладной теории алгоритмов, теории формальных языков и систем программирования. Рассчитана на научных работников и инженеров, занимающихся теоретически программированием и конструированием систем математического обеспечения ЭВМ. Может быть полезна также аспирантам и студентам вузов, специализирующимся в соответствующих областях кибернетики.
ОГЛАВЛЕНИЕ
Предисловие
Часть периая. ЭЛЕМЕНТЫ ОБЩЕЙ АЛГЕБРЫ
Глава 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. Контекстно-свободные языки
8 5.4. Линейные и автоматные грамматики
§ 5.5. Алгебры контекстно-свободных языков
Глава 6. Параметрические системы программирования
§ 6.1. Автоматы над внутренней памятью
§ 6.2. Синтез магазинных автоматов
§ 6.3. Методы синтаксического анализа в системах программирования
§ 6.4. Параметрические грамматики инверсно-рекурсивного и рекурсивного типа
§ 6.5. Метаязык CM-грамматик и проблемы трансляции
§ 6.6. CV-формализмы и их применение к системам программирования
§ 6.7. Многоосновные алгебры и языки программирования
Литература
Предметный указатель
Указатель теорем и лемм
Дополнительно: При заказе от 3-х книг -- скидка от 3%.
При заказе от 6-ти книг -- скидка от 6%.
При заказе от 10-ти книг -- скидка от 10%.
Доставка "Почтой России" или "Яндексом": отправка со склада в течение 2х-3х дней!
Отправка другими транспортными компаниями в течение 4х дней.
Самовывоз в любой день.
Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *).
Фото -- до за... [подробнее]
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
)
хорошее;
В продаже с 26.07.2024
как новое;
В продаже с 02.11.2024
