При выяснении того, является ли некоторая процедура алгоритмической или квазиалгоритмической, необходимо учитывать, какая активная система Q (субъект) ее осуществляет. Вполне возможен случай, когда некоторая операция эффективна (квазиэффективна), если выполняется системой Q, и не обладает этим свойством, если выполняется системой R. Пусть всякой операции ао, предписываемой алгоритмом Ао соответствует в квазиалгоритме А операция а, такая, что а) операторы и операнды операций а и ао соответственно совпадают; б) операция ао является эталонной для операции а. В этом случае алгоритм Ао является эталонным алгоритмом для квазиалгоритма А. Для установления того факта, являются ли действия, выполняемые активной системой R (обучаемым) процедурой реализации квазиалгоритма А, считается достаточным совпадение последовательности выполняемых R операций (операторов и операндов) с последовательностью соответствующих операций в эталонном алгоритме Ао и соответствие результатов каждой из выполненных операций результатам соответствующей эффективной операции ао.

На основе введенных выше понятий воздействия, операции, операнда, процедуры и алгоритма рассмотрим деятельность субъекта (обучаемого, обучающего) по отображению сформулированной в его сознании модели УЭ.

Пусть целью субъекта R (обучаемого) является отображение имеемого в его сознании знания о некотором объекте А. В соответствии с современными концепциями теории информации (см. раздел 1.2.2) знания об объекте А в сознании субъекта R сформированы в виде идеального прообраза данного объекта, являющегося субъективной моделью Е объекта А для субъекта R. Данная модель Е может быть представлена субъектом R (обучаемым) наблюдателю Q (обучающему) только в виде знаковой модели Е1 в любой из однородных или комплексных форм представления семантической информации. В какой бы из этих форм ни была бы представлена эта модель Е1, используемые для ее отображения знаки (звуки речи, слова текста, элементы схем и чертежей, жесты и т.д.) выражают определенные понятия. При рассмотрении модели Е1 как определенной системы, логико-смысловая структура которой изоморфна структуре объекта А, часть используемых обучаемым R понятий выступает в роли элементов этой системы, а часть - в роли отношений (связей), образующих из этих элементов логико-смысловую структуру модели Е1. "Всякое знание есть идеальная модель, состоящая не менее чем из двух компонентов, каждый из которых также представляет собой идеальную модель. Простейшей формой знания является, как известно, суждение. Понятия, играющие роль субъекта и предиката суждения, выступают в качестве компонентов-моделей, упомянутых в приведенном определении" [6, С.18]. Под предикатом здесь и далее понимается функция y = f(x1,...,xn), аргументы (x1,...,xn) которой принадлежат данному множеству Х, а значение (y) может являться либо истиной, либо ложью. Иными словами, предикат представляет собой переменное (зависящее от параметров x1,...,xn) высказывание. Оно описывает некоторое свойство, которым может обладать или не обладать набор элементов (x1,...,xn) множества Х. В суждении данное свойство обозначается как субъект суждения. В общем виде формулировка предиката предполагает установление между элементами (x1,...,xn) отношений, в основе которых лежат интегративные свойство или признаки этих элементов. При этом истинность этих свойств и признаков в данном суждении рассматривается как данная. Число устанавливаемых отношений определяется числом аргументов предиката: при n = 0 предикат совпадает с высказыванием; при n = 1 предикат представляет собой свойство в узком смысле (одноместный предикат); при n = 2 - свойство пары (двухместный предикат или бинарное отношение); при n = 3 - свойство тройки (трехместный предикат или тернарное отношение) и т.д. Истинность высказанного обучаемым R суждения (знаковой модели Е1 объекта А) определяется: