Логическая Семантика

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

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

В широком смысле - теория (возможно, аксиоматическая), рассматривающая осн. Принципы построения логич. Исчислений и их формальную структуру (теоретический Л. С.). В узком смысле - запас выразит, средств для формулирования утверждений о формальных выражениях (языке) логич. Исчисления (элементарный Л. С.). ..

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