Cтраница 1
![]() |
Классификация методов исследования ДМ. [1] |
Аппарат математической логики ( дву - и многозначной), главной задачей которой является структурное моделирование объектов, используется довольно часто. Он позволяет осуществлять также анализ специальных ДМ, характеризуемых конечным числом состояний. [2]
Аппарат математической логики находит применение также в вычислительной математике и в технике в связи с конструкцией сложных автоматических устройств. [3]
Аппарат математической логики, в частности алгебра логики, находит широкое применение в теории электронных цифровых машин. [4]
Аппарат математической логики в применении к теории электронных цифровых машин позволяет решать следующие основные задачи. [5]
Аппарат математической логики широко используется в теории электронных вычислительных машин и по существу является основой конструирования этих машин. Математическая логика дает возможность решать две основные технические задачи: анализ и синтез электронных схем. Работа каждой элементарной электронной схемы или прибора может быть описана логической функцией, и наоборот, известно, какой электронной схемой реализуется та или иная элементарная логическая операция. [6]
Причем логические функции соответствуют аппарату математической логики и могут быть использованы для их синтеза. [7]
![]() |
Схема для определения угла поворота риски кулачка по отношению к шпоночному пазу. [8] |
В настоящее время на основе аппарата математической логики достаточно полно разработаны вопросы проектирования систем управления путевой контроль применительно к пневматическим приводам. [9]
Разработка формализованного описания Z4 предусматривает предварительное изучение аппарата математической логики и современных языков представления знаний. Модель знаний разрабатывается на основании результатов глубокого анализа инструментальных средств разработки ЭС и имеющихся оболочек. Кроме того, инженеру по знаниям необходимо владеть методологией разработки ЭС, включая методы быстрого прототипирования. [10]
Анализ и применение этих элементов и узлов используют аппарат математической логики - раздела математики о решении логических задач. [11]
Теоретическом основой анализа и синтеза цифровых УВМ является аппарат математической логики. [12]
![]() |
Процессы в магнитно-тиристорном регуляторе напряжения. так как а 2а2. В случае Ti0 имеем. [13] |
Покажем, что формулы, выведенные с помощью аппарата математической логики, действительно справедливы. [14]
Все поддающиеся при этом формализации процедуры реализуются на аппарате математической логики. [15]