Андерсон Р. - Доказательство правильности программ :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/51868
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 20:43:31 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Поиск по указателям

Андерсон Р. - Доказательство правильности программ

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

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

Автор: Андерсон Р.

Аннотация:

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

Язык:

Рубрика: Computer science/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1982

Количество страниц: 163

Добавлена в каталог: 16.10.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

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

Алгол      112
Алгоритм упорядочения      69
Алгоритм Эвклида      46
Алгоритм Эвклида двоичный      66 73
Алгоритмы просмотра двоичных деревьев      138
Атом      116
Восходящая индукция      13
Вполне упорядоченное множество      20 142
Выполнение цикла      49 91-93
Высказывание о правильности      26 см.
Гипотеза индукции      11 13 17 20 23
Двоичное дерево      138
Доказательство конечности программы      55
Инвариант цикла      32 35
Индукция восходящая      13
Индукция математическая      10
Индукция модифицированная простая      12
Индукция нисходящая      13
Индукция обобщенная      20 21 128 133-135
Индукция простая      10
Индукция строгая      17
Индукция структурная      120 128 138 144
Исчисление предикатов      79
Конструирование программ      150
Конструирование языков      150
Лексикографический порядок      21 23 130 134
Математическая индукция      10
Метод индуктивных утверждений      55 144
Метод структурной индукции      120 128 138 144
Методы доказательства правильности      149
Механизация процесса доказательства правильности      152
Механическая система верификации      152
Модифицированная простая индукция      12
Наибольший общий делитель GCD      46 52 66 73 85
Недетерминированные программы      150
Нисходящая индукция      13
Обобщенная индукция      20 21 128 133 134 135
Обоснованно упорядоченное множество      125
Оператор Go To      93 108 151
Отношение лексикографического порядка      20 21
Подпрограмма      93

Полная правильность      55
Полный граф      15
Правила вычислений      115
Простая индукция      10
Простое число      17
Сокращенные доказательства правильности      76
Список      116
Справедливость высказывания      32
Строгая индукция      17
Структурированные программы      108
Структурная индукция по размеру      139
Тело цикла      30
Условия верификации      80
Утверждение      26 см.
Утверждение о правильности      34 35
Факториал      121
Формализация доказательства      78 152
Формальная нотация      81
Фортран      87 93
Функция APPEND      118 119 123
Функция CAR      116
Функция CDR      116
Функция CONS      117
Функция DELETE1      126
Функция DELETE2      137
Функция FLATTEN      136
Функция INORD      133
Функция int      126
Функция LEAST      127
Функция MEMBER      117 122 228
Функция REVERS      127
Функция SUBS      151
Функция UNION      126
Функция UNIORD      136
Функция Аккермана      113 118 130 135 146
Функция Маккарти      131
Цикл DO WHILE      97 98 103 105
Частично правильная программа      55
Числа Фибоначчи      18 19
Язык Лисп      111 112 116
Язык ПЛ/1      87 97 111

О проекте