Cтраница 1
Буля ( 1847, 1854) как аппарат символич. Сх истолковывается как отрицание высказывания х, а операции л и v - как конъюнкция и дизъюнкция. [1]
Буля математическая логика не имела того важнейшего прикладного значения, которое ей придается сейчас. С изобретением в 1918 г. Бонч-Бруевичем принципа триггерного кольца или просто триггера появилась возможность реализовать уравнения Буля, а следовательно, и часть логики Аристотеля в электрических и электронных устройствах. [2]
Буля [1], [2] как аппарат символич. Алгебра логики); при этом дополнение Сх истолковывается как отрицание высказывания х, а операции Л и v - как конъюнкция и дизъюнкция. [3]
Буля, Фреге, Пеано, Порецкого, Шредера, Пирса, Рассела, Геделя, Гильберта, Тарского и др. Так, напр. [4]
Буля) - в случае классич. [5]
Буля ( 1815 - 1864), англ, математика и логика, одного из основоположников математической логики. [6]
Задля цього були створен. [7]
Если Буля считают непризнанным гением, то это, конечно, преувеличение. Не следует считать слишком большой заслугой разработку изолированных формализмов, которые лишь впоследствии оказались полезными; коль скоро они не были наполнены содержанием, современники были вправе пренебречь ими. Логистики часто считают Фреге непризнанным гением, но это тоже преувеличение; Фреге жил в закоулке математики. [8]
Bci акарициди були високотоксичними для iMaro червоного плодового, звичайного павутинного i глодового юйщдв. Mipi впливали на Bci стадп червоного плодового i звичайного павутинного юпшдв. Омайт, 57 % к.е. знищував частково личинок червоного плодового i звичайного павутинного юншдв i виявив овщидний ефект. При цьому личинки та шмфи, що збереглися за час теля обприскування, досягали доросло. Омайт, 30 % з.п. впливав згубно на eci рухом. [9]
Каждую булю и полубулю отдельно завертывают в бумагу. Свободное пространство в ящиках заполняют ватой или лигнином. [10]
Каждую булю и полубулю отдельно завертывают в бумагу. Свободное пространство в ящиках заполняют ватой или лигнином. [11]
В булях и полубулях цветного корунда всех сортов допускаются трещины, если були и полубули соответствуют утвержденному образцу. Трещины в кусках, а также непроплавленности в корундах I и II сортов не допускаются. Не-проплавленность корунда III сорта не должна превышать 50 % от общей массы були. [12]
Серед присутнгх були ( лжар), ( аптекар) та шш. [13]
Логические исследования самого Буля привели к понятию, которое мы теперь называем булевой алгеброй. Фундаментальная теорема Стоуна о представлениях булевых алгебр дает возможность широких приложений теории булевых алгебр к метаматематике. Метод рассмотрения множества формул или множества классов эквивалентности формул как универсальных алгебр, предложенный Липденбаумом и Тарским, оказался важным орудием исследований. Он устанавливает связь между метаматематикой теорий, основанных на классической логике, и теорией булевых алгебр. Работы Стоуна и Тарского о взаимоотношении между интуиционистской логикой и импликативньши решетками, а также дальнейшие работы Мак-Кинси и Тарского о методах теории решеток в интуиционистском и модальном пропозициональных исчислениях установили аналогичную связь для метаматематики соответствующих неклассических теорий. Большое значение имеет здесь также и другой подход к исследованиям: интерпретация формул пропозициональных исчислений как отображений в некоторых решетках. Эта интерпретация является обобщением давно уже используемого в логике метода истинностных таблиц. Распространение этого метода на интуиционистское предикатное исчисление впервые было предложено Мостовским в связи с проблемами невыводимости формул. [14]
Логические исследования самого Буля привели к понятию, которое мы теперь называем булевой алгеброй. Фундаментальная теорема Стоуна о представлениях булевых алгебр дает возможность широких приложений теории булевых алгебр к метаматематике. Метод рассмотрения множества формул или множества классов эквивалентности формул как универсальных алгебр, предложенный Липденбаумом и Тарским, оказался важным орудием исследований. Он устанавливает связь между метаматематикой теорий, основанных на классической логике, и теорией булевых алгебр. [15]