(логического)

См. также в других словарях:

• ЛОГИЧЕСКОГО АНАЛИЗА ФИЛОСОФИЯ —         течение совр. аналитической философии, которое сводит философию к логич. анализу языка и возникающих при его использовании проблем средствами совр. формальной (ма тематич.) логики. Возникновение и развитие Л. а. ф. обусловливались… …   Философская энциклопедия

• логического анализа философия — течение в современной западной философии, сводящее философию к логическому анализу языка средствами символической логики. Предмет Л. а. ф. язык науки и формальные языки логики и математики. Возникновение Л. а. ф. связано с интенсивным процессом… …   Словарь терминов логики

• Логического анализа философия —         течение современной аналитической философии (См. Аналитическая философия), которое усматривает задачи философии в логическом анализе языка науки средствами современной формальной (математической) логики. Возникновение и развитие Л. а. ф.… …   Большая советская энциклопедия

• Машина логического вывода — программа, моделирующая механизм рассуждений и оперирующая знаниями и данными с целью получения новых данных из знаний и других данных, имеющихся в рабочей памяти. Обычно машина логического вывода использует программно реализованный механизм… …   Финансовый словарь

• Принцип единства исторического и логического — Принцип единства исторического и логического  это принцип развития, включающего в себя процесс становления законов соответствующей области. Применение принципа единства исторического и логического  это построение логической модели… …   Википедия

• Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …   Википедия

• Язык логического программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… …   Википедия

• метод логического вывода — механизм логического вывода — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы механизм логического вывода EN inference engine …   Справочник технического переводчика

• контроль логического соединения — LLC Подуровень контроля логического соединения (LLC) описывает верхние компоненты канального уровня ISO/OSI. Он касается тех аспектов протокола, которые не зависят от метода доступа к коммуникационной среде. [http://can… …   Справочник технического переводчика

• номер логического канала — это номер, который идентифицирует один определенный логический канал (МСЭ Т Н.245). [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN logical channel number …   Справочник технического переводчика

• объект логического узла — Экземпляр класса логического узла. [ГОСТ Р 54325 2011 (IEC/TS 61850 2:2003)] EN logical node object instance of a logical node class [IEC 61850 2, ed. 1.0 (2003 08)] Тематики релейная защита EN logical node object …   Справочник технического переводчика