Логические основы компьютеров
- Логика - это наука о том, как правильно рассуждать, делать выводы, доказывать утверждения.
- Формальная логика отвлекается от конкретного содержания, изучает только истинность и ложность высказываний.
- Логическое высказывание - это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно.
- Алгебра логики - это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразуют логические высказывания.
- Логическая функция - правила преобразования входных логических значений в выходные.
-
Операция "И" - Логическое умножение - коньюнкция (союз, связь).
Результат: истина когда выбирается минимальное из исходных значений. -
Операция "ИЛИ" - Логическое сложение - дизьюнкция (разделение).
Результат: истина когда из исходных значений выбирается наибольшее. -
Операция Исключающее ИЛИ - разделительная дизъюнкция - "один или другой, но не оба вместе" - сложение по модулю два.
Результат: Истина в том и только в том случае, когда два значения не равны. - Операция Импликация (следование) - логическая связка "если ... , то".
- Операция Эквивалентность (или эквиваленция, равносильность) - это логическая операция, которая соответсвует связке "тогда и только тогда".
Порядок выполнения логических операций:
- действия в скобках
- отрицание (НЕ)
- логическое умножение (И)
- логическое сложение (ИЛИ) и оперция "исключающее ИЛИ"
- импликация (следование)
- эквивалентность
- Формализация - это переход от конкретного содержания к формальной записи с помощью некоторого языка.
- Унарные (лат. uno - один) или одноместные операции - операции, которые выполняются над одной величиной.
- Бинарные (лат. bis - дважды) операции - операции, которые выполняются над двумя значениями.
- Выражения тождественно равны или равносильны если два выражения принимают одинаковые значения при всех значениях переменных
- Диаграммы Венна или круги Эйлера - выражения, зависящие от небольшого количества переменных (обычно не более четырёх).
- Предикат (от лат. praedicatum - заявленное, упомянутое, сказанное) - это утверждение, содержащее переменные.
- Квантор (от лат. quantum - сколько) - это знак или выражение, обозначающее количество.
- Триггер - электронная схема, которая может находиться только в двух состояниях (их можно обозначить как 0 и 1) и способна почти мгновенно переходить из одного состояния в другое.
- RS-триггер имеет два входа, которые обозначаются как S (англ. set - установить) и R (англ. reset - сброс), и два выхода Q и Q, причём выходной сигнал Q является логическим отрицанием сигнала Q (если Q = 1, то Q = 0, и наоборот).
- Полусумматор выполняет сложение двух бит с учетом того, что в результате может получится двухразрядное число (с переносом в следующий разряд).
Интересуетесь топовыми гаджетами и популярными технологическими новинками?
Подписывайтесь на телеграм канал @upkitai
Подписывайтесь на телеграм канал @upkitai
Поделитесь с другими:
Если материал понравился Вам и оказался для Вас полезным, поделитесь им со своими друзьями!
Читать по теме
- Краткое введение в тему, в чем разница между SQL и NoSQL
Интересные статьи
- Вес — это физическая величина, а именно сила, воздействующая на горизонтальную поверхность или вертикальную подвеску.
- Азбука Морзе - перечень сигналов из точек и тире, воспроизводящихся с помощью радиосигналов или прерыванием постоянного электрического тока.
- Периметр трапеции равен сумме длин всех четырех сторон
- Мощность – это скорость расходования энергии, выраженная в отношении энергии ко времени: 1 Вт = 1 Дж/1 с. Один ватт равен отношению одного джоуля (единице измерения работы) к одной секунде.
- Сила упругости, возникающая в теле при его деформации, прямо пропорциональна величине этой деформации.
- Современный русский алфавит состоит из 33 букв.
- Объем цилиндра равен произведению квадрата радиуса основания, высоты цилиндра и числа пи (3.1415)