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


 
Вернуться в: Каталог  
Обложка Андерсон Р. Доказательство правильности программ: Пер. с англ
Id: 19660
 
399 руб.

Доказательство правильности программ: Пер. с англ

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

 Аннотация

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

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


 ОГЛАВЛЕНИЕ

Предисловие редактора перевода............ 5

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

Глава 1. Математическая индукция........ 10

1.1. Введение................ 10

1.2. Простая индукция............. 10

1.3. Строгая версия математической индукции.... 17

1.4. Обобщенная индукция.......... 20

Глава 2. Доказательство правильности блок-схем программ... 25

2.1. Введение................ 25

2.2. Основные принципы доказательства правильности для

блок-схем................ 26

2.3. Дополнительные примеры доказательства правильности блок-схем программ............ 43

2.4. Метод индуктивных утверждений....... 53

2.5. Сокращенные доказательства правильности.... 75

2.6. Формализация доказательства с помощью индуктивных утверждений............... 78

Глава 3. Доказательство правильности программ, написанных па обычных языках программирования........ 87

3.1. Введение................ 87

3.2. Примеры доказательства правильности программ на

Фортране................ 87

3.3. Примеры доказательства правильности программ на ПЛ/1 97

3.4. Аксиоматический подход к доказательству частичной правильности............... 101

3.5. Доказательство частичной правильности как часть процесса программирования........... 108

Глава 4. Доказательство правильности рекурсивных программ... 111

4.1. Введение................ 111

4.2. Упрощенный язык программирования для иллюстрации

понятия рекурсии............. 112

4.3. Структурная индукция........... 120

4.4. Более трудные примеры доказательства правильности программ методом структурной индукции..... 128

4.5. Структурная индукция для нерекурсивных программ 138

Глава 5. Современные исследования, связанные с доказательством

правильности программ............. 149

5.1. Введение................. 149

5.2. Методы доказательства........... 149

5.3. Конструирование программ и языков...... 150

5.4. Механизация процесса доказательства - правильности 152 Библиография................ 154

Предметный указатель................ 160

 
© URSS 2016.

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