18. Значения и типы значений (Boolean, Num, Real, Char). Стандартные конструкторы сложных типов значений. Помеченные кортежи: [А:]. Имя и атрибуты формального понятия. Встроенные (системные) атрибуты. Примеры и контрпримеры понятия.

19. Описание типов. Синтаксис тз-спецификаций.

Boolean – бинарный тип значений, принимающий логические типы значений (ложь, истина или 0,1 и тд)

NUM - один из простейших и самых распространённых типов. Служит для представления целых чисел.

Real - В значения вещественного типа попадает лишь конечное подмножество вещественных (действительных) чисел.

Char – тип значений принимающий символы.

?????? Синтаксис ТЗ-спецификаций.?????????

Заключается в перечислении элементов Технического Задания и требований к ним.

20. Примитивные типы значений и операции над множествами типов.

Примитивный (встроенный, базовый) тип — тип данных, предоставляемый языком программирования как базовая встроенная единица языка. В зависимости от языка и его реализации, набор таких типов может сильно различаться. Он определяется требованиями к простоте языка и компилятора (интерпретатора), эффективности реализации, особенностям сфер применения языка, выразительности средств языка для построения новых типов. Обычно низкоуровненевые языки программирования предоставляют очень ограниченный набор встроенных типов, непосредственно реализующийся низкоуровневыми конструкциями. Напротив, языки высокого уровня предоставляют обычно большой набор встроенных типов, так как это позволяет повысить их производительность.

Большинство языков программирования не позволяют изменять работу встроенных типов, однако, например, в Smalltalk можно не только добавлять к этим типам новые операции, но и изменять старые.

Примеры примитивных типов в различных языках

Практически все языки программирования включают:

• Символьный тип.

• Целый тип различных диапазонов значений.

• Ссылка (или аналогичные по функциональности типы «указатель»).

• Числа с плавающей запятой различной точности.

Также зачастую включаются:

• Числа с фиксированной запятой.

• Булевский тип, имеющий значения истина или ложь.

• Строковый тип (последовательность символов).

Множество – это структурированный тип данных, представляющий собой набор взаимосвязанных по какому-либо признаку или группе признаков объектов, которые можно рассматривать как единое целое. Каждый объект в множестве называется элементом множества. Все элементы множества должны принадлежать одному из скалярных типов, кроме вещественного. Этот тип называется базовым типом множества. Базовый тип задается диапазоном или перечислением. Область значений типа «множество» – набор всевозможных подмножеств, составленных из элементов базового типа. В выражениях на языке Pascal значения элементов множества указываются в квадратных скобках: [1,2,3,4], ['a','b','c'], ['a'..'z']. Если множество не имеет элементов, оно называется пустым и обозначается как [ ]. Количество элементов множества называется его мощностью.

Операции над множествами.

При работе с множествами допускается использование операций отношения =, <>, >=, <=, объединения, пересечения, разности множеств и операции in. Результатом выражений с применением этих операций является значение True или False.

Операция «не равно» (<>). Два множества А и В считаются неравными, если они отличаются по мощности или по значению хотя бы одного элемента.

Операция «равно» (=). Два множества А и В считаются равными, если они состоят из одних и тех же элементов. Порядок следования элементов в сравниваемых множествах значения не имеет.

Операция «не равно» (<>). Два множества А и В считаются неравными, если они отличаются по мощности или по значению хотя бы одного элемента.

Операция «больше или равно» (>=). Эта операция используется для определения принадлежности множеств. Результат операции А >= В равен True, если все элементы множества В содержатся в множестве А. В противном случае результат равен False.

Операция in. Эта операция используется для проверки принадлежности какого-либо значения указанному множеству. Обычно применяется в условных операторах.