Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
основы программирования и алгоритмизация.docx
Скачиваний:
12
Добавлен:
27.09.2019
Размер:
281.75 Кб
Скачать

Структурированные типы

  1. Массив – представляет собой упорядоченную структуру однотипных данных, которые называются элементами массива

Массивы могут быть одномерными (адрес каждого элемента определяется значением одного индекса), многомерными (адрес каждого элемента массива определяется несколькими индексами).

  1. Запись – позволяет объединять в одной переменной элементы произвольных типов.

Логические основы алгоритмизации

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

Высказывание - повествовательное предложение, про которое имеет смысл говорить истинно оно или ложно. Высказывания принято обозначать большими буквами латинского алфавита. Если высказывание истинно, то обозначают A=1 (A=t, A=true), если ложно то A=0.

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

Конъюнкция (логическое умножение) – соединение двух или нескольких высказываний в одно с помощью союза и (AND). Обозначается & ^

Таблица истинности

A

B

A^B

F

f

F

F

T

F

T

F

F

t

T

t

Дизъюнкция – объединение двух или нескольких высказываний с помощью союза или OR.

А

В

А*В

F

f

F

F

T

T

T

F

T

t

T

t

Есть исключающая или XOR

A

B

AB

F

f

F

F

T

T

T

F

T

t

T

F

Инверсия (лог отрицание) логическое НЕ (NOT)

A

B

T

f

f

t

Эквиваленция (eqv) обозн ~

A

B

A~B

F

f

T

F

T

F

T

F

F

t

T

t

Импликация (imp) Объединяет высказывания словами «если…,то…»

A

B

AimpB

F

F

T

F

T

T

T

F

F

t

t

f

10.10.2011