Лог.константа-термин, относящийся к логической форме рассуждения (доказательства, вывода) и являющийся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как не, и, или, есть, каждый, некоторый и т. п. Л. к. не имеют самостоятельного содержания. Сами по себе они ничего не описывают и ничего не обозначают. Вместе с тем они позволяют из одних содержательных выражений получать другие. Установление точного смысла Л. к. и выяснение самых общих законов, относящихся к ним, — одна из основных задач логики. Логические выражения
Логические выражения вычисляют условия ИСТИНА-ЛОЖЬ в управляющих структурах IF, LOOP UNTIL, и LOOP WHILE. Управление передается в зависимости от конечного результата выражения (ИСТИНА или ЛОЖЬ). Логические выражения вычисляются слева направо. Правый операнд выражений AND, OR и XOR вычисляется только когда он может повлиять на результат. Для избежания неполных сравнений или для изменения порядка вычислений можно использовать скобки.
Логическая функция — это функция логических переменных, которая
может принимать только два значения : 0 или 1.
Конъю?нкция — логическая операция, по своему применению максимально приближенная к союзу и. ab
Дизъю?нкция — логическая операция, по своему применению максимально приближенная к союзу «или» aORb
Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».
Таблицы истинности и их роль.
Таблица истинности — это таблица, задающая логическую функцию.
Под логической функцией в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Особенно часто таблицы истинности применяются в булевой алгебре и в аналогичных системах многозначной логики.
Концепция данных, типы данных, виды данных.
Данные – это общее понятие для всего того, с чем оперирует машина.
Тип данных— фундаментальное понятие теории программирования. Тип данных определяет 1) множество значений, 2) набор операций, которые можно применять к таким значениям и, возможно, 3) способ реализации хранения значений и выполнения операций. Любые данные, которыми оперируют программы, относятся к определённым типам.
Типы данных бывают следующие:
Простые.
Перечислимый тип. Может хранить только те значения, которые прямо указаны в его описании.
Числовые. Хранятся числа. Могут применяться обычные арифметические операции.
Символьный тип. Хранит один символ. Могут использоваться различные кодировки.
Логический тип. Имеет два значения: истина и ложь. Могут применяться логические операции. Используется в операторах ветвления и циклах. В некоторых языках является подтипом числового типа, при этом ложь=0, истина=1.
Множество. В основном совпадает с обычным математическим понятием множества. Допустимы стандартные операции с множествами и проверка на принадлежность элемента множеству. В некоторых языках рассматривается как составной тип.
Составные (сложные).
Массив. Является индексированным набором элементов одного типа. Одномерный массив — вектор, двумерный массив — матрица.
Строковый тип. Хранит строку символов. Может применяться операция конкатенация (сложение строк). Чаще всего рассматривается как массив символов, но иногда выделяется в качестве простого.
Запись. Набор различных элементов (полей записи), хранимый как единое целое. Возможен доступ к отдельным полям записи.
Файловый тип. Хранит только однотипные значения, доступ к которым осуществляется только последовательно (файл с произвольным доступом, включённый в некоторые системы программирования, фактически является неявным массивом).
Структура. Структура в программировании (struct) позволяет хранить множество однотипных (более простые типы данных, что приведены выше) и/или логически связанных данных.
Выражения и их типы
Арифметические выражения
В выражения могут входить переменные числового типа и числа, над которыми могут производиться арифметические операции и математические операции, выраженные с помощью функций.
Строковые выражения
В состав входят переменные строкового типа, строки и строковые функции.
Строка – это последовательность символов заключенная в кавычки.
Над переменными и строками производится Операция – конкатенация. – объединение строки или значение строковых переменных в единую строку. Операция обозначается знаком +.
Логические выражения
В состав входят логические переменные, числа, числовые или строковые переменные или выражения, которые сравниваются между собой с использованием операций сравнения.
Над элементами логических выражений производятся логические операции: and – умножение; or – cложение; not – отрицание.
