Cтраница 1
Построенные выражения производных и интегралов необходимы при преобразованиях определяющих соотношений типа (9.11) от Л к Э и обратных. [1]
Построенное выражение будет вставлено в то поле, где расположен курсор. [2]
Нетрудно показать, что построенные выражения (1.1) дают общее решение системы уравнений равновесия. [3]
В табл. 1.2 приведены примеры правильно и неправильно построенных выражений. [4]
Как известно, классическая логика типа логики предикатов первого порядка есть формальная система, состоящая из множества термов и операций, множества правил конструирования правильно построенных выражений ( синтаксиса), системы аксиом и множества правил вывода. Она дает различные средства формализации и анализа правильности дедуктивных рассуждений. Язык классической логики является основой для выражения декларативных знаний, где рассуждение определяется как операция доказательства общезначимости ( противоречивости) логического утверждения. [5]
Если / г4, то замена для Et есть ( xi x2 / i) ( x3 4 - yi) - Читателю предоставляется проверить, что для всех наборов значений истинности, которые приводят к выполнению EI, и только для них, существуют наборы значений истинности для всех переменных, включая все yt, которые делают истинным построенное выражение. [6]
Таким образом, в ЭБД конкретные факты находятся в экстенсиональной форме посредством соответствующих кортежей ( n - ок) отношений. ИБД служит для хранения общих законов ( постулатов), представленных в виде правильно построенных выражений логики предикатов первого порядка. Введение интенсиональной части БД очень важно с точки зрения дедуктивного вывода и позволяет перейти к рассмотрению дедуктивных БД, являющихся составной частью дедуктивных систем принятия решений. Отсюда понятно различие между обычными БД и дедуктивными: в дедуктивных БД для вывода новых фактов из общих законов используются методы автоматического доказательства теорем, в то время как в обычных БД пользователь должен писать более сложные предложения для запроса, в том числе необходимые ему общие законы. Кроме того, дедуктивные механизмы вывода должны являться, на наш взгляд, интегральной частью любой технологии БД и, как следствие, любой интеллектуальной системы. [7]
В алгебраическом методе абстрагирования описание выполняется с помощью понятий, ограниченных функциями и равенствами. В противоположность этому в аксиоматическом методе описание выполняется с помощью предикатов и логических связок и выражается в виде правильно построенных выражений. С точки зрения синтаксиса алгебраический метод задания абстрактных типов данных является более однородным и простым. [8]
В дальнейшем задачи определения конфигурации синтезируемой схемы и ее компонент решаются параллельно. Для этого строится общая унисторная схема с учетом выбранного емкостного скелета, далее все частные проводимости выражаются в направленных структурных числах, и затем, взяв детерминантные функции от построенных выражений в структурных числах и приравняв их численным значениям соответствующих частных проводимостеи, получим систему уравнений относительно унисторных проводимостеи. Количество таких уравнений равно ( Ч I) 1 ]) гДе Ч - число емкостей в схеме. Количество определяемых унисторных проводимостеи равно 2С п, где п - число узлов в унисторной схеме без учета базисного. [9]
Произвольная последовательность символов, принадлежащих алфавиту языка, называется выражением. Некоторые правильно построенные выражения рассматриваются синтаксисом как высказывания. В следующем определении 1.2.1 вводится понятие высказывания и, тем самым, описываются законы синтаксиса языка логики высказываний. [10]
Можно построить такую логическую теорию, что в ней на основе формальных правил окажутся возможны выводы типа: треугольность бьет рекорды, если дует ветер, то победа. Важно понимать, что с точки зрения формальной логической записи такие выражения вполне могут оказаться истинными, но осмысленностью-то они не обладают. Таким образом, два выражения считаются относящимися к одной и той же семантической категории рассматриваемого языка, если замена одного из них другим в произвольном осмысленном предложении не превращает предложение в бессмысленное. Каждое правильно построенное выражение языка принадлежит одной и только одной из семантических категорий. [11]
Существует соглашение, позволяющее упростить запись и точечных конструкций - таких, при построении которых хотя бы один раз вторым аргументом операции CONS оказывается не список. Оно основывается на следующих соображениях. Для возврата от точечной записи к списочной, когда такой возврат возможен, действует следующее правило. Если точка стоит перед открывающей скобкой, то ее можно заменить пробелом, выбросив одновременно эту открывающую и парную ей закрывающую скобку. Упомянутое соглашение состоит в том, что это же правило разрешается применять к любому правильно построенному выражению в точечной записи, если даже оно не сводится в конечном счете к списку. [12]