Введение
1. Математические основы
1.1. Формальные языки
1.2. Логические формальные теории
1.3. Исчисление высказываний
1.4. Формальные теории первого порядка
1.5. Теория множеств
1.6. Вероятности и информация
1.7. Теория вычислимости
2. Основные понятия и конструкции языков
программирования
2.1. Программы
2.2. Структуры данных
2.3. Структуры действий
2.4. Более сложные средства
2.5. Старые новые веяния
3. Анализ свойств программ
3.1. Операторные схемы
3.2. Формализация семантики языков
программирования
3.3. Денотационная семантика составных значений
и указателей
3.4. Денотационная семантика процедур и функций
3.5. Послесловие. За что боролись?
Решения упражнений
Список литературы