ШРЁДЕР
(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.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я