URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Ивани А., Смелянский Р.Л. Элементы теоретического программирования
Id: 49985
 
999 руб.

Элементы теоретического программирования

1985. 192 с. Мягкая обложка. Букинист. Состояние: 4. .

 Аннотация

Книга написана на основе спецкурсов, которые читались авторами на факультете вычислительной математики и кибернетики МГУ и на факультете естественных наук Будапештского университета. Цель книги --- показать применение методов таких разделов математики, как алгебра, теория алгоритмов, теория вероятности, к решению задач прикладного и системного программирования. В книге рассмотрены задачи: экономия памяти в операторных схемах, анализ структуры программы, детерминированное распределение ресурсов в многопроцессорных системах.


 ОГЛАВЛЕНИЕ

Предисловие...........

Ч а с т ь I

Глава 1. Распределение памяти в операторных схемах

§ 1. Неформальное обсуждение задачи....

§ 2. Простейшие примеры........

§ 3. Вспомогательные понятия и определения § 4. Основные понятия и определения. Постановка задачи.............

§ 5. Решение: общая теория.......

§ 6. Решение: алгоритмизация.......

6.1. Нахождение компонент связности

6.2. Построение графа несовместимости

6.3. Раскраска графа несовместимости

Глава 2. Анализ структуры управления в программах

§ 1. Средства управления........

§ 2. Структурное программирование.....

§ 3. Неформальная постановка задачи.

§ 4. Определение логической схемы как математической

модели............

§ 5. Примитивные логические схемы и их свойства § 6. Операции над логическими схемами.... § 7. Частичные функции, термы, алгебры....

§ 8. Язык схем...........

§ 9. Нормальные алгоритмы Маркова и ассоциативные

исчисления...........

§ 10. Алгоритм проверки логических схем.... § 11. Пример описания базовых конструкций § 12. Алгоритм построения описания логической схемы программы по ее тексту.......

12.1. Фрагменты.........

12.2. Соответствие между элементами языка ЯС и операторами языка фортран IV

12.2.1. Управляющие конструкции фортрана

12.2.2. Операторы ввода-вывода.....

12.3. Описание алгоритма......

12.3.1. Алгоритм фрагментации текста программы

12.3.2. Алгоритм сборки фрагментов. -.

Ч а с т ь II

Глава 3. Основные понятия детерминированного распределения ресурсов в многопроцессорных системах............

§ 1. Введение..........

§ 2. Описание ресурсов в многопроцессорных системах § 3. Описание заданий в многопроцессорных системах § 4. Меры эффективности алгоритмов распределения

заданий............

§ 5. Примеры постановки задачи распределения заданий и ее решения § 6. Специальные свойства ресурсов и заданий

6.1. Прерываемость........

6.2. Приоритет..........

6.3. Инициативность.........

6.4. Совмещение.........

6.5. Универсальность........

6.6. Специальные свойства, связанные со временем

6.7. Специальные меры эффективности

§ 7. Наглядное представление задач и их решений § 8. Сложность алгоритмов распределения ресурсов

Глава 4. Случай одного процессора и независимых работ............

§ 1. Введение........•.

§ 2. Оптимизация среднего времени окончания, отклонения и задержки.........

§ 3. Максимальные меры эффективности алгоритмов распределения ресурсов.......

§ 4. Минимальные меры эффективности....

§ 5. Обзор результатов однопроцессорного случая

Глава 5. Оптимизация по максимальному времени окончания...........

§ 1. Введение...........

§ 2. Выполнение частично-упорядоченных заданий в однородной системе........

§ 3. Выполнение заданий на двух процессорах

§ 4. Выполнение независимых заданий, допускающих прерывание...........

§ 5. Преимущества прерывания, недостатки приоритетного списка..........

§ 6. Неожиданные результаты при распределении заданий в однородной системе (недостатки применения приоритетного списка)......

Глава 6. Минимизация среднего времени окончания

§ 1. Введение...........

§ 2. Выполнение заданий с упорядочением типа «лес» на одном процессоре........

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

2.2. Вспомогательные утверждения....

2.3. Минимизация среднего времени окончания в случае заданий с упорядочением типа «лес»

Глава 7. Оценки эффективности приближенных алгорит-

1 2. Распределение независимых заданий без вспомогательных ресурсов.....' ' ' '

§ 3. Распределение вспомогательных ресурсов. •

 
© URSS 2016.

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