Значение слова ШРЕДЕР в Большом российском энциклопедическом словаре

ШРЕДЕР

ШРЁДЕР Эрнст (1841-1902), нем. математик и логик. Основополагающие иссл. по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.

Большой российский энциклопедический словарь.