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

54

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

Значения в других словарях
Логический Закон

Название законов, образующих основу логической дедукции. Схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических операций и по существу не связана с фактической истинностью "наполняющих" ее высказываний.. ..

Логический Позитивизм

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

Логический Элемент Простейшая Структурная Единица Эвм

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

Логическое Исчисление

Исчисление, символы и правила которого могут быть интерпретированы в терминах логики.. ..

Дополнительный поиск Логический Синтаксис Логический Синтаксис

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Логический Синтаксис" в словаре Современный толковый словарь, подробное описание, примеры использования, словосочетания с выражением Логический Синтаксис, различные варианты толкований, скрытый смысл.

Первая буква "Л". Общая длина 20 символа