Высказывания и логические операции над ними. Повествовательные предложения.
Логическая операция — в программировании операция над выражениями логического (булевского) типа, соответствующая некоторой операции над высказываниями в алгебре логики. Как и высказывания, логические выражения могут принимать одно из двух истинностных значений — «истинно» или «ложно». Логические операции служат для получения сложных логических выражений из более простых. В свою очередь, логические выражения обычно используются как условия для управления последовательностью выполнения программы.
Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объёма понятий, а также образование новых понятий.
К операциям, которые связаны преимущественно с изменением содержания понятий, относятся:
отрицание;
ограничение ;
обобщение ;
деление.
К операциям, которые связаны преимущественно с объёмами понятий, относятся:
сложение;
умножение;
вычитание.
Данные операции могут быть записаны математически с помощью теории множеств.
Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений.
Высказывание в математике -это повествовательное предложение, относительно которого можно сказать истинно оно или ложно.
-
Содержание
- Основные понятия теории множеств. Множества и отношения.
- Основные операции над множествами. Соотношения между множествами.
- Диаграммы Эйлера-Венна. Универсальное множество.
- Перестановки. Бинарные отношения.
- Высказывания и логические операции над ними. Повествовательные предложения.
- Основные операции над множествами.
- Декартово произведение множеств.
- Числовые множества. Принадлежность.
- Элементы комбинаторики. Перестановки. Сочетания. Размещения.
- Представление бинарных отношений графами.
- Классическое определение вероятности.
- Теоремы умножения вероятностей.
- Дискретные случайные величины.
- Нормальный закон распределения вероятностей.
- Условная вероятность. Независимость событий.
- Формула полной вероятности. Формула Байеса.
- Формула Бернулли. Предельные теоремы.
- Математическая статистика.
- Случайные величины (с.В.). Дискретные и непрерывные.
- Функция распределения случайной величины.
- Характеристики вариационного ряда. Среднее выборочное.
- Статистическое распределение выборки.
- Языки программирования высокого уровня.
- Словесные алгоритмы.
- Блок схемы. Ветвление.
- Блок схемы. Циклы.