Математическое введение в информатику

Дудаков С.М.

Table of contents :
Предисловие……Page 5
Основные понятия……Page 9
Исторические сведения……Page 10
Свойства алгоритмов и языков программирования……Page 13
Примеры алгоритмов……Page 15
Алгебра и теория множеств……Page 19
Графы……Page 24
Математическая логика……Page 27
Синтаксис……Page 31
Семантика……Page 41
*Свойства структурных программ……Page 56
*Простые программы……Page 67
*Подстановка……Page 76
Синтаксис……Page 83
Семантика……Page 84
Построение программ с метками……Page 90
Построение структурированных программ……Page 98
Исчисления……Page 104
*Исчисление Хоара……Page 109
*Исчисление предусловий……Page 131
**Существование слабейших предусловий……Page 141
Подпрограммы……Page 146
Графы зависимости, списки и деревья вызовов……Page 152
*Аппликативное и функциональное программирование……Page 161
**Удаление подпрограмм……Page 171
*Доказательство корректности подпрограмм……Page 180
**Корректность правила ВП……Page 190
Хранение чисел……Page 198
*Вычисления……Page 201
Время и память вычисления……Page 207
Предметный указатель……Page 214
Список литературы……Page 221