Шредер Эрнст

ШрЁДЕР Эрнст (Schroder) (25 ноября 1841, Мангейм — 16 июня 1902, Карлсруэ) — немецкий ученый, математик и логик; профессор Высшей технической школы в Карлсруэ (с 1876). Эрнст Шредер провел основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений, ввел термин «исчисление высказываний», открыл принцип двойственности и ряд математических законов логики. Он занимался также теорией алгоритмов.
Статья находится в рубриках
Яндекс.Метрика