Итоговая аттестация по курсу «Технология программирования»
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 Получение следствий из данных посылок ( получение всех следствий и следствий, содержащих только заданные переменные ).
31 Предикаты и способы их задания. Упорядоченная n-ка и декартово произведение. Множество истинности предиката.
32 Предикаты. Множество истинности предиката. Равносильность высказывательных форм.
33 Логические операции над высказывательными формами и операции над множествами истинности предикатов. Следование и включение.
34 Свойства как одноместные предикаты. Объем свойства. Классификация. Правило классификации.
35 Отношения как многоместные предикаты. Свойства бинарных отношений.
36 Отношения как многоместные предикаты. Отношения эквивалентности и отношения порядка.
37 Кванторы общности и существования ( при конечном множестве значений переменных – переход к дизъюнкции и конъюнкции ). Квантификация.
