Основания программирования

Непейвода Н.Н., Скопин И.Н.5939722997, 9785939722995

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

---

Table of contents :
Предисловие……Page 3
I Базовые понятия……Page 7
Сравнение программ на разных языках……Page 9
Язык, его реализация и среда программирования……Page 12
Модель вычислений фон Неймана и традиционные языки……Page 21
Линейные программы и их компоненты……Page 43
Не выполняемые вычислителем фрагменты программы……Page 44
Подключение внешней информации (библиотек)……Page 45
Описания……Page 50
Действия……Page 52
Последовательное, параллельное и совместное исполнение……Page 54
Управление порядком вычислений……Page 60
Работа со значениями……Page 65
Синтаксис, семантика и прагматика языка программирования……Page 75
Синтаксис, семантика……Page 76
Прагматика……Page 87
Абстрактное представление……Page 92
Структура абстрактного синтаксиса……Page 94
Абстрактный вычислитель и абстрактная структура……Page 99
Вызовы как пример синтаксических схем……Page 105
Принципиальные трудности, связанные с семантикой……Page 106
Стили программирования, или программирование с птичьего полета……Page 112
Стили программирования……Page 113
Программирование от состояний……Page 124
Структурное программирование ­­­ самый распространенный стиль……Page 130
Сентенциальное программирование……Page 138
Программирование от событий……Page 141
Программирование от приоритетов……Page 148
Функциональное программирование……Page 153
Объектно­ориентированный подход……Page 157
Три технологических стиля программирования……Page 161
Программирование от переиспользования……Page 162
Программирование от образцов……Page 170
Специализирующее программирование……Page 173
Общие выводы……Page 183
Введение……Page 187
Общепринятая модель……Page 190
Классическая итерационная модель……Page 192
Каскадная модель……Page 194
Модель фазы­функции……Page 199
Итеративные модели жизненного цикла……Page 202
Базовые технологические принципы итеративного проектирования……Page 205
Итеративная модификация модели фазы­функции……Page 208
Параллельное выполнение итераций……Page 215
Моделирование итеративного наращивания возможностей системы……Page 217
Требования к программному изделию и жизненный цикл……Page 220
Проблемы определения и анализа требований……Page 221
Трассировка требований……Page 224
Учет трассировки требований в модели жизненного цикла……Page 230
Особенности первой итерации……Page 232
Фаза завершения……Page 237
Итоги и перспективы……Page 241
II Структуры программирования……Page 250
Выражения……Page 253
Операции……Page 254
Логические выражения……Page 258
Приоритет операций……Page 266
Цепочка условий……Page 275
Переключение……Page 279
Типы данных, связанные с разветвлением……Page 284
Таблицы решений……Page 287
Охраняемые команды……Page 289
Условные выражения……Page 291
Мотивация циклических вычислений……Page 293
Потоковая обработка……Page 298
Порождение элементов потока……Page 299
Фильтрация потока……Page 303
Потоки и данные……Page 306
Потоки и цикл for……Page 332
Инвариант и параметры цикла……Page 335
Цикл Дейкстры и цикл­‘паук’……Page 338
Совместный цикл……Page 339
Входные и выходные потоки. Сопрограммы……Page 341
Понятие обстановки вычислений. Действия, меняющие обстановку……Page 349
Представление циклов……Page 353
Структурные переходы……Page 354
Исключения……Page 364
Подпрограммы……Page 368
Виды подпрограмм……Page 370
Именование процедур……Page 377
Контексты и обстановки. Локализация имен……Page 383
Семантика вызова процедуры……Page 396
Статическая и динамическая цепочки……Page 399
Понятие экземпляра процедуры……Page 402
Назначение параметризации……Page 406
Полиморфизм и вызовы с переменным числом параметров……Page 412
Механизмы передачи параметров……Page 416
Рекомендации по использованию параметров……Page 432
Параметры­процедуры и параметры­функции. Процедурный тип……Page 443
Поддержка модульности в стандартном языке Pascal……Page 453
Модули в TURBO­системах программирования……Page 459
Пример использования модуля……Page 464
Рекурсивные программы……Page 469
Сопоставление итеративной и рекурсивной схем……Page 471
Рекурсия через параметры……Page 475
Пример для самостоятельного анализа……Page 478
Процедуры в разных моделях вычислений……Page 481
Структура программы и структуры данных……Page 488
Базовые структуры данных и конструкторы структур……Page 491
Операции над вновь определяемыми типами данных……Page 494
Типизация и стили……Page 499
Абстрактные типы данных……Page 500
Перечисления……Page 505
Тип литерных……Page 507
Тип целых……Page 508
Вещественные типы……Page 510
Структурные типы……Page 514
Наборы компонент……Page 516
Записи……Page 521
Объединения……Page 525
Массивы……Page 530
Множества……Page 540
Рекурсивные структуры данных……Page 547
Списочные структуры……Page 550
Указательные типы……Page 553
Специальные рекурсивные структуры……Page 556
Деревья……Page 558
III Методы программирования……Page 561
Методы программирования от состояний……Page 566
Постановка задачи и первичный анализ……Page 567
Построение графа состояний……Page 569
Табличное представление графа состояний конечного автомата……Page 573
Ручная трансляция диаграмм переходов……Page 578
Представления, ориентированные на автоматические преобразования диаграмм переходов……Page 585
Обсуждение решения……Page 594
Расширение сферы применения конечных автоматов: анализатор как система связанных конечных автоматов……Page 599
Задача анализа простых выражений……Page 601
Синтаксические таблицы и рекурсивный спуск……Page 607
Преобразования грамматики, сохраняющие язык. Вычислительная мощность синтаксических таблиц……Page 610
Построение графа состояний……Page 613
Диаграммы состояний и переходов. Их связь с математическими моделями……Page 615
Программные представления графа состояний……Page 618
Требования к автоматической трансляции таблиц……Page 619
Языки разметки и автоматическая трансляция таблиц……Page 620
Автоматное преобразование структурированных текстов……Page 623
Переход от данных к конечному автомату……Page 631
Методы, основанные на рекурсии……Page 640
Механизмы рекурсии……Page 641
Закрашивание замкнутых областей……Page 647
Переборные алгоритмы и рекурсия……Page 651
Перебор/генерация вариантов с возвратами……Page 652
Лабиринт……Page 667
Блуждание по лабиринту и закраска области……Page 668
Абстрактное и конкретное представления данных……Page 670
Абстрактное представление лабиринта……Page 672
Поиск пути в лабиринте……Page 679
Рекурсия при обработке символьной информации……Page 690
Синтаксический распознаватель простых выражений……Page 696
Метод рекурсивного спуска……Page 698
Обратная польская запись выражений: понятие, алгоритмы вычисления и построения……Page 705
Объекты……Page 714
Объекты как структуры данных и права доступа……Page 715
Наследование и полиморфизм……Page 720
Множественное наследование и интерфейсы……Page 724
Объектная модульность……Page 728
Сентенциальные методы……Page 734
Структура данных……Page 735
Модель вычислений и Рефал­программа……Page 739
Дополнительные возможности……Page 745
Развитие языка и его диалекты……Page 750
Общие концепции……Page 752
Поле зрения, поле памяти и PROLOG­программа……Page 757
Управление исполнением программы……Page 761
Динамическое пополнение и порождение программы……Page 768
TeX и LaTeX……Page 771
Языки разметки для Internet……Page 780
Аналитические преобразования……Page 793
Сентенциальные методы в традиционных языках……Page 794
Структура данных……Page 797
Модель вычислений……Page 799
Объекты и LISP……Page 806
Моделирование……Page 811
Модели и вычисления……Page 814
Моделирование времени……Page 816
Информационные системы с временем……Page 817
Моделирование и информационные системы……Page 820
Информационное обеспечение моделирования……Page 822
Информационные системы для моделей принятия решений……Page 823
Системы с дискретными событиями……Page 825
UML­моделирование и RUP……Page 835
Подведение итогов……Page 837
Несколько терминов……Page 843
Вычислительные интерпретации……Page 845
Модели Янова……Page 850
Автоматы и машины Тьюринга……Page 851
Алгоритмы над структурами……Page 854
Рекурсии……Page 855
Совместность и параллелизм……Page 866
Логические парадоксы……Page 869
Теоремы Тарского и Геделя……Page 872
Идеальные и реальные понятия по Гильберту……Page 873
Парадокс изобретателя……Page 874
Типы и порядки……Page 875
Чистые теоремы существования……Page 876
Доказательства и программы……Page 878
Основные понятия неформализуемости……Page 880
Анализ понятий……Page 883
Уровень насекомого……Page 885
Стереотипное реагирование……Page 886
Комбинационное (комбинаторное) планирование……Page 888
Глупость……Page 890
Стратегическое планирование и преобразование действий……Page 891
Релятивизм……Page 893
Владение методом……Page 894
Умничанье, мессианство……Page 895
Многоуровневое мышление……Page 896
Лжепророки……Page 897
Химеры и вымыслы……Page 898