Основные типы и способы организации данных (переменные, массивы, списки).

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

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

Вот как выглядит иерархия скалярных типов (классов) в языке Смолток:

В популярном языке Java имеются следующие базовые скалярные типы: четыре целочисленных, два вещественных, символьный и логический. Во многих языках используется такой тип, как указатель. Переменная этого типа содержит физический адрес, который указывает на какую-либо другую переменную.

Структурные типы языка Смолток имеют следующую иерархию:

В языке Паскаль и родственных ему языках для создания сложных структур данных используется тип “запись”, в языке С для этой же цели служит тип “структура”.

10 Логические функции и их преобразования.

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

Под высказыванием понимают повествовательное предложение, относительно которого имеет смысл говорить, истинно оно или ложно. Например, выражение “Расстояние от Москвы до Киева больше, чем от Москвы до Тулы” истинное, а выражение “4<3” — ложное.

Высказывания принято обозначать большими буквами латинского алфавита: А, В, С... и т.д. Если высказывание С истинно, то пишут С = 1, а если оно ложно, то С = О.

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

Для образования новых высказываний наиболее часто используются логические операции, выражаемые словами “не”, “и”, “или”.

Объединение двух (или нескольких) высказываний в одно с помощью союза “и” называется операцией, логического умножения, или конъюнкцией. Эту операцию принято обозначать знаком “л” или знаком умножения “•”. Сложное высказывание АлВ истинно только в том случае, когда истинны оба входящих в него высказывания. Истинность такого высказывания задается следующей таблицей:

Объединение двух (или нескольких) высказываний с помощью союза “или” называется операцией логического сложения, или дизъюнкцией. Эту операцию обозначают знаком “v” или знаком сложения “+”. Сложное высказывание AvB истинно, если истинно хотя бы одно из входящих в него высказываний. Таблица истинности для логической суммы высказываний имеет вид:

Присоединение частицы “не” к данному высказыванию называется операцией отрицания. Она обозначается А и читается “не АО. Если высказывание А истинно, то А ложно, и наоборот. Таблица истинности в этом случае имеет вид:

Помимо операций “и”, “или”, “не” в алгебре высказываний существует много других операций. Например, операция эквиваленции (А~В), которая имеет следующую таблицу истинности:

Другим примером может служить логическая операция импликации (А—>В), объединяющая высказывания словами “если..., то” и имеющая следующую таблицу истинности:

Высказывания, образованные с помощью логических операций, называются сложными. Истинность сложных высказываний можно установить, используя таблицы истинности. Например, истинность сложного высказывания В • В определяется следующей таблицей:

Высказывания, у которых таблицы истинности совпадают, называются равносильными. Для обозначения равносильных высказываний используют знак “=”. Рассмотрим сложное высказывание (А • В) + (А • В).

Запишем таблицу истинности этого высказывания:

Если сравнить эту таблицу с таблицей истинности операции эквивалентности высказываний А и В, то можно увидеть, что высказывания (В • В) + (А • В) и А~В тождественны, т. е. А~В = (А • В) + (А • В).

В алгебре высказываний можно проводить тождественные преобразования, заменяя одни высказывания равносильными им другими высказываниями.

Исходя из определений дизъюнкции, конъюнкции и отрицания, устанавливаются свойства этих операций и взаимные распределительные свойства. Приведем примеры некоторых из этих свойств:

А = А, А • А = А, А + (В + С)_= (А + В) + С, А-В+А-В= А, А • (В~С) = А_- В -А- С^_ _ А-В=А+ В,А+В^А-В. Используя эти свойства, можно проводить тождественные преобразования, упрощения формул алгебры высказываний. Например, сложная формула (А • В+С) • (А+В)+С может быть преобразована в более простую —С • А + С • В + С.