логический язык
1Логический язык программирования — язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода. См. также: Декларативные языки программирования… …
2логический язык программирования — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN logic programming language …
3Логический язык программирования — Логическое программирование парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.… …
4ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ — течение неопозитивизма, возникшее в 20 х гг. 20 в. на основе Венского кружка (Р. Карнан, О. Нейрат, Ф. Франк, Г. Фейгль, X. Рейхенбах и др.). Л. п. выступает как преемник позитивистской субъективно идеалистич. традиции, идущей от Беркли,… …
5ЛОГИЧЕСКИЙ АТОМИЗМ — учение о том, что реальность состоит из некоторых неанализируемых логических атомов, из которых строятся все др. онтологические сущности и положения дел. Термин введен в 1918 5. Расселом, который и развивал это учение вместе со своим учеником Л.… …
6ЛОГИЧЕСКИЙ — (греч. logikos, от logos рассуждение). Согласный с логикою или основанный на законах мышления. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ЛОГИЧЕСКИЙ греч. logikos, от logos, рассуждение. Согласный или… …
7Логический атомизм — Логический позитивизм (англ. Logical positivism) (логический эмпиризм или неопозитивизм) является школой философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающийся на… …
8ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ — ранняя форма аналитической философии, одно из основных философских направлений первой половины ХХ в. Л. п. претендовал на анализ и решение актуальных философско методологических проблем, выдвинутых в ходе научной революции начала ХХ в. (см.… …
9ЛОГИЧЕСКИЙ СИНТАКСИС — теория, изучающая чисто формальную часть логич. систем, т.е. отношения между их выражениями безотносительно к интерпретации последних и устанавливающая правила построения этих выражений и правила оперирования с ними. Описание Л. с. к. л. системы… …
10логический — логичный, последовательный; закономерно вытекающий, необходимо вытекающий, необходимо следующий, закономерно следующий, закономерный, дискурсивный, неслучайный, общелогический. Ant. нелогичный, непоследовательный Словарь русских синонимов.… …