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

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

(Schroder) Эрнст (25.11.1841, Мангейм, - 16.6.1902, Карлсруэ), немецкий математик и логик. С 1876 профессор Высшей технической школы в Карлсруэ. Ш. дал систематическое изложение математической логики (точнее, алгебры логики ); им введён термин 'исчисление высказываний'. Автор принципа двойственности и ряда других математических законов логики. Занимался также теорией алгоритмов.

Соч.: Der Operationskreis des Logikkalkuls, Lpz., 1877; Vorlesungen uber die Algebra der Logik, Bd 1-2, Lpz., 1890-1905; Abriss der Algebra der Logik, Tl 1-2, Lpz., 1909-10.

Большая советская энциклопедия, БСЭ.