Логическая система

Cтраница 2

Предлагаемые логические системы не формализуют множество немонотонных правил, присущих данной области применения. Системы Мак-Дермотта и Доила являются универсальными аксиоматическими системами. [16]

Как логическая система термодинамика изумительна по экономии ее средств. [17]

Как логическая система термодинамика-изумительна по экономии ее средств. Ее понятия и принципы не содержат ничего лишнего, пределы ее применения четко формулированы, и в этих пределах она является совершенной. [18]

Подпрограммы логической системы включаются в состав проблемной программы, осуществляя опознавание, распределение и подготовку к обработке логических структур данных. [19]

Рассмотрение логической системы связей постановки дидактических проблем включает в себя вопрос о логическом упорядочении дидактических фактов и связей в системе дидактических понятий и категорий. Какие же точки зрения определяют логику организации особой структуры дидактических понятий и категорий. [20]

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

В потенциальных логических системах состоянию нуль отве -; чает один уровень потенциала ( нередко близкий к потенциалу земли), а состоянию единицы - другой уровень потенциала, i положительный или отрицательный в зависимости от того, какой; из них более удобен для управления электрическим режимом i работы приборов, применяемых в логических элементах. [22]

В импульсных логических системах состояниям единица и; нуль отвечает наличие или отсутствие импульса. [23]

В различных логических системах используются разнообразные правила вывода. [24]

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

В стандартных логических системах, если из посылок выведено некоторое заключение, а затем к посылкам добавлена новая информация, то исходное заключение не меняется. [26]

В логических системах распознавания классы и признаки объектов рассматриваются как логические переменные. [27]

Это напоминает обычные логические системы естественного жывода, но по причинам, выходящим за рамки данной статьи, может оказаться некорректным считать контексты эквивалентами множеств предположений и даже бесконечных множеств предположений. [28]

Семантическая характеризация логической системы состоит в приписывании семантических значений выражениям языка посредством интерпретации. [29]

Электромеханическое реле. контактная группа, 2 - толкатель, 3 - якорь, 4 - катушка. [30]

Страницы: 1 2 3 4