Термины по теме «Элементы алгебры логики»

Цель

Научиться давать определения терминов по теме "Элементы алгебры логики"

Задание

Дать 3 определения терминов по теме "Элементы алгебры логики"(смотреть здесь). Термины должны быть из разных категорий (Основные понятия, Логические операции, Законы алгебры логики, Исторические личности - всего по каким-либо 3 категориям). Для каждого определения выбирать категорию. На один и тот же термин можно давать разные (не повторяющиеся) определения. К определениям добавлять изображения или прикреплять файлы.

Оценивание

Каждое полное определение - 4 балла

Перегляд глосарію, використовуючи цей індекс.

Спеціальні | А | Б | В | Г | Ґ | Д | Е | Є | Ж | З | И | І | Ї | Й | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Х | Ц | Ч | Ш | Щ | Ь | Ю | Я | ВСЕ

Л

Логическая схема

Автор Щедрин Іван - 30 жовтень 2016, неділя, 14:29

электрическая цепь проводников, состоящая из модулей (например, усилителей) и других компонентов (транзисторов, диодов, резисторов и конденсаторов), используемая для распределения и обработки электронных сигналов (например, напряжения) в соответствии с правилами символической логики и БУЛЕВОЙ АЛГЕБРЫ. В вычислительной и формальной математике логическая схема - это цепь связанных логических решений и операций, называемых ЛОГИЧЕСКИМИ ЭЛЕМЕНТАМИ.

Логическая формула

Автор Наумов Нікіта - 30 жовтень 2016, неділя, 14:15

С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой. Определение логической формулы: Всякая логическаяпеременная и символы "истина" ("1") и "ложь" ("0") — формулы.

Логическая функция

Автор Попов Артем Андреевич - 10 листопад 2016, четвер, 18:01

Логическая функция - это функция, которая устанавливает соответствие между одним или несколькими высказываниями, которые называются аргументами функции, и высказыванием которое называется значением функции.

Логические связи

Автор Шамрай Никита - 30 жовтень 2016, неділя, 15:32

Логические связи-это отрицание (изображается знаком ¬), конъюнкция (знак ), дизъюнкция (знак v), импликация (знак ) и эквивалентность (знак ). Высказывание ¬A (читается «не A») означает, что высказывание A ложно.

Логическое отрицание

Автор Попов Артем Андреевич - 10 листопад 2016, четвер, 13:42

Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение «противоположное» исходному. Обозначается знаком ¬ перед или чертой -- над суждением.

A NOT A

0 1

1 0