Лог.константы, выражения и функции.

Лог.константа-термин, относящийся к логической форме рассуждения (доказательства, вывода) и являющийся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как не, и, или, есть, каждый, некоторый и т. п. Л. к. не имеют самостоятельного содержания. Сами по себе они ничего не описывают и ничего не обозначают. Вместе с тем они позволяют из одних содержательных выражений получать другие. Установление точного смысла Л. к. и выяснение самых общих законов, относящихся к ним, — одна из основных задач логики. Логические выражения

Логические выражения вычисляют условия ИСТИНА-ЛОЖЬ в управляющих структурах IF, LOOP UNTIL, и LOOP WHILE. Управление передается в зависимости от конечного результата выражения (ИСТИНА или ЛОЖЬ). Логические выражения вычисляются слева направо. Правый операнд выражений AND, OR и XOR вычисляется только когда он может повлиять на результат. Для избежания неполных сравнений или для изменения порядка вычислений можно использовать скобки.

Логическая функция — это функция логических переменных, которая

может принимать только два значения : 0 или 1.

Конъю?нкция — логическая операция, по своему применению максимально приближенная к союзу и. ab

Дизъю?нкция — логическая операция, по своему применению максимально приближенная к союзу «или» aORb

Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».

Таблицы истинности и их роль.

Таблица истинности — это таблица, задающая логическую функцию.

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

Концепция данных, типы данных, виды данных.

Данные – это общее понятие для всего того, с чем оперирует машина.

Тип данных— фундаментальное понятие теории программирования. Тип данных определяет 1) множество значений, 2) набор операций, которые можно применять к таким значениям и, возможно, 3) способ реализации хранения значений и выполнения операций. Любые данные, которыми оперируют программы, относятся к определённым типам.

Типы данных бывают следующие:

Простые.

Перечислимый тип. Может хранить только те значения, которые прямо указаны в его описании.

Числовые. Хранятся числа. Могут применяться обычные арифметические операции.

Символьный тип. Хранит один символ. Могут использоваться различные кодировки.

Логический тип. Имеет два значения: истина и ложь. Могут применяться логические операции. Используется в операторах ветвления и циклах. В некоторых языках является подтипом числового типа, при этом ложь=0, истина=1.

Множество. В основном совпадает с обычным математическим понятием множества. Допустимы стандартные операции с множествами и проверка на принадлежность элемента множеству. В некоторых языках рассматривается как составной тип.

Составные (сложные).

Массив. Является индексированным набором элементов одного типа. Одномерный массив — вектор, двумерный массив — матрица.

Строковый тип. Хранит строку символов. Может применяться операция конкатенация (сложение строк). Чаще всего рассматривается как массив символов, но иногда выделяется в качестве простого.

Запись. Набор различных элементов (полей записи), хранимый как единое целое. Возможен доступ к отдельным полям записи.

Файловый тип. Хранит только однотипные значения, доступ к которым осуществляется только последовательно (файл с произвольным доступом, включённый в некоторые системы программирования, фактически является неявным массивом).

Структура. Структура в программировании (struct) позволяет хранить множество однотипных (более простые типы данных, что приведены выше) и/или логически связанных данных.

Выражения и их типы

Арифметические выражения

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

Строковые выражения

В состав входят переменные строкового типа, строки и строковые функции.

Строка – это последовательность символов заключенная в кавычки.

Над переменными и строками производится Операция – конкатенация. – объединение строки или значение строковых переменных в единую строку. Операция обозначается знаком +.

Логические выражения

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

Над элементами логических выражений производятся логические операции: and – умножение; or – cложение; not – отрицание.

Программирование на языке Pascal. Урок 1. Переменные, константы, типы данных.


Похожие статьи.

Понравилась статья? Поделиться с друзьями: