Вьюкова Н.И., Галатенко В.А., Ходулев А.Б. Систематический подход к программированию

Под ред. Ю. М. Банковского. — М.: Наука, 1988. — 208 с. Содержит систематическое введение в программирование. Главная цель - научить методам разработки программ. Основные компоненты систематического подхода - математическое исследование задачи, пошаговая детализация и обоснование правильности программ, анализ алгоритмов. Для записи программ используется язык паскаль, получивший широкое признание. Предисловие редактора
Элементы теории алгоритмов
Понятие алгоритма
Машина Поста
Предложение Поста
Алгоритмически неразрешимые проблемы
Основные элементы языка паскаль
Паскаль-машина
Паскаль-программа
Инструкции присваивания
Инструкции ввода-вывода
Условные инструкции
Комментарии
Инструкции цикла
Обработка последовательностей
Тип INTEGER
Об инвариантах циклов
Определение констант
Определение новых типов.
Отрезочные типы Массивы
Тип BOOLEAN
Процедуры и функции
Методы и приемы программирования
Пошаговая разработка программ
Анализ алгоритмов
Обработка рекуррентных последовательностей
Упрощение циклов
Тип CHAR
Понижение размерности массивов
Несколько примеров программ
Тестирование и отладка программ
Переборные задачи
Более сложные элементы языка паскаль
Типы данных, заданные перечислением
Инструкции выбора
Множества
Упакованные структуры данных
Файловая структура данных
Записи
Точность машинных вычислений
Динамические переменные и указатели
Бинарные деревья
Рекурсивные процедуры
Процедуры в качестве параметров
Задачи для самостоятельного решения
Заключение
Приложение
1. Синтаксические диаграммы языка паскаль
Приложение
2. Пример программы
Приложение
3. Работа с трансляторами
Терминологический словарь
Список литературы
Предметный указатель