Cтраница 4
Доказывая теоремы о произвольных булевых алгебрах, следует пользоваться только тождествами LI - L10 и их следствиями. Лишь при этом условии мы можем быть уверены в применимости наших результатов ко всем булевым алгебрам, независимо от того, состоят ли они из множеств, логических высказываний или математических объектов, описывающих электронные схемы, вроде вентильных схем из § 5.4. Такой аксиоматический подход является стандартным в современной алгебре; мы полностью придерживаемся его в этой главе. [46]
Отдельные элементы и схемы, входящие в состав ЭЦВМ, представляют собой устройства, реализующие различные логические функции. В этих устройствах как простые, так и сложные высказывания на входах и выходах схемы изображаются электрическими сигналами. Такое соответствие между логическими высказываниями в алгебре логики и работой переключающих схем в ЭЦВМ позволяет с помощью алгебры логики решать задачи в области проектирования ЭЦВМ. [47]
Другое решение обеспечивает логическое программирование, созданное, преимущественно, европейскими учеными, в том числе, Колмероэ и Ковальским. Оно решило многие проблемы, касающиеся строения логических высказываний, при помощи которых компьютер может выполнять процедуры вывода заключений и суждений. Логическое программирование также раскрывает природу и механизмы логических процедур, выполняемых компьютером. [48]
Отдельные высказывания обозначают заглавными буквами - латинского алфавита А, В, С... Если С 0, то высказывание С - ложно. Такое условие алгебры логики приводит к соответствию между логическими высказываниями в математической логике и двоичными цифрами в двоичной системе счисления, что позволяет производить описание работы схем и блоков машины и осуществлять их анализ и синтез с помощью алгебры логики ЦВМ. [49]
Пусть имеется правильная модель и план программы. Это дает нам возможность провести ее программирование для вычислений на ЭВМ. Под программированием понимаются все операции, необходимые для того, чтобы перевести все математические формулировки и логические высказывания на язык машины. [50]
Применение первого метода опирается на дескрипторные характеристики геологической среды. К ним относятся те характеристики, для которых связь с исследуемым свойством геологической среды известна. Например, при прогнозе нефтегазовых месторождений такими характеристиками являются геометрические особенности строения перспективных структурных комплексов, которые используются в моделях оценки запасов углеводородов, а при прогнозе сейсмической опасности - физико-механические характеристики земной коры. Дескрипторные характеристики позволяют эксперту формулировать логические высказывания о связи прогнозируемого свойства с характеристиками геологической среды. [51]
Особенно замечательно то, что Уошо способна выполнить синонимические преобразования комбинаций жестов-знаков в том именно духе, который характерен для правого полушария человека, где хранится толковый словарь языка. Супруги Гарднеры, объясняясь с Уошо жестами, называли холодильник комбинацией жестов-иероглифов холодный ящик. Логическое название, построенное по типу логического высказывания быть холодным ( о ящике) Р ( а), обезьяна заменяет соединением обозначения нужного ей действия с обозначением нужных предметов. [52]