АЛГЕБРА ЛОГИКИ


АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов. В формулах Алгебры логики переменные являются логическими или двоичными, т. е. принимающими только два значения — ложь и истина, которые обозначаются соответственно 0 и 1. Любая программа 〈см.〉 для ЭВМ содержит логические операции.

Подробнее

АЛГЕБРА


АЛГЕБРА — часть матем. науки, в которой изучаются свойства величин, выраженных буквами, независимо от их числового значения. В первоначальном понимании Алгебра мыслится как учение о решении уравнений. В современном понимании Алгебра изучает общую теорию совокупностей (напр., теорию групп), в которых определены алгебраические операции, похожие по свойствам на операции, производимые над числами.

Подробнее

Математик Мальцев Анатолий Иванович


Математик Мальцев Анатолий Иванович

Анатолий Иванович Мальцев (1909—1967). Коротка жизнь этого замечательного ученого. Значителен путь, пройденный им в науке. Сын потомственного рабочего-стеклодува. Школьник, рано обративший на себя внимание своими математическими способностями. Студент (1927—1931), затем аспирант (1934—1937) Московского государственного университета. Под руководством А. Н. Колмогорова научная индивидуальность молодого ученого получила полное и яркое развитие. Еще в 1936 году А. И. Мальцев доказал одну из основных теорем математической логики, известную сейчас как локальная теорема Мальцева. Созданный им метод «описания моделей» позволил…

Подробнее