|
Оглавление
 Предисловие редактора перевода Предисловие редакционной коллегии серии книг по системному программированию Предисловие Глава 1. Правильное программирование 1.1. Особенности разработки программ небольших размеров 1.2. Пути реализации крупномасштабных программных проектов Глава 2. Средства логического выражения процессов 2.1. Введение 2.2. Роль естественного языка в программировании 2.3. Формальная логика 2.4. Множества и функции 2.5. Списки и строки 2.6. Литература Глава 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. Примеры верификации программ
6.6. Инварианты цикла при доказательстве правильности программ
6.7. Формулы для правильных структурированных программ
Глава 7. Написание структурированных программ
7.1. Введение
7.2. Основные принципы написания программ
7.3. Стратегии программирования
7.4. Пример детализации и проектирования программы
7.5. Пример использования эвристического и строгого подходов: определение сдачи
7.6. Другой пример использования эвристического и строгого подходов: игра в крестики-нолики
Предметный указатель
|