1611678431-42dd196888169502b9e0ea8849214066 (Список вопросов)

Вопросы по курсу"Программирование"1. Понятие алгоритма и его основные свойства, семь параметровопределения алгоритма. Блок-схемные определения как пример уточненияпонятия алгоритма.2. Понятиеспецификации,частичнойиполнойправильности.Характеристики качества программного обеспечения.3. Понятие ЭВМ, принципы Фон-Неймана. Основные приемы упрощениярешения задач на ЭВМ.4. Понятие операционной системы, загрузчика, редактора связей, ассемблераи макроассемблера.5. Понятие языка программирования высокого уровня и транслятора,классификация языков и виды трансляторов.6. Синтаксис и семантика языков программирования. Стандарты и версииязыков программирования.7.

Три подхода к заданию семантики.8. Метод промежуточных утверждений для блок-схемного представленияпрограмм, теорема его корректности.9. Иерархия языковых конструкций. Лексемы и понятия. БНФ исинтаксические диаграммы.10. Понятие типа и системы типов языка высокого уровня. Простые,составные, первичные, стандартные, библиотечные и конструируемыетипы, отношения между типами. Статическая и динамическая типизация,строгая типизация.11. Логический и литерный типы данных языка Паскаль.12. Позиционные системы счисления, представление целых чисел намашинном уровне, дополнительный код. Целый тип языка Паскаль.13.

Вещественный тип данных языка Паскаль, его представление намашинном уровне, нормализованная форма, переполнение и сокращение.14. Выражения языка Паскаль. Утверждения как множества состоянийпамяти.15. Средства конструирования простых типов в языке Паскаль.16. Понятие оператора, простые операторы языка Паскаль, формализациясемантики оператора присваивания.17. Структурные операторы языка Паскаль: составной, условный, выбора,формализация их семантики.18. Операторы цикла языка Паскаль, формализация семантики операторацикла с условием на продолжение.19. Понятие полной правильности. Ограничивающие выражения для циклов.20. Массивы в языке Паскаль, их представление на машинном уровне,упаковка и выравнивание, три вида массивов в языках программирования.21.

Записи в языке Паскаль, их представление на машинном уровне, упаковкаи выравнивание, записи с вариантами.22. Множества в языке Паскаль, их представление на машинном уровне.23. Понятиечастичнойправильности.Методпромежуточныхутверждений для простых Паскаль-программ.24. Механизм подпрограмм, простая структура вызовов-возвратов, задачи,сопрограммы и подпрограммы прерывания.25. Процедуры и функции языка Паскаль, побочный эффект.26. Механизм параметров, ключевые и позиционные параметры, способыподстановки параметров.27.

Входные и выходные параметры, параметры-подпрограммы.28. Блоки и правила локализации имен. Локальные, глобальные истандартные имена. Указатели и динамические переменные.29. Рекурсия, рекурсивные процедуры и функции, поколения переменных,сравнение итеративного и рекурсивного представлений алгоритмов.30.

Метод структурной индукции, анализ функций факториала, 91 Маккартии Аккермана.31. Пошаговая разработка программ без и с использованием процедур ифункций, особенности восходящего и нисходящего подходов.32. Файлы в языке Паскаль, текстовые и стандартные файлы.33. Аксиоматическая семантика. Средства описания свойств программ соструктурированными данными.34. Линейные списки и способы их реализации, операции вставки и удаления.35. Основные операции со списками. Однонаправленные, двунаправленные ициклические списки.36.

Стеки, их реализация с помощью динамических переменных.37. Стеки, их реализация с использованием массивов и записей.38. Очереди, их реализация с помощью динамических переменных.39. Очереди, их реализация с использованием массивов и записей.40. Бинарные деревья, способы их задания и реализации.41. Обходы бинарных деревьев в ширину и в глубину, префиксный,инфиксный и постфиксные обходы бинарных деревьев.42. Корневые и упорядоченные деревья, способы их реализации.43.

Поисковые деревья, операция вставки, использование поисковых деревьевв задачах сортировки.44. Графы и орграфы, их реализация с использованием матриц смежности иинцидентности.45. Представление орграфов с использованием списков смежных вершин.Проф. В.Н. Касьянов.