Аппарат - математическая логика
Cтраница 3
 |
Обозначения логических элементов. [31] |
Их поведение сДА - НЕТ подчиняет их законам математической логики и поэтому для проектирования схем цифровых вычислительных машин может быть использован аппарат математической логики. [32]
Поскольку каждый разряд числа двоичной системы счисления может иметь или нуль, или единицу, при построении функциональных схем машины можно применить аппарат математической логики. [33]
Еще в конце 1970 - х годов стала отчетливо просматриваться тенденция к использованию в исследованиях в области искусственного интеллекта формальных методов, т.е. основанных на аппарате математической логики. Эти методы противопоставлялись более интуитивным и менее формализованным эвристическим методам, скажем, таким, которые были использованы в системе MYCIN. Для того чтобы стало ясно, что все это значит, нужно познакомить вас с логическими языками, а затем показать, как соотносятся их свойства с теми методами рассуждений, которые должны поддерживать типовые экспертные системы. [34]
Синтез цифровых схем основан на алгебре логики. Аппарат математической логики достаточно освещен в книгах и учебниках по электронным цифровым вычислительным машинам и устройствам, поэтому в данной книге не рассматривается. [35]
В отличие от дедуктивного вывода существуют задачи, в которых некоторый общий вывод необходимо построить на основе совокупности частных утверждений. При этом используют аппарат математической логики, теории вероятностей и математической статистики. [36]
Характерная черта века - необходимость, как никогда, умения человека самостоятельно работать с книгой. Здесь предпринята попытка, с применением аппарата математической логики, в доступной для читателя форме показать возможность разработки алгоритмов для решения широких классов логических задач. Мы считаем, что логическое мышление - не чистый дар природы или побочный продукт усвоения знаний, а результат и специально направленного обучения. Опыт показывает, что отстоять этот тезис не просто. Кто-то правильно заметил: изменить расстояние между рядами кукурузы не легче, чем ширину колеи железных дорог. [37]
Приведенное ниже изложение основ теории вычислительной сложности носит интуитивный описательный характер. Формальные уточнения и аргументация требуют привлечения аппарата математической логики. [38]
Таким образом, реле здесь выступает в качестве логического элемента. Для описания процессов функционирования контактных схем используется аппарат математической логики. [39]
Элементы, служащие для практической реализации логических функций, носят название логических элементов. Для аналитического описания устройств дискретного действия используется аппарат математической логики. [40]
Согласно новым учебным планам специальности 0650 предусматривается изучение теорий информации, надежности, математической логики и некоторых других дисциплин, с учетом которых должна проводиться дальнейшая работа по совершенствованию содержания курса. В частности, должно быть усилено использование аппарата математической логики, которая начинает более широко применяться и в технике релейной защиты. [41]
Характерной особенностью рассматриваемых автоматических линий с гибкими транспортными связями является отсутствие в них однородных блокировок; поэтому электрические схемы соединений технологических агрегатов, бункеров и транспортеров отличаются друг от друга. Для определения необходимых блокировок также может быть использован аппарат математической логики, с помощью которого формализуются высказывания, которыми задаются режимы работы автоматических линий или их участков. [42]
 |
Принципиальная схема модели четырехэлементного маг-нитно-тиристорного регулятора напряжения. [43] |
На рис. 4 - 4 о, б, даны структурные схемы моделей генератора импульсов и блока ограничения тока узла управления тиристорным регулятором. Функции, реализуемые этими моделями, разрывны и описываются с помощью аппарата математической логики. [44]
Поистине прав Гете: Звуки отмирают, но гармония остается. Задачи § 1 второй части еще не требуют изложенного в первой части аппарата математической логики. [45]
Страницы: 1 2 3 4