Логическая Операция

в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. О. Производится над всеми цифрами кодов одна и та же, при этом каждая цифра результата зависит не более чем от одной цифры одного или нескольких кодов. В ЦВМ Л. О. Выполняются в большинстве случаев над двоичными кодами. К числу основных и наиболее распространённых Л. О. Относятся операции отрицания, конъюнкции, дизъюнкции и эквивалентности (см. Табл. При ст. Алгебра логики). Эти Л. О. Достаточно просто реал..

ЛОГИЦИЗМ - направление в основаниях математики кон. 19 - нач. 20 вв., отвергающее кантовский Тезис о синтетическом характере математических истин. Рассматривает математику как чисто аналитическую науку, все понятия которой можно определить в рамках дедуктивной логики без использования каких-либо положений нелогического характера. Основные представители - Г. Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике" оказался невыполнимым, вместе с тем логицизм способствовал развитию м..

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

ЛОГИЧЕСКАЯ ОШИБКА - вызывается нарушением правил или законов логики. Признак формальной несостоятельности содержащих ее определений, рассуждений, выводов и доказательств.. ..

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

Операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.. ..

Операция над чис лами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Осн. И наиб. Распространённые Л. О., реализуемые в ЭВМ,дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные Л. О. Обычно сводят к трём основным. ..

способ построения сложного высказывания из данных высказываний, при к-ром истинностное значение сложного высказывания полностью определяется истинностными значениями исходных высказываний. Примерами Л. О. Являются конъюнкция, дизъюнкция, импликация, отрицание. К Л. О. Относятся также кванторы:они позволяют образовывать высказывания и высказывательные формы из данных высказывательных форм. В. Е. Плиско. . ..

В ЭВМ - операция над машинными переменными (выраженными в цифровой форме, обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. К числу осн. И наиболее употребительных в ЭВМ Л. О. Относятся отрицание (логич. Эквивалент частицы "не" - инверсия), логич. Умножение (конъюнкция), логич. Сложение (дизъюнкция). Эти Л. О. Достаточно просто реализуются электронными логическими элементами, а любые более сложные Л. О. При составлении программы ЭВМ могут быть сведены к трём основным...