Логическая система
Cтраница 1
Логическая система, предназначенная для передачи данных между двумя смежными ЭВМ и состоящая из двух связанных физическим каналом логических модулей, каждый из которых включает программы управления информационным и физическим каналами. [1]
Логическая система, ч которой ь рп пятым ровням сигналов присваиваются обратные н: чония ( пыс. Рллевы переменные и функции проявляют с оя как дополнения. [2]
Логическая система ( logic system) - система представления знаний, в основе которой лежат логические средства - логики высказываний и предикатов первого порядка. Локальная вычислительная сеть ( local area network) - сеть, в которой компьютеры расположены на расстоянии до нескольких километров и обычно соединены при помощи скоростных линий связи. [3]
Логическая система содержит следующие основные узлы: оперативную память, построенную на триггерах, схему задания программы на счетчиках, схему селекции, выполненную на элементах И; схему запрещения спуска до момента окончания всех движений, схему запрещения всех движений до момента окончания подъема груза, выполненных на элементах типа И и ИЛИ. [4]
 |
Специализированные устройства для ввода ( зона Брокй и вывода ( зона Вернике устной речи в левом полушарии. [5] |
Логические системы позволяют на основании определенных правил установить, является ли полученное ( из истинного или ложного) высказывание истинным или ложным. Не приходится сомневаться в том, что такие правила ( как и само категориальное разграничение истины и лжи) могут быть соотнесены именно с левым полушарием. [6]
Логическая система, в которой все булевы переменные и булевы функции проявляют себя как дополнения. [7]
Логическая система, в которой все булевы переменные и булевы функции ведут себя в соответствии с их описанием. [8]
Логическая система вывода может вывести тип выражения формально, но не автоматически. [9]
Струйная логическая система собрана из турбулентных усилителей. [10]
Логическая система стандартов на ультразвуковой контроль должна содержать ряд основополагающих стандартов, на которых: основывается ряд стандартов на контроль специальных объектов. [11]
Логические системы обработки информации выполняют двумя способами. [12]
Логической системой, к которой приурочивается эта теория, является прикладное ( точнее, шрикладноид-ное: с постоянными высказываниями, построенными из произвольных постоянных предикатов) исчисление высказываний; число постоянных предикатов, так же как и число индивидов в универсуме, конечно. Таким образом, это весьма бедный формализованный логический язык, заведомо не пригодный, например, для формализации арифметики. Основными понятиями теории являются понятия описания состояния и элемента содержания. Описание состояния - это одно из логически возможных состояний универсума, состоящего из заданною конечного числа предметов: совокупность описаний состояния характеризует все логически возможные состояния данного мира. Карнапа - Бар-Хиллела было произведено Я. Тондл, 1962); каждое предложение рассматриваемого языка приводится к некоторой дизъюнкции описаний состояния. [13]
Простейшей логической системой, в которой находят отр жение некоторые аспекты математического мышления, явл ется исчисление высказываний. В этом исчислении сложнь утверждения строятся из некоторых основных высказывай. Довольно легко убедиться в том, чя если исчисление высказываний определено достаточно акк ратно, то оно разрешимо. [14]
Наиболее фундаментальной логической системой, на которой воздвигаются все другие логические системы, является теория дедукции. Так как каждый логик обязан знать эту теорию, то я кратко здесь ее изложу. [15]
Страницы: 1 2 3 4