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