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

Алгебра логики, как явной алгебраической системы, показывающая основную математическую структуру логики, была введена Джордж Буль (1815-1864) в своей книге Математический анализ логики (1847). Методология инициирована Буля была успешно продолжена в 19м веке в работе Уильяма Стэнли Джевонса (1835-1882), Чарльз Сандерс Пирс (1839-1914), Эрнст Шрёдер (1841-1902), среди многих других, тем самым создавая традиция в (математической) логике. От первой книги Буля до влияния после Первой мировой войны монументального труда Principia Mathematica (1910–1913) Альфредом Нортом Уайтхедом (1861–1947) и Бертраном Расселом (1872–1970), версии алгебры логики были самой развитой формой математической логики, прежде всего, как представлено в трех томах Шредера Vorlesungen über die Algebra der Логик (1890–1905). Кроме того, эта традиция мотивировала исследования Леопольда Левенхайма (1878–1957 гг.), Которые в конечном итоге породили теорию моделей. Кроме того, в 1941 году Альфред Тарский (1901–1983) в своей работе «Об исчислении отношений» вернулся к алгебре отношений Пирса, представленной в «Шведерской алгебре дер логики» . Традиция алгебры логики сыграла ключевую роль в понятии логики как исчисления, в отличие от понятия логики как универсального языка, Помимо алгебры отношений Тарского, влияние алгебраической традиции на логику можно найти в других математических теориях, таких как теория категорий. Однако это влияние выходит за рамки данной статьи, которая разделена на 10 разделов.

Логические функции булевой алгебры, схемы, таблицы истинности

представление логики функции И на схеме

В данной статье мы начнем обозревать булевую алгебру или алгебру логики. Рассмотрим элементы функции на схеме, а так же приведем таблицы истинности для всех логических функций. Введение в булевую алгебру В 1854 году Джордж Буль провел исследование «законов мышления», которые основывались на упрощенной версии теории «групп» или «множеств», и из этого была выведена булевая алгебра. Булева …

Что такое двоичный и шестнадцатеричный коды

Что такое двоичный и шестнадцатеричный коды?

В этой статье объясним вам что такое двоичный и шестнадцатеричный коды. Приобретая знания в средней школе, потом в институте, мы учимся математике и другим наукам в десятеричной системе исчисления. Вся наша обыденная жизнь связана только с ней. Время, деньги, разные физические величины представляются нами только в виде цифр от нуля до девяти. Ранее, в статье …

Введение в информатику, алгоритмы

блок-схема

В данной статье будет введение в информатику и алгоритмы построения. Перед началом нового учебного года получил мой племянник в школе учебники. Увидев их, я решил посмотреть, чему же учат наших детей в школе. В частности меня заинтересовал учебник: «Информатика и ИКТ. Базовый курс. Учебник для 8-го класса. 3-е издание, исправленное. 2005 года выпуска. Автор – …