- Артикул:00-01092791
- Автор: Н.Н. Непейвода
- ISBN: 5-9556-0023-Х
- Тираж: 2000 экз.
- Обложка: Твердая обложка
- Издательство: Интернет-Университет Информационных технологий (все книги издательства)
- Город: Москва
- Страниц: 320
- Формат: 60х90 1/16
- Год: 2005
- Вес: 476 г
- Серия: Учебное пособие для ВУЗов (все книги серии)
Развернуть ▼
Данный курс предполагает начальные умения структурного программирования на традиционном языке и не исключает начальных умений на одном из языков других стилей. Базовые умения для других стилей программирования могут быть получены по ходу изучения курса, для чего в него включены необходимые сведения и упражнения.
Рекомендовано для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий.
Содержание
Лекция 1. Вводная лекция
1.1. Введение
1.2. Сравнение программ на разных языках
1.3. Работа программной системы над текстом программ
Лекция 2. Модели вычислений
2.1. Традиционная модель
2.2. Модификации традиционной архитектуры
2.3. Нетрадиционные архитектуры
Лекция 3. Традиционные языки
3.1. Конструкции традиционных языков
3.2. Примеры традиционных языков
Лекция 4. Синтаксис, семантика и прагматика
4.1. Различные стороны определения языка
4.2. Синтаксис
4.3. Семантика
4.4. Прагматика
4.5. Абстрактный и конкретный синтаксис
Лекция 5. Сентенциальное программирование: Рефал
5.1. Конкретизация
5.2. Структура данных
5.3. Модель вычислений и Рефал-программа
5.4. Дополнительные возможности
Лекция 6. Сентенциальное программирование: PROLOG
6.1. Общие концепции
6.2. Поле зрения, поле памяти и PROLOG-программа
6.3. Управление исполнением программы
6.4. Динамическое пополнение и порождение программы
6.5. Организация вычислений и ввода-вывода
Лекция 7. Общие вопросы сентенциального программирования
7.1. Введение
7.2. Развитие языка Prolog
7.3. Развитие языка Рефал и его диалекты
7.4. Сравнение версий сентенциального программирования
Лекция 8. Функциональное программирование
8.1. Х-абстракции
8.2. Списки и функциональные выражения
8.3. Поле зрения и поле памяти
8.4. Модель вычислений LISP
8.5. Прагматические добавления и динамическое порождение программ
8.6. Объекты и LISP
Лекция 9. Автоматное программирование: анализ задачи
9.1. Автоматные задачи
9.2. Основные структуры автоматного программирования
9.3. Программные представления графа состояний
9.4. Методы действий в состояниях и на переходах: анализ состояний и построение таблицы
9.4.1. Постановка задачи и первичный анализ
9.4.2. Построение графа состояний
9.4.3. Табличное представление графа состояний
Лекция 10. Автоматное программирование: от таблицы к программе
10.1. Анализ состояния дел
10.2. Ручная трансляция таблиц переходов
10.3. Автоматизированное преобразование таблиц переходов
10.4. Обсуждение решения
Лекция 11. Автоматное преобразование структурированных текстов
11.1. Требования к автоматической трансляции таблиц
11.2. Постановка задачи
Лекция 12. Переход от данных к конечному автомату
Лекция 13. Событийное программирование
13.1. Событие, сообщение, демон
13.2. Программирование от приоритетов
Лекция 14. Структурное программирование
14.1. Общая характеристика структурного программирования
14.2. Сети данных
14.3. Выбор
14.4. О дисциплине циклического структурного программирования
14.5. Переходы и выдаваемые значения
Лекция 15. Проблемы, встающие перед параллельным программированием
15.1. Естественный параллелизм алгоритмов
15.2. Виды параллелизма
15.3. Взаимодействие процессов и распараллеливание
Лекция 16. Программирование от переиспользования
16.1. Что нужно для переиспользования
16.2. Переиспользование и стили
16.3. Программирование от образцов
Лекция 17. Общее понятие о стилях программирования
17.1. Почему нет универсальных методов?
17.2. Стили, их ипостаси, методологии, методики, технологии
17.3. Когда нужно использовать различные стили и как они взаимодействуют?
17.4. О сочетании стилей
Лекция 18. Методы по отношению к стилям
Словарь понятий
Предметный указатель
Список литературы
Рекомендуем
