Social bookmarks
   
 

А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


АЛГЕБРА БУЛЯ


АЛГЕБРА БУЛЯ - - исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые фундаментальные законы мышления. Буль представляет логику как алгебру классов (будем обозначать их символами А, В, С,...). Основными операциями в А. Б. являются: сложение классов AA.B; умножение классов ААВ; дополнение класса А&. Свойства этих операций описываются следующими аксиомами: la. Al(B(C)=(ACB) BC - ассоциативность сложения; 16. A1(B(C)= (ACВ) ВC - ассоциативность умножения; 2a.A2B= BBA - коммуникативность сложения; 2б.А2В =ВВА - коммуникативность умножения; 3a.A3(В(С)= =(AСB) B(A(C) - дистрибутивность сложения относительно умножения; 36.A3(B(C)==(ACB) B(A(C) - дистрибутивность умножения относительно сложения. В А. Б. существуют два элемента 0 и 1, операции с которыми подчиняются следующим соотношениям: AA0=A; AA1=A; AAA&=1; AAA&=0. Характерная особенность А.Б. заключается в том, что в ней отсутствуют коэффициенты и показатели степеней. Сумма двух А равна А: А А=А, а не 2А, как в обычной алгебре. Точно так же и произведение двух A равно A: ААА=А, а не A2. Важным законом А. Б. является принцип двойственности, согласно которому если в некотором справедливом равенстве мы заменим все вхождения й на и на , 1 на 0 и 0 на 1, то получим равенство, двойственное первому и также справедливое. Примерами двойственных равенств являются приведенные выше аксиомы. А.Б. широко применяется при проектировании и проверке электрических схем, в которых используются реле, работающие по принципу "да - нет", при программировании и проектировании ЭВМ, в операциях с переключателями, сигналами, схемами. В современной математической логике этот раздел значительно усовершенствован и разрабатывается как теория булевых алгебр, в том числе как алгебра множеств, алгебра высказываний и т. п. В области традиционной логики соотношения А. Б. часто используются для иллюстрации и прояснения отношений между объемами понятий.


Другие термины:

Архитектурный словарь
Бизнес словарь
Биографический словарь
Большой энциклопедический словарь
Исторический словарь
Медицинский словарь
Морской словарь
Политический словарь
Психологическая энциклопедия
Психологический словарь
Религиозный словарь
Сексологический словарь
Социологический словарь
Строительный словарь
Философский словарь
Финансовый словарь
Экономический словарь
Этнографический словарь
Юридический словарь

Словарь воровского жаргона
Словарь Даля
Словарь Ефремовой
Словарь имён
Словарь компьютерного жаргона
Словарь логики
Словарь мер и весов
Словарь нумизмата
Словарь Ожегова
Словарь русских фамилий
Словарь символов
Словарь синонимов

del.icio.us digg Furl YahooMyWeb blinkbits BlinkList blogmarks co.mments connoteas De.lirio.us Fark feedmelinks LinkaGoGo Ma.gnolia NewsVine Netvouz RawSugar Reddit scuttle Shadows Simpy Smarking Spurl TailRank Wists segnalo https://farmaua.com купить легальные стероиды и анаболики. . Играть онлайн автоматы бесплатно ігрові автомати онлайн 24openbet.com.