Книга: Непейвода Н. Н. «Стили и методы программирования»

Серия: "Основы информационных технологий"

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

Содержание:

Лекция 1. Вводная лекция...... 9 1. 1. Введение...... 9 1. 2. Сравнение программ на разных языках...... 10 1. 3. Работа программной системы над текстом программ...... 12 Лекция 2. Модели вычислений...... 19 2. 1. Традиционная модель...... 19 2. 2. Модификации традиционной архитектуры...... 23 2. 3. Нетрадиционные архитектуры...... 27 Лекция 3. Традиционные языки...... 37 3. 1. Конструкции традиционных языков...... 37 3. 2. Примеры традиционных языков...... 39 Лекция 4. Синтаксис, семантика и прагматика...... 51 4. 1. Различные стороны определения языка...... 51 4. 2. Синтаксис...... 53 4. 3. Семантика...... 56 4. 4. Прагматика...... 57 4. 5. Абстрактный и конкретный синтаксис...... 61 Лекция 5. Сентенциальное программирование: Рефал...... 67 5. 1. Конкретизация...... 68 5. 2. Структура данных...... 69 5. 3. Модель вычислений и Рефал-программа...... 73 5. 4. Дополнительные возможности...... 78 Лекция 6. Сентенциальное программирование: PROLOG...... 89 6. 1. Общие концепции...... 89 6. 2. Поле зрения, поле памяти и PROLOG-программа...... 90 6. 3. Управление исполнением программы...... 94 6. 4. Динамическое пополнением порождение программы...... 101 6. 5. Организация вычислений и ввода-вывода...... 105 Лекция 7. Общие вопросы сентенциального программирования...... 111 7. 1. Введение...... 111 7. 2. Развитие языка Prolog...... 111 7. 3. Развитие языка Рефал и его диалекты...... 114 7. 4. Сравнение версий сентенциального программирования...... 116 Лекция 8. Функциональное программирование...... 123 8. 1. Х-абсгракции...... 123 8. 2. Списки и функциональные выражения...... 124 8. 3. Поле зрения и поле памяти...... 126 8. 4. Модель вычислений LISP...... 127 8. 5. Прагматические добавления и динамическое порождение программ...... 136 8. 6. Объекты и LISP...... 137 Лекция 9. Автоматное программирование: анализ задачи...... 145 9. 1. Автоматные задачи...... 145 9. 2. Основные структуры автоматного программирования...... 148 9. 3. Программные представления графа состояний...... 151 9. 4. Методы действий в состояниях и на переходах: анализ состояний и построение таблицы...... 152 9. 4. 1. Постановка задачи и первичный анализ...... 153 9. 4. 2. Построение графа состояний...... 154 9. 4. 3. Табличное представление графа состояний...... 158 Лекция 10. Автоматное программирование: от таблицы к программе...... 165 10. 1. Анализ состояния дел...... 165 10. 2. Ручная трансляция таблиц переходов...... 167 10. 3. Автоматизированное преобразование таблиц переходов...... 177 10. 4. Обсуждение решения...... 184 Лекция 11. Автоматное преобразование структурированных текстов...... 189 11. 1. Требования к автоматической трансляции таблиц...... 189 11. 2. Постановка задачи...... 190 Лекция 12. Переход отданных к конечному автомату...... 201 Лекция 13. Событийное программирование...... 213 13. 1. Событие, сообщение, демон...... 213 13. 2. Программирование от приоритетов...... 216 Лекция 14. Структурное программирование...... 223 14. 1. Общая характеристика структурного программирования...... 223 14. 2. Сети данных...... 228 14. 3. Выбор...... 235 14. 4. О дисциплине циклического структурного программирования...... 236 14. 5. Переходы и выдаваемые значения...... 241 Лекция 15. Проблемы, встающие перед параллельным программированием...... 247 15. 1. Естественный параллелизм алгоритмов...... 247 15. 2. Виды параллелизма...... 248 15. 3. Взаимодействие процессов и распараллеливание...... 252 Лекция 16. Программирование от переиспользования...... 265 16. 1. Что нужно для переиспользования...... 265 16. 2. Переиспользование и стили...... 269 16. 3. Программирование от образцов...... 274 Лекция 17. Общее понятие о стилях программирования...... 279 17. 1. Почему нет универсальных методов...... 279 17. 2. Стили, их ипостаси, методологии, методики, технологии...... 281 17. 3. Когда нужно использовать различные стили и как они взаимодействуют...... 286 17. 4. О сочетании стилей...... 287 Лекция 18. Методы по отношению к стилям...... 291 Словарь понятий...... 294 Предметный указатель...... 311 Список литературы...... 314

Издательство: "Интернет-Университет Информационных Технологий" (2005)

ISBN: 595560023X