Выражение логическое

Б e p e H Ш T e й H П. A., Шрамм A. H. О логической форме вопроса и грамматических средствах его выражения. Ученые записки Калининградского пед. института, вып. 6, 1959, 189—227. [c.180]

ЛЛМ — эффективный инструмент для переработки и семантической нормализации информации качественного характера. Стало возможным вводить в ЭВМ текстовую информацию, выраженную на естественном языке. Исследования естественных языков показали, что множество логических отношений между различными понятиями в текстовой информации конечно (не превосходит нескольких сот). Разработка и применение ЛЛМ совместно с математическими моделями привели к настоящей революции в информатике [25]. [c.41]

Теперь воспользуемся БСН (рис. 3.6), чтобы составить, используя алгебру случайных событий, логическое выражение для сложного случайного события, которое отображается логической функцией работоспособности [c.58]

Логико-вероятностные модели надежности ХТС представляют собой некоторые логические выражения, которые отображают влияние отказа каждого элемента на отказ всей системы [1, 204]. При использовании логико-вероятностных моделей процессы функционирования сложной системы в отношении надежности описываются при помощи функций алгебры логики (ФАЛ) [204]. ФАЛ — это логические функции, принимающие только двоичные значения и определяемые различными наборами двоичных аргументов, которые могут находиться также только в двух несовместных состояниях (0У1). Для количественной оценки показателя надежности системы используются операции отображения ФАЛ через вероятности состояний элементов с применением теории вероятностей. Эти модели, как правило, используют для исследования надежности систем, находящихся только в двух дискретных состояниях. Однако эти модели могут быть применимы и для исследования систем, процесс функционирования которых, как и их составных элементов, отображается непрерывным или дискретным множеством состояний [204]. [c.159]

Используя закон де Моргана из алгебры логических высказываний [2171, преобразуем выражение (6.15) [c.172]

Здесь — знак логического умножения. В последнем случав все выражение является эвристическим правилом. [c.439]

При записи выражений в ПЛ/1 допускается использование четырех типов операций арифметических, логических, сравнения, сцепления. [c.260]

Выражение. В Фортране-ГУ допускается использование двух видов выражений арифметических и логических. Арифметическое выражение позволяет вычислить некоторое значение по формуле, а логическое — установить истинность утверждения, например проверить выполнение условия, что а = 2. [c.354]

Выражения чаще всего используются для присваивания значений переменным и элементам массивов в операторах присваивания. В соответствии с видами выражений различают арифметический и логический операторы присваивания, которые записываются в виде [c.354]

Простейшим логическим выражением, которое может быть операндом логической операции, является логическая константа, переменная логического типа, обращение к логической функции или логическое выражение, заключенное в круглые скобки. Эти выражения могут объединяться с помощью логических операций [c.357]

Наиболее распространенным видом логического выражения является отношение, которое схематически можно представить следующим образом [c.358]

При записи логических выражений можно использовать как арифметические операции в арифметических выражениях, так и операции отношения и логические. С помощью круглых скобок можно задать любой желаемый порядок выполнения операций (в рамках допустимого сочетания операндов). Если же скобки отсутствуют, то операции выполняются в следующем порядке [c.358]

Рассмотрим несколько примеров логических выражений. [c.359]

Заметим, что операция. NOT. одноместная, поэтому если она относится более чем к одному операнду, то необходимо использовать скобки. Здесь А,В,С — арифметические выражения, К — логическое выражение. [c.359]

В этом примере указаны возможные сочетания логических операций, а именно. AND..NOT. и. OR..NOT. Здесь А, В, С и Р — логические выражения. [c.359]

Логический оператор выполняется следующим образом. Если значение логического выражения истинно, то выполняется оператор Р, иначе выполняется следующий за ним оператор. [c.361]

Активизация подпрограммы-функции происходит путем указания в арифметическом или логическом выражении ее имени со списком фактических параметров. Фактические параметры являются объектами, с которыми выполняется функция. [c.373]

Выражения. В Алголе первичными составляющими частями программы являются выражения. Выражения могут состоять из переменных, констант и функций, соединенных знаками операций или другими символами класса ограничитель , и в зависимости от типа являются правилом для вычисления числового или логического значения. Выражения используются для записи вычислительных действий в алгоритме, поэтому в них вкладывается более широкий смысл, чем, нанример, в термин алгебраическое выражение . [c.55]

В свою очередь каждый из классов выражений но характеру вычисления удобно разделить на безусловные и условные. Безусловные выражения строятся с помощью знаков арифметических, логических операций, знаков операций отношения и скобок, а необходимым элементом условных выражений является условие. [c.55]

Первичные выражения могут комбинироваться в более сложные выражения при помош,и знаков логических операций, т. е, знаков Л V- =3- = [c.58]

Правила вычисления результата логического выражения удобно представить в виде таблицы истинности (табл. 3). [c.58]

Здесь А и В — первичные логические выражения. [c.58]

Условные выражения. Правила построения условных арифметических и логических выражений совершенно аналогичны. Объектами этих конструкций должны быть соответствующие первичные выражения. [c.59]

В структуре банка данных выделяются две основные части. Это базы данных и система управления базами данных (СУБД). Последняя определяется следующим образом СУБД — это набор модулей, который не привязан к конкретному набору прикладных программ или файлов способствует обращению к данным по имени, а не по их физическим адресам способствует выполнению таких операций над данными, как определение, хранение, ведение и выборка способствует выражению логических взаимосвязей между элементами данных [37]. СУБД обеспечивает все обмены информацией между подсистемами и базами данных, а также между терминалами и базами данных. Она должна обеспечивать мультизадачную работу на общих базах данных без нарушения достоверности данных, иметь средства защиты данных от несанкционированного доступа, поддерживать сложные структуры данных. [c.113]

Выражение в Алголе определяется следующей метаформулой <выражение> = <арифметическое выражение) <логическое выражение) [ <именующее выражение) [c.55]

От формальной теории вопросов (а авторы книги именно ею и занимаются) нельзя требовать того, чего она не в состоянии дать,— уточнений любого вопроса, выраженного в естественном языке. Формальная теория вопросов может имитировать логическими средствами лишь некоторые типы вопросов. Формальные имитации вопросов авторы книги называют интеррогатнвами примерами вопросов, имеющих формальные имитации, являются ли-вопросы, какой-вопро-сы, сколько-вопросы и почйлг -вопросы (вопросы последнего типа не имеют еще достаточно убедительных уточнений). Вопрос о том, какие же вопросы имеют формальные имитации, весьма не прост, и ответ на него можно дать лишь в первом приближении формальную л митацию имеют лишь те вопросы, ответы на которые могут быть точно описаны, т. е. может быть установлена их логическая структура. Так вопрос В чем смысл жизни - не имеет формальной имитации, а вопрос -Может ли машина мы лить у> имеет, ибо если мы принимаем в качестве средства логической имитации вопроса двузначную логику, то ответами будут Машина может мыслить- или Машина не может мыслить- . Если же логическим средством имитации будет трехзначная логика, то возможны три ответа Машина может мыслить , Машина не может мыслить , Неясно, может ли машина мыслить . [c.6]

Мы уже подчеркивали то обстоятельство, что конкретный вид нашей эротетической логики зависит от вида базисной ассерторической логики. Если бы мы в качестве базиса взяли ассерторическую логику, имеющую в своем распоряжении средства для выражения модальностей, таких, как логическая необходимость, возможность и др., играющих в ней роль связок или метаязыковых предикатов, то имела бы смысл интерпретация требования различения для л -вопросов как утверждения, гласящего, что никакие альтернативы в выборе не являются необходимо вквивал битными. [c.69]

Строится предварительный вариант логического исчисления для вопросов. Пусть J есть множество выражений, замкнутых относительно логических связок и кванторов. Множество J UP1LIP2 называется интеррогативным расширением J. Pi есть множество основных вопросов это минимальное множество, такое, что 1) если Р принадлежит J, то / принадлежит Рь 2) если X, Y принадлежат Pi, то X / У и X К также принадлежат Pi ( / и читаются соответственно как или и и ). Ра — наименьшее множество, такое, что 1) если R(Xi.. . xj принадлежит J, то .. . и т. д. могут быть как угодно переставлены), и 2) то же самое, что и в пункте 2) определения множества Pi. Ра называется множеством дополнительных вопросов (sup- [c.169]

Математические модели-ХТС подразделяют на символические и иконографические модели. Симво л и чес ки е м а те м а тич е-ские модели ХТС представляют собой совокупность математических соотношений в виде формул, уравнений, операторов, логических условий или неравенств, которые определяют характеристики состояния ХТС (физические параметры со стояния технологических потоков на выходе сцстемы) в зависимости от параметров элементов системы и от параметров входных технологических потоков системы. Приведенное ранее выражение функционального оператора (II, 6) является общей формой записи символической математической модели ХТС в целом. [c.43]

Математические модели надежности ХТС являются результатом создания формально-математического описания процесса функционирования ХТС с определенной степенью приближения к реальности. Математические модели надежности ХТС подразделяются на два больших класса [1] символические ито-лологические. Символические модели надежности ХТС [1, 2] представляют собой совокупность алгебраических, интеграль-Бых или дифференциальных уравнений либо логических выражений, которые позволяют определять вероятность нахождения [c.149]

Для анализа надежности данной ХТС можно использовать также ДО. Существует пять различных возможностей для данной ХТС, приводящих всю систему к отказу отказ вентилятора (Л), отказ охлаждения насосов В и С), отказ водяного насоса (D), отказ циркуляционных насосов Е и F) или отказ фильтра (G). Эти пять событий изображают на ДО как входы в оператор ИЛИ . Так как отказ системы насосов охлаждения или системы насосов циркуляции возникает тогда, когда откажет хотя бы один из насосов, верщи-ны ДО, отображающие эти отказы, соединены в ДО оператором И . На рис. 6.16 показано дерево отказов для этой системы, которому соответствует логическое выражение, описывающее состояние отказа (6.16). [c.172]

После составления логической функции работоспособности системы в виде ДНФ или КНФ необходимо перейти к вероятностной функции, при помощи которой определяются показатели надежности. Непосредственно перейти от ДНФ и КНФ к вероятностной функции, как правило, нельзя, так как одна и та же переменная может входить в состав нескольких конъюнкций. Поэтому полученное выражение ФАЛ необходимо преобразовать к бесповторной форме функции алгебры логики (БФАЛ), когда все буквы, входящие в выражение, имеют разные номера. Имеется несколько алгоритмов преобразования ФАЛ в БФАЛ [72, 204]. После перехода к БФАЛ получают вероятностную функцию, используя которую и вычисляют показатели надежности. [c.183]

Например, пусть значения переменных А, В и С равны А = = 101010 В, В = 01111ГВ, С = 1 В. Запишем выражения с логическими операциями и вычислим результат [c.265]

Логическое выражение чаще всего используется как средство для организации разветвлений в программе в зависимости от некоторого условия. Оно может принимать только два значения TRUE. — означающее, например, что некоторое условие истинно . FALSE. — означающее, что условие не выполнено. [c.357]

Примером ситуации, когда необходимо использовать логическое выражение, может быть такая если критерий окончания вычислений по итерационной формуле больше заданной величины, то нужно перейти на повторное выполнение заданной последовательности действий. Очевидно, результатом этого выражения будет. TRUE, или. FALSE, в зависимости от величины критерия. [c.357]

Результатом отношения является одно из логических значет ний, а длина всегда равна четырем байтам. Если условие, заданное операцией отношения, выполняется, то результатом будет истинное значение, а иначе — ложное. Если отношение является правой частью оператора присваивания, то длина его значения будет приводиться в соответствие с длиной переменной слева. Например, если переменная А описана как LOGI AL А, то при выполнении оператора А = В.GE.С будет вычислено значение выражения B.GE. и после преобразования длины присвоено переменной А. [c.358]

Логические выражения. В основу построения логических выражений положена алгебра Буля [61, поэтому часто логический заменяется термином булевский . Например, говорят булевская переменная вместо логическая переменная и т. д. [c.57]

По определению первичными логическими выражениями могут быть логическое значение true или false, логическая переменная, т. е. переменная, принимающая значение типа boolean, функция [c.57]

Справочник химика 21

Химия и химическая технология