Все словари     Target-Multimedia  
 
 
 
 01
 02
 03
 04
 05

Энциклопедический словарь :: Л

 «  
лог  |  логи  |  логич  |  лого  |  лод  |  лож
  » 

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

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание; при составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.  

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

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

ЛОГИЧЕСКИЙ ЗАКОН название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических операций и по существу не связана с фактической истинностью "наполняющих" ее высказываний.  

ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ течение неопозитивизма, возникшее в 1920-х гг. (Венский кружок); пытался сочетать эмпиризм, основывающийся на принципе верификации, с методом логического анализа научного знания. Со 2-й пол. 30-х гг. стал известен под названием логического эмпиризма; с 60-х гг. не существует как самостоятельное течение. См. также Аналитическая философия.  

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

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

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление, символы и правила которого могут быть интерпретированы в терминах логики.

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ суждение (предложение, высказывание, формула), полученное посредством дедуктивного рассуждения из некоторых исходных суждений.

...ЛОГИЯ (от греч. logos - слово учение), часть сложных слов, означающая: наука, знание, учение, напр., геология, филология.

 «  
лог  |  логи  |  логич  |  лого  |  лод  |  лож
  » 
 
 

    Словарь русского языка
Copyright © Target-Multimedia, 2008-2012. Все права защищены.
   
Страница сгенерирована за: 0.00852 секунд. Кэширование включено. Сервер 2.