Архів 15 березня 2010

Алгебра логіки

Категорія: Для програмерів -> Теорія · Автор: admin · Переглядів: 114

Алгебра логіки (Булева логіка, двійкова логіка, двійкова алгебра) — розділ математичної логіки, що вивчає логічні операції над висловлюваннями. Алгебра логіки як алгебраїчна структура наряду з алгеброю множин є частковими випадками булевої алгебри. Засади алгебри логіки були сформульовані британцем Джорджем Булем в 1847 році. Пізніше її розвивали Чарлз Пірс, П. С. Порецький, Бертран Рассел, Давид Гільберт та ін. Відтоді ця система застосовується для вирішення широкого спектру проблем математичної логіки та теорії множин, та особливо конструювання цифрової електроніки (початок використання алгебри логіки для синтезу перемикальних (релейних) схем був покладений в 1938 році роботами відомого американського вченого Клода Шеннона).

Джерела: