Связано ли появление алгебры логики с развитием персонального компьютера
Обновлено: 22.11.2024
Булеву алгебру часто называют алгеброй логики. Английский математик Джордж Буль (1815–1864), которому принадлежит большая часть ее истоков, был первым, кто применил алгебраические методы к логической методологии. Он показал, что логические предложения и их связки могут быть выражены на языке теории множеств. Таким образом, булева алгебра является также алгеброй множеств. Алгебра — это раздел математики, изучающий соотношения величин.
Начиная с элементов определенного набора (называемого универсальным набором), вместе с одной или несколькими бинарными операциями, определенными для этого набора, получаются процедуры для манипулирования элементами набора с использованием определенных операций и комбинаций этих операций. . И язык, и правила манипулирования меняются в зависимости от свойств элементов универсального множества. Например, алгебра действительных чисел отличается от алгебры комплексных чисел, потому что действительные числа и комплексные числа определяются по-разному, что приводит к различным определениям бинарных операций сложения и умножения, а также к различным правилам манипулирования двумя типами чисел. числа. Булева алгебра состоит из правил манипулирования подмножествами любого универсального множества, независимо от конкретных свойств, связанных с отдельными элементами этого множества. Вместо этого это зависит от свойств множеств. Универсальным набором может быть любой набор, включая набор действительных чисел или набор комплексных чисел, потому что в булевой алгебре интерес представляют не отдельные элементы универсального набора, а все возможные подмножества универсального набора.
Свойства наборов
Набор – это набор объектов, называемых членами или элементами. Членами множества могут быть физические объекты, такие как люди, звезды или розы, или они могут быть абстракциями, такими как числа или даже другие множества. Множество называется универсальным множеством (обычно называемым I), если оно содержит все рассматриваемые элементы. Множество S, не равное I, называется правильным подмножеством I, если каждый элемент S содержится в I. Это записывается и читается как «S содержится в I» (см. рис. 1)
Если S равно I, то S называется неправильным подмножеством I, то есть I является неправильным подмножеством самого себя (обратите внимание, что два множества равны тогда и только тогда, когда они оба содержат одни и те же элементы). Специальный символ присваивается набору без элементов, называемому пустым набором или нулевым набором. Нулевой набор является подмножеством каждого набора.
При работе с множествами есть три важные операции. Две из этих операций являются бинарными (то есть они включают объединение двух наборов за раз), а третья включает только один набор за раз. Двумя бинарными операциями являются объединение и пересечение. Третья операция – комплементарная. Объединение двух множеств S и T — это совокупность тех членов, которые принадлежат либо S, либо T, либо обоим. (см. рис. 2)
Пересечение множеств S и T — это совокупность элементов, принадлежащих как S, так и T. (см. рис. 3)
Дополнением подмножества S является та часть I, которая не содержится в S, и обозначается S’. (см. рис. 4)
Свойства булевой алгебры
Свойства булевой алгебры можно свести к четырем основным правилам.
(1) Обе бинарные операции обладают свойством коммутативности, то есть порядок не имеет значения.
S ∩ T = T ∩ S и S ∪ T = T ∪ S.
(2) Каждая бинарная операция имеет связанный с ней элемент идентификации. Универсальный набор — это элемент идентичности для операции пересечения, а нулевой набор — это элемент идентичности для операции объединения.
S ∩ I = S и S ∪ Ø = S.
(3) каждая операция распределяется по отношению к другой.
S ∪ (T ∩ V) = (S ∪ T) ∩ (S ∪ V) и S ∩ (T ∪ V) = (S ∩ T) U (S ∩ V).
Это отличается от алгебры действительных чисел, для которой умножение является дистрибутивным по отношению к сложению, a(b + c) = ab + ac, но сложение не является дистрибутивным по отношению к умножению, a + (bc) не равно (a + b )(а + в).
(4) с каждым элементом связан второй элемент, так что объединение или пересечение двух элементов приводит к элементу идентичности другой операции.
A ∪ ′ = I и A ∩ ′ = Ø .
Это также отличается от алгебры действительных чисел. С каждым действительным числом связаны два других, так что его сумма с одним из них является элементом идентичности для сложения, а его произведение на другое является элементом идентичности для умножения. То есть a + (-a) = 0 и a(1/a) = 1.
Приложения
Полезность булевой алгебры заключается в том, что ее правила применимы к логическим утверждениям. Логическое утверждение или суждение может быть либо истинным, либо ложным, как и уравнение с вещественным числом
числа могут быть истинными или ложными в зависимости от значения переменной.Однако в булевой алгебре переменные не представляют значения, которые делают утверждение истинным, вместо этого они представляют истинность или ложность утверждения. То есть логическая переменная может иметь только одно из двух значений. В контексте символической логики эти значения являются истинными и ложными.
Булевая алгебра оказалась незаменимой в области вычислительной техники. Взяв двузначные переменные булевой алгебры для представления электронных состояний включения и выключения (или двоичные цифры 0 и 1), булеву алгебру можно использовать для проектирования цифровых вычислительных схем. Таким образом, это основной язык дизайна всех современных компьютеров и других цифровых устройств.
КЛЮЧЕВЫЕ ТЕРМИНЫ
Бинарная операция. Бинарная операция – это метод объединения элементов набора по два за раз таким образом, что их комбинация также является элементом набора.
Дополнение — дополнение множества S, обозначаемое как S’, — это множество, содержащее те элементы универсального множества, которые не содержатся в S.
Элемент — любой элемент набора. Объект в наборе.
Пересечение — пересечение двух наборов само по себе является набором, состоящим из всех элементов, общих для обоих наборов.
Набор. Набор – это набор объектов, называемых членами или элементами набора. В математике членами множества часто являются числа.
Теория множеств. Теория множеств — это изучение свойств множеств и подмножеств, особенно тех свойств, которые не зависят от конкретных элементов множества.
Подмножество. Набор S называется подмножеством другого набора I, если каждый элемент S содержится в I.
Объединение — объединение двух множеств — это множество, содержащее все элементы, найденные в одном или другом из двух множеств.
Универсальный набор. Универсальный набор — это набор, содержащий все рассматриваемые элементы.
Ресурсы
КНИГИ
Марковиц, Алан Б. Введение в логическое проектирование. Нью-Йорк: McGraw-Hill, 2006 г.
Процитировать эту статью
Выберите стиль ниже и скопируйте текст для своей библиографии.
Стили цитирования
В инструменте "Процитировать эту статью" выберите стиль, чтобы увидеть, как вся доступная информация выглядит в формате, соответствующем этому стилю. Затем скопируйте и вставьте текст в свою библиографию или список цитируемых работ.
Ассоциация современного языка
Чикагское руководство по стилю
Американская психологическая ассоциация
Примечания:
В 1847 году Джордж Буль (1815 – 1864), английский математик, опубликовал одну из работ, положивших начало символической логике. Его сочетание идей классической логики и алгебры привело к тому, что называется булевой алгеброй.
Используя переменные и символы, Буль разработал язык для описания логических утверждений и манипулирования ими, а также для определения того, истинны они или нет. Переменные обозначают утверждения, которые либо истинны, либо ложны. Символы +, * и − обозначают и, или и не и эквивалентны символам [.logicaland], [.logicalor] и — используются в таблицах истинности в логике. Хотя таблицы истинности используют T и F (для истинности и ложности соответственно) для обозначения состояния предложения, в булевой алгебре используются 1 и 0.
Взаимосвязь между булевой алгеброй, алгеброй множеств, логикой и бинарной арифметикой сделала булеву алгебру центральной ролью в разработке электронных цифровых компьютеров. Помимо многочисленных применений в разработке компьютеров, он составляет основу теории информации.
Таблицы правды
Булевая алгебра основана на предложениях, которые представляют собой недвусмысленные предложения, которые могут быть как истинными, так и ложными. Эти предложения можно комбинировать различными способами, используя связки и и или, или можно отрицать их, ставя перед ними не. Результаты этих операций над предложениями диктуются правилами булевой алгебры. Например, если кто-то говорит: «Я куплю зеленые варежки», то на самом деле он говорит, что купит варежки, и эти варежки будут зелеными. Поэтому свойства «рукавицы» и «зелени» должны присутствовать во всех ее «покрывающих руки» покупках. Это исключит перчатки и все незеленые варежки. Как это работает с использованием таблиц истинности? Пусть A обозначает «рукавицы», B обозначает «зеленый». На рис. 1(а) показано, как утверждение «рукавицы и зелень» представляется с помощью таблиц истинности, а на рис. 1(б) то же самое утверждение показано с помощью булевой алгебры.
Таблицы указывают на то, что если предмет не обладает ни качеством рукавицы, ни качеством быть зеленым, то он будет выброшен. Будут выбраны только те, которые удовлетворяют обоим требованиям.
С другой стороны, если кто-то говорит: «Я куплю перчатки или варежки», то на самом деле он говорит, что купит варежки, или перчатки, или какое-то их сочетание. Это означает, что у него будет большой ассортимент одежды, закрывающей руки. Пусть А обозначает «рукавицы», а В — «перчатки».На рис. 2(а) показано, как утверждение «рукавицы или перчатки» представляется с помощью таблиц истинности, а на рис. 2(б) то же утверждение показано с помощью булевой алгебры.
Таблицы показывают, что элемент будет выбран, если он обладает обоими качествами рукавицы и перчатки или обладает только одним качеством, либо перчаткой, либо рукавицей. Будут отбракованы только те, которые не удовлетворяют ни одному из качеств — например, все красные носки.
Можно также сказать: «Я куплю что-нибудь, чтобы прикрыть руки, но не варежки». Пусть A представляет «рукавицы». На рис. 3(а) показано, как утверждение «не варежки» представляется с помощью таблиц истинности, а на рис. 3(б) то же самое утверждение показано с помощью булевой алгебры.
В таблицах указано, что если предмет является варежкой, то его отрицание — A представляет не варежку — например, перчатку или носок.
Компьютерный дизайн
Булева алгебра может применяться для проектирования и упрощения сложных схем, присутствующих в компьютерах, поскольку компьютерные схемы являются устройствами с двумя состояниями: они могут быть либо выключены, либо включены. Это соответствует общему представлению булевой алгебры с двумя элементами, 0 и 1. Чтобы показать, как это работает, взгляните на две простые схемы, «и» и «или», которые соответствуют первым двум наборам представленных таблиц. ранее. Эти простые схемы состоят из источника питания — батареи, соединенной проводом с пунктом назначения — и лампы с двумя переключателями, которые контролируют поток электричества. Положение переключателя либо позволяет электричеству течь от источника питания к месту назначения, либо останавливает его. Например, если переключатель поднят или разомкнут, то электричество не течет, и это условие представлено 0. Однако, если переключатель опущен или замкнут, электричество будет течь, и это представлено 1.
На рисунке 4 показана схема последовательной цепи с двумя переключателями, в которой электричество будет течь от источника к получателю только в том случае, если оба переключателя замкнуты. На этой диаграмме представлены условия и булевой алгебры.
Схема, в которой электричество течет всякий раз, когда хотя бы один из переключателей замкнут, называется параллельной цепью. Это соответствует условию или булевой алгебры. На рис. 5 показана схема параллельной цепи с двумя переключателями.
Чтобы представить условие не, нужно помнить, что в этой системе переключатель имеет только два возможных положения: открыто или закрыто. Его дополнением является переключатель, который будет иметь противоположное положение. Например, если переключатель А разомкнут, его дополнение будет замкнуто, и наоборот. Разработчики логики могут использовать эти схемы для планирования сложных компьютерных схем, которые будут выполнять необходимые функции для конкретной машины.
Теория информации
Булева алгебра используется в теории информации, поскольку почти все поисковые системы позволяют вводить запросы в форме логических выражений. Оператор and используется для сужения запроса, тогда как or используется для его расширения. Оператор not используется для исключения определенных слов из запроса. Например, если кто-то ищет информацию о «конфиденциальности в компьютерной среде», он может сформулировать свой запрос как «компьютерная и конфиденциальность» или «компьютерная или конфиденциальность». или даже «компьютер и конфиденциальность, не мейнфреймы». Количество информации, полученной от каждого запроса, будет разным.
Первый запрос извлечет меньше документов, поскольку будут выбраны только те, которые содержат оба термина. Второй извлечет много документов, потому что он выберет те, которые содержат «компьютер», те, которые содержат «конфиденциальность», а также те, которые содержат оба термина. Последний запрос извлечет документы, содержащие как «конфиденциальность», так и «компьютер», а все, что содержит термин «мейнфрейм», будет отброшено.
При использовании поисковых систем необходимо понимать, что каждая из них будет обращаться к своей базе данных по-разному. Обычно один и тот же поиск, выполненный более чем в одной базе данных, не дает одинаковых результатов. Чтобы выполнить тщательный поиск, необходимо ознакомиться с несколькими различными поисковыми системами и понять их основные функции, такие как логическая логика и усечение. Кроме того, необходимо часто проверять документацию поисковой системы, поскольку она может часто меняться.
см. также Алгоритмы; Двоичная система счисления; Буль, Джордж; Системы поддержки принятия решений; Цифровой логический дизайн.
Ида М. Флинн
Библиография
Маккалоу, Роберт Н. Математика для обработки данных, 2-е изд. Энглвуд, Колорадо: Morton Publishing Co., 2001.
Ворринг, Рональд Х. Легкая логика. Саммит, Пенсильвания: TAB Books, Inc., 1985 г.
Уайтситт, Дж. Элдон. Булевая алгебра и ее приложения. Нью-Йорк: Dover Publications, Inc., 1995 г.
Несмотря на то, что были приложены все усилия для соблюдения правил стиля цитирования, могут быть некоторые расхождения. Если у вас есть какие-либо вопросы, обратитесь к соответствующему руководству по стилю или другим источникам.
Наши редакторы рассмотрят то, что вы отправили, и решат, нужно ли пересматривать статью.
Родился: 2 ноября 1815 г., Линкольн, Англия. (Показать еще) Дата смерти: 8 декабря 1864 г. (49 лет) Ирландия. (Показать больше) Предметы изучения: формальная система булевой алгебры. (Показать больше)
Посмотрите посвящение математику Джорджу Булю, посвященное двухсотлетию со дня его рождения, из Университетского колледжа Корка, Ирландия
День уважения математику Джорджу Булю к двухсотлетию со дня его рождения из Университетского колледжа Корка (бывший Королевский колледж), Корк, Ирландия.
Джордж Буль (родился 2 ноября 1815 г., Линкольн, Линкольншир, Англия — умер 8 декабря 1864 г., Баллинтемпл, графство Корк, Ирландия), английский математик, который помог создать современную символическую логику и чья алгебра логики, теперь называемая булевой алгебра является основой проектирования цифровых компьютерных схем.
Первые уроки математики Буль получил от своего отца, торговца, который также научил его делать оптические приборы. Однако, помимо помощи отца и нескольких лет в местных школах, Буль был математиком-самоучкой. Когда бизнес его отца пришел в упадок, Джорджу пришлось работать, чтобы прокормить семью. С 16 лет он преподавал в деревенских школах в Западном райдинге Йоркшира, а в 20 лет открыл собственную школу в Линкольне. В свободное время он читал математические журналы в Институте механики Линкольна. Там он также прочитал Principia Исаака Ньютона, Traité de mécanique céleste Пьера-Симона Лапласа и аналитическую механику Жозефа-Луи Лагранжа и начал решать сложные задачи. задачи по алгебре.
A-B-C, 1-2-3… Если вы считаете, что подсчет чисел похож на чтение алфавита, проверьте, насколько свободно вы владеете языком математики, с помощью этого теста.
Буль отправил поток оригинальных статей в новый Cambridge Mathematical Journal, начиная с 1841 года с его «Исследований по теории аналитических преобразований». Эти статьи были посвящены дифференциальным уравнениям и алгебраической проблеме линейного преобразования с упором на концепцию инвариантности. В 1844 г. в важной статье в Philosophical Transactions of the Royal Society «Об общем методе анализа», за которую он был награжден первой золотой медалью Королевского общества по математике, он обсуждал, как методы алгебру и исчисление можно совместить. Вскоре Буль увидел, что его алгебра может применяться и в логике.
Развивая новые идеи о логическом методе и будучи уверенным в символических рассуждениях, которые он вывел из своих математических исследований, он опубликовал в 1847 году брошюру Математический анализ логики, представляющий собой эссе по исчислению дедуктивных рассуждений, в которой он убедительно доказывал, что логика должна быть связана с математикой, а не с философией. Он завоевал восхищение английского логика Августа де Моргана, опубликовавшего в том же году Формальную логику. На основании своих публикаций Буль в 1849 году был назначен профессором математики в Королевском колледже графства Корк (ныне Университетский колледж Корка), хотя у него не было университетской степени. В 1854 году он опубликовал Исследование законов мышления, на которых основаны математические теории логики и вероятностей, которое он считал зрелым изложением своих идей. В следующем году он женился на Мэри Эверест, племяннице сэра Джорджа Эвереста, в честь которого названа гора. У Булей было пять дочерей.
Один из первых англичан, написавших о логике, Буль указал на аналогию между алгебраическими символами и теми, которые могут представлять логические формы и силлогизмы, показав, как символы количества можно отделить от символов операции. С Буля в 1847 и 1854 годах началась алгебра логики, или то, что сейчас называется булевой алгеброй. Оригинальный и замечательный общий символический метод логического вывода Буля, полностью изложенный в Законах мышления (1854 г.), позволяет человеку, учитывая любые предложения, включающие любое количество терминов, делать выводы, которые логически содержатся в посылках. . Заумные рассуждения Буля привели к приложениям, о которых он и не мечтал, — например, телефонная коммутация и электронные компьютеры используют двоичные числа и логические элементы, построенные и работающие на основе булевой логики. Он также попытался использовать общий метод вероятностей, который позволил бы из заданных вероятностей любой системы событий определить последующую вероятность любого другого события, логически связанного с данными событиями.
В 1857 году Буля избрали членом Королевского общества. Влиятельный Трактат о дифференциальных уравнениях появился в 1859 году, а в следующем году за ним последовало его продолжение, Трактат о исчислении конечных разностей.Эти работы, которые использовались в качестве учебников в течение многих лет, представляют собой развитие более важных открытий Буля.
Буль заразился пневмонией, пройдя три мили от своего дома до Королевского колледжа во время ливня 24 ноября 1864 года. Он умер 8 декабря.
В 1940-х и 1950-х годах под электроникой подразумевались электронные лампы — большие, горячие и энергоемкие. Одну лампу с двумя триодами можно сконфигурировать как один триггер, хранящий один бит данных.
Как «думают» цифровые компьютеры?
Все цифровые компьютеры основаны на двоичной системе единиц и нулей, а также на правилах логики, изложенных в 1850-х годах английским математиком Джорджем Булем.
Компьютер может представлять двоичные цифры (биты) ноль и единицу механически с помощью положения колеса или рычага или электронно с помощью напряжения или тока. Основная математика остается прежней. Битовые последовательности могут представлять числа или буквы.
Джордж Буль (1815–1864)
Английский математик Джордж Буль заложил основы логической системы, которая теперь носит его имя: булевой логики. Его система логических операций, основанная на простых принципах, является основой современных компьютеров.
Булевая логика
Всего три операции (определение И, ИЛИ и НЕ) могут выполнять все логические функции. Так рассуждал математик-самоучка Джордж Буль в своей работе 1847 года Математический анализ логики. В 1854 году, будучи профессором математики в Квинс-колледже в Ирландии, Буль расширил свою концепцию в Исследовании законов мышления.
В течение десятилетий идеи Буля не имели практического применения. Его работа в значительной степени игнорировалась, пока Клод Шеннон не применил ее к конструкции телефонного коммутатора в 1930-х годах. Сегодня это называется булевой алгеброй, основой цифровой логики.
Задействуем логическую логику
Клод Шеннон познакомился с идеями Джорджа Буля на уроках философии в колледже в 1930-х годах. Он признал ее ценность для решения реальных проблем.
В магистерской диссертации Шеннона 1937 года в Массачусетском технологическом институте Символический анализ релейных и коммутационных цепей применялась булева алгебра для проектирования логических схем с использованием электромеханических реле. Шеннона также помнят за основополагающую статью 1948 года по теории информации Математическая теория коммуникации.
Клод Шеннон не был первым, кто применил концепции Буля. Виктор Шестаков предлагал аналогичные идеи в 1935 году, но публиковал их только в 1941 году, и то только на русском языке.
Клод Шеннон (1916–2001)
Будучи аспирантом Массачусетского технологического института, Клод Шеннон написал магистерскую диссертацию по булевой логике в схемах компьютеров на основе ретрансляции, что стало огромным шагом на пути к современным цифровым компьютерам.
Математическая теория коммуникации
Написанная в соавторстве с Уорреном Уивером, эта книга 1963 года (основанная на статье 1948 года) расширила основы современных вычислений с использованием булевой логики, а также передачи информации по каналам связи.
Из чего состоит компьютерная схема?
Компьютерные схемы состоят из простых элементов, называемых вентилями, состоящих из механических или электронных переключателей. Они работают в соответствии с булевой алгеброй для определения значения выходного сигнала (единицы или нуля) или для сохранения значения в «триггере» — запоминающем устройстве, состоящем из нескольких логических элементов.
Три основных типа логических элементов: И, ИЛИ и НЕ. Но другие, такие как НЕ-И (НЕ-И), могут сами по себе формировать любую компьютерную схему, в том числе для арифметики, памяти и выполнения инструкций. Современные компьютеры имеют эквивалент сотен миллионов вентилей NAND.
Практически в один и тот же день в 1847 году выдающимися британскими математиками были опубликованы две крупные новые работы по логике: Формальная логика [3] Августа Де Моргана (1806–1871) и The Математический анализ логики [1] Джорджа Буля (1815–1864). Оба автора стремились расширить границы традиционной логики, разработав общий метод представления и обработки логически обоснованных выводов или, как объяснил Де Морган в письме Булю от 1847 г., разработать «механические способы совершения переходов с обозначениями, которые представляют нашу логику». головная работа» [7, с. 25]. В отличие от метода, предложенного Де Морганом, подход Буля предпринял важный шаг, явно приняв для этой цели алгебраические методы. Как позже провозгласил сам Де Морган, «г. Булевское обобщение форм логики, безусловно, самое смелое и оригинальное. . . (цитируется по [4, с. 174]).
Несмотря на явный алгебраический характер, смелый и оригинальный подход Буля привел к очень странной новой системе алгебры. Например, среди законов, которые выполняются в системе, можно найти как стандартный закон дистрибутивности умножения над сложением \(x(y+z)=xy+xz\), так и необычный на вид двойственный закон дистрибутивности сложения над умножением \ (x+yz=(x+y)(x+z).\) В своей зрелой работе по логике An Investigation of the Laws of Thought [2], опубликованной в 1854 г., Буль продолжил исследование способы, которыми законы этой алгебраической системы напоминают и отличаются от законов стандартной алгебры, а также причины, по которым она удовлетворяет этим различным законам. По иронии судьбы, Laws of Thought изначально не был хорошо принят; Буль и его друг, понесшие расходы на его первоначальную печать, вероятно, не возместили свои затраты. Абстрактная структура булевой алгебры, которая в конечном итоге развилась из работ Буля, стала, однако, не только важной областью изучения математики, но и мощным инструментом проектирования и изучения электронных схем и компьютерной архитектуры.
На основе работ многочисленных людей, которые внесли свой вклад в историю рождения и развития булевой алгебры, мы создали три основных исходных модуля проекта, подходящие для студентов, изучающих вводные или промежуточные курсы дискретной математики:
Все три проекта являются частью более крупной коллекции, опубликованной в Convergence, и весь вводный курс по дискретной математике можно преподавать на основе выбранных проектов из этой коллекции. Дополнительные проекты см. в разделе «Основные исторические источники в классе: дискретная математика и информатика».
Наш проект «Истоки булевой алгебры в логике классов: Джордж Буль, Джон Венн и К. С. Пирс» готов для студентов, а исходный код Latex также доступен для преподавателей, которые могут захотеть изменить проект для студентов. Подробные «Примечания для инструктора», представленные далее, также прилагаются к самому проекту.
Рис. 2. Нижняя треть витража, посвященного Джорджу Булю, в Линкольнском соборе в Линкольне, Англия, где родился Буль (Источник: Wikimedia Commons)
Примечания для инструктора
Проект «Истоки булевой алгебры в логике классов: Джордж Буль, Джон Венн и К. С. Пирс» предназначен для вводного или промежуточного курса дискретной или конечной математики, который включает изучение элементарной теории множеств. Без явного введения современных обозначений для операций над множествами проект развивает современное понимание этих операций и их основных свойств в контексте ранних попыток разработать символическую алгебру для логики. Хотя проект фокусируется на том, что сейчас можно было бы назвать «введением в теорию множеств», он также закладывает основу для более абстрактного обсуждения булевой алгебры как дискретной аксиоматизированной структуры. Соответственно, этот проект можно также использовать в качестве введения в один или оба сопутствующих проекта, описанных ниже, в любом курсе, который рассматривает булеву алгебру с точки зрения математики или информатики. Помимо определенного уровня математической зрелости, соответствующего типичному опыту исчисления I, для этого проекта не требуется предварительных условий. Сильные учащиеся на уровне, предшествующем математическому анализу, также могут выполнить предыдущие разделы этого проекта.
|
Начиная с работ Буля об использовании символической алгебры для представления логических классов в его Исследовании законов мысли [2] (раздел 2), этот проект вводит операции логического сложения ( т. е. объединение множеств), логическое умножение (т. е. пересечение множеств) и логическое различие (т. е. различие множеств) и исследует определенные ограничения, наложенные на их использование Булем, которые с тех пор были сняты. Вводятся также основные законы этих операций, разработанные и обоснованные Булем; эти обоснования основывались частично на его определениях операций и частично на аналогии его символов с символами «стандартной алгебры».Затем проект следует усовершенствованиям системы Буля, сделанным Джоном Венном в его Символической логике [8] (раздел 3) и Чарльзом Сандерсом Пирсом в его «Об улучшении логического исчисления Буля» [5]. (Раздел 4), причем уровень абстракции в этих разделах неуклонно растет. Проект завершается (раздел 5) кратким изложением того, как «Алгебра логики» Буля соотносится с элементарной теорией множеств в том виде, в каком она обычно представлена сегодня, и обсуждается, как элементарная теория множеств (если рассматривать ее как алгебраическую структуру) служит конкретным примером булева алгебра. Стандартные (студенческие) обозначения и свойства для операций теории множеств, используемых сегодня, включены и сравниваются со стандартными (студенческими) обозначениями и аксиомами для булевой алгебры в этом разделе. Вопросы, связанные с использованием языка и операциями над наборами, которые вызывают трудности у многих учащихся, но которые игнорируются или не признаются современными авторами учебников, также подробно рассматриваются в трудах Буля и Венна (разделы 3 и 4) и дополнительно исследуются в рамках проекта. вопросы в этих разделах.
|