Булева алгебра

Решающий вклад в алгебраизацию логики сделал английский ученный Джордж Буль (1815-1864). В 1847 году вышла его работа с характерным названием - "математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения". Применяя алгебру (в дальнейшем она стала называться булевой алгеброй), можно было закодировать высказывание, истинность и ложность которых требовалось доказать, а потом оперировать ими, как в математики оперируют с числами. Буль ввел три основные операции : И, ИЛИ, НЕ, хотя 
алгебра допускает и другие операции-логические действия . Эти действия бинарны по своей сути, т. е. они оперируют с двумя состояниями: "истина" - "ложь". Данное обстоятельство позволило в дальнейшем использовать булеву алгебру для описания переключательных схем.Необходимо отметить, что окончательное оформление и завершение булева алгебра получила в работах последователей Дж. Буля: УC. Джевонса  и 
Дж. Венна (Англия), Э. Шредера (Германия), П. С. Порецкого (Россия).

Другие записи

10.06.2016. Персоналии (основоположники)
Готфрид Лейбниц В 1673 году выдающийся немецкий ученый Готфрид Лейбниц построил первую счетную машину, способную механически выполнять все четыре действия арифметики. Ряд важнейших ее механизмов…
10.06.2016. Двоичная система счисления
Переработка информации в ЭВМ основана на обмене электрическими сигналами между различными устройствами машины. Эти сигналы возникают в определенной последовательности во времени. Наличие сигнала - это…
10.06.2016. История вычислительной техники (до процессора Intel 80486)
Зволюционный процесс, который привел к современным микрокомпьютерам, был чрезвычайно быстрым. Хотя при создании машины, известной как «персональный компьютер», было использовано большое число открытий…