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

Что такое ШРЕДЕР ЭРНСТ

(1841-1902)

немецкий математик и логик; основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.

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