Аппарат - математическая логика
Cтраница 2
Рассмотренные зависимости позволяют осуществить синтез подобных систем на основе аппарата математической логики. [16]
Анализ и применение этих элементов и узлов основаны на использовании аппарата математической логики - раздела математики о решении логических задач. [17]
Все сказанное сейчас показывает, что в теории баз данных используется аппарат математической логики и связанные с ним алгебраические структуры. Изучение этих структур составляет содержание алгебраической логики. [18]
Применение в электронных вычислительных машинах двоичной системы счисления дает возможность использовать аппарат математической логики, в частности исчисление высказываний, при анализе и построении функциональных схем машин. [19]
В настоящее время известны работы [4, 7], в которых на базе аппарата математической логики разработаны классы формул и способы составления уравнений определенных групп сложных фигур. В основу этих методов положено использование дискретных функций дискретных аргументов. [20]
Теория вероятностей описывает надежность работы схем, структура которых представляется с помощью аппарата математической логики. [21]
Ковальский в своей книге Kowalski ( 1980) показывает, как можно использовать аппарат математической логики для реализации этих принципов. [22]
Существо данных методов состоит в описании схемы САУ для расчета надежности с помощью аппарата математической логики с последующим использованием теории вероятностей при определении показателей надежности. При этом через переменную х обозначают событие, заключающееся в том, что элемент работоспособен, а через отрицание этой переменной - неработоспособность элемента. [23]
Первые существенные шаги в развитии теории релейных устройств были получены в результате применения аппарата математической логики. [24]
Что касается задачи группировки геологических образований, то в настоящее время при их решении аппарат математической логики удалось использовать только в качестве языка для формального описания и постановки этих задач. [25]
Для описания законов управления комбинированных систем используют математический аппарат дифференциальных и конечно-разностных уравнений, а также аппарат математической логики и теории конечных автоматов. [26]
В § 1 подробно говорилось о формализации высказываний, выражаемых в виде предложений, для чего могут быть использованы аппарат математической логики и его простейшие логические функции: конъюнкция, дизъюнкция и инверсия. [27]
При точной формулировке условий работы устройств, при анализе и синтезе устройств и входящих в них переключающих схем телемеханика использует аппарат математической логики. [28]
 |
Структурная схема системы, реализующей принципы ситуационного управления. [29] |
Формализация и алгоритмизация процесса поиска и принятия решения оператором в простых случаях 1 и 2 может быть проведена методами и аппаратом математической логики. [30]
Страницы: 1 2 3 4