Шредер Ернст
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Шредер Ернст

Шредер (Schröder) Ернст (25.11.1841, Мангейм, — 16.6.1902, Карлсруе), німецький математик і логік. З 1876 професор Вищої технічної школи в Карлсруе. Ш. дав систематичний виклад математичної логіки (точніше, алгебра логіки ); їм введений термін «числення висловів». Автор принципу подвійності і ряду інших математичних законів логіки. Займався також теорією алгоритмів.

  Соч.: Der Operationskreis des Logikkalküls, Lpz., 1877; Vorlesungen über die Algebra der Logik, Bd 1¾2, Lpz., 1890¾1905; Abriss der Algebra der Logik, Tl 1—2, Lpz., 1909—10.