Cтраница 1
Элементарные выражения, к которым сводится CpCCpqq, таковы: CNpCNqCpr - и CqCNqCpr. [1]
Эти элементарные выражения соответствуют тому обстоятельству, что при п 0 асимптотические выражения, как мы уже ваметили, обрываются на первом члене. [2]
Обращаясь теперь сложным элементарным выражениям, последовательно исследуем - все возможные случаи, опуская, где это возможно, формальные доказательства и ограничиваясь лишь наметками того, как их можно провести. Необходимо исследовать шесть случаев. [3]
Если все элементарные выражения графика схемы записаны с полными наборами входящих в них левых знаков перехода, то мы будем говорить, что в графике все знаки перехода присутствуют явно. При сокращенной записи графика схемы ( в соответствии с соглашением (5.7)) говорят, что некоторые левые, а может быть и правые, знаки перехода присутствуют неявно. [4]
Всякая строка элементарных выражений, быть может, содержащая оператор И0, но только на первом месте, называется выражением. Если эта строка задана на абстрактном уровне, то, как и логическая схема, она должна быть снабжена расшифровкой. В частности, выражениями на ЯЛС являются элементарные выражения и всякий алгоритм, заданный на зтсм языке. [5]
Всякая строка элементарных выражений, быть может, содержащая оператор, но только на первом месте, называется выражением. Если эта строка задана на абстрактном уровне, то, как и логическая схема, она должна быть снабжена расшифровкой. В частности, выражениями на ЯЛС являются элементарные выражения и всякий алгоритм, заданный на этом языке. [6]
Пусть w - элементарное выражение, входящее в выражение TW формулы (4.17), не являющееся правым знаком перехода. [7]
Пусть w - элементарное выражение, входящее в выражение. TW равносильности (5.10), не являющееся правым знаком перехода. [8]
Пусть w - элементарное выражение, входящее в выражение TW равносильности (5.10), не являющееся правым знаком перехода. [9]
Пусть w - элементарное выражение, входящее в выражение TW формулы (4.17), не являющееся правым знаком перехода. [10]
В базе правил хранятся элементарные выражения, называемые в теории искусственного интеллекта продукциями. Здесь содержатся закономерности, представляющие, как правило, причинно-следственные связи той предметной области, для которой предполагается использовать СИИ. [11]
Частными случаями совершенного выражения являются элементарные выражения и замыкания операторов. [12]
Теперь я покажу, что каждое элементарное выражение силлогистики разрешимо, то есть или принимается, или отбрасывается. Сначала я докажу, что все простые выражения, за исключением выражений типа Ааа и 1аа, отбрасываются. Мы уже видели ( параграф 27, формула 61), что lac отбрасывается. [13]
Все известные положения силлогистики являются либо элементарными выражениями, либо выражениями, которые легко могут быть преобразованы в элементарные. Законы обращения, то есть Clablba или САаЫЬа, - это элементарные выражения. Все силлогизмы имеют форму С / Софт, а выражения этого вида дедуктивно эквивалентны элементарным выражениям формы СосОД относительно законов экспортации и импортации. Однако имеются другие осмысленные выражения силлогистики - некоторые из них истинные, не которые ложные, - которые не являются элементарными. [14]
Это положение должно быть сначала сведено к элементарным выражениям. [15]