логический+язык

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

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

• логический язык программирования — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN logic programming language …   Справочник технического переводчика

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

• ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ —         течение неопозитивизма, возникшее в 20 х гг. 20 в. на основе Венского кружка (Р. Карнан, О. Нейрат, Ф. Франк, Г. Фейгль, X. Рейхенбах и др.). Л. п. выступает как преемник позитивистской субъективно идеалистич. традиции, идущей от Беркли,… …   Философская энциклопедия

• ЛОГИЧЕСКИЙ АТОМИЗМ — учение о том, что реальность состоит из некоторых неанализируемых логических атомов, из которых строятся все др. онтологические сущности и положения дел. Термин введен в 1918 5. Расселом, который и развивал это учение вместе со своим учеником Л.… …   Философская энциклопедия

• ЛОГИЧЕСКИЙ — (греч. logikos, от logos рассуждение). Согласный с логикою или основанный на законах мышления. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ЛОГИЧЕСКИЙ греч. logikos, от logos, рассуждение. Согласный или… …   Словарь иностранных слов русского языка

• Логический атомизм — Логический позитивизм (англ. Logical positivism)  (логический эмпиризм или неопозитивизм) является школой философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающийся на… …   Википедия

• ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ — ранняя форма аналитической философии, одно из основных философских направлений первой половины ХХ в. Л. п. претендовал на анализ и решение актуальных философско методологических проблем, выдвинутых в ходе научной революции начала ХХ в. (см.… …   Энциклопедия культурологии

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

• логический — логичный, последовательный; закономерно вытекающий, необходимо вытекающий, необходимо следующий, закономерно следующий, закономерный, дискурсивный, неслучайный, общелогический. Ant. нелогичный, непоследовательный Словарь русских синонимов.… …   Словарь синонимов

• язык науки —         ЯЗЫК НАУКИ особые языковые системы, посредством которых исследователи организуют производимые ими знания и транслируют получаемую информацию в профессиональной среде. При этом языковые средства, используемые специалистами, не являются… …   Энциклопедия эпистемологии и философии науки