логический
21ЛОГИЧЕСКИЙ СИНТАКСИС — теория, изучающая чисто формальную часть логич. систем, т.е. отношения между их выражениями безотносительно к интерпретации последних и устанавливающая правила построения этих выражений и правила оперирования с ними. Описание Л. с. к. л. системы… …
22логический элемент передачи — передаточный вентиль логический вентиль — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы передаточный вентильлогический вентиль EN transmission… …
23ЛОГИЧЕСКИЙ АНАЛИЗ — применение средств математической логики для обсуждения и решения филос. и методологических проблем, для уточнения и формализации языковых выражений. Выражение проблемы в формализованном языке придает ей точность и определенную ясность, что… …
24ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… …
25ЛОГИЧЕСКИЙ ДИСК — (англ. logical disk), искусственно созданный программными средствами раздел жесткого диска (см. ЖЕСТКИЙ ДИСК), которому присваивается собственное имя (D, E и т.д.) и обращение к которому производится как к реально существующему отдельному… …
26Логический диск — область хранения информации на жестком диске, обозначаемая латинскими буквами С, В, Е и т.д. Разбиение на логические диски условно и служит для удобства работы с жестким диском. См. также: Диски Файлы Финансовый словарь Финам …
27Логический оператор — оператор, реализующий операции булевой алгебры. См. также: Операторы в языках программирования Логические операции Финансовый словарь Финам …
28Логический тип — тип данных, допускающих одно из двух возможных значений: истина или ложь . Синонимы: Булевский тип См. также: Типы данных Финансовый словарь Финам …
29Логический язык программирования — язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода. См. также: Декларативные языки программирования… …
30логический позитивизм — ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ одно из наиболее влиятельных направлений философии науки 20 в. Возник в 20 е гг. 20 в. в так называемом Венском кружке (Р. Карнап, О. Нейрат, Ф. Франк, Г. Фейгль и др.), с которым тесно сотрудничало Берлинское… …
