Алгебраические системы – это множество с определенными на нем операциями и отношениями. Алгебраическая система называется алгеброй (общей, универсальной, абстрактной), если множество отношений пусто, и – моделью, если пусто множество операций.
Математическая логика – раздел математики посвященный изучению доказательств оснований математики. На основе математической логики были построены различные системы аксиоматической теории множеств. Наиболее известная из них – система Цермело-Френкеля. Прикладное значение математической логики – конструкция ЭВМ.
Наиболее часто мы сталкиваемся с понятиями операции, отношения и отображения.
Понятие операции интуитивно ясно на примере хорошо известных операций сложения и умножения. Это – бинарные операции. Примером унарной операции является отрицание.
Отношения устанавливают связь между множествами.
Отображения – это закон, по которому каждому элементу некоторого заданного множества сопоставляется однозначно определенный элемент другого заданного множества. Фундаментальными понятиями математики являются также понятия ассоциативности, коммутативности и дистрибутивности.
Ассоциативность – это сочетательный закон для операции.
Коммутативность – это переместительный закон для операции.
Дистрибутивность – это распределительный закон для двух операций.
Навести порядок в этом необозримом море различных алгебр помогает свойство гомоморфизма, которым обладают алгебры одного и того же типа. Гомоморфизм – это одно из наиболее важных понятий в математике. Изоморфизмом называется взаимно-однозначный гомоморфизм.
К сожалению, огромное количество новых правил в современной математике отпугивает от нее множество людей, формируя общую неприязнь к математике, что в гуманитарной сфере даже возводится в ранг достоинства. Это происходит видимо потому, что человек изначально воспринимает только ту информацию, которая доступна его пониманию. Именно особое понимание природы на уровне интуиции определяет принадлежность человека к физике, хотя опыт показывает, что зачастую с трудом достигнутое понимание рано или поздно оказывается ложным. В математике ситуация несколько другая, здесь все основные понятия – это правила Игры, к которым надо привыкнуть, а не понять. Более того, математики считают, что все введенные ими понятия – реальны.
В итоге, мы решили «не пугать» читателей сложными формулами и постараться обойтись без них.