Большая советсткая энциклопедия Шрёдер Эрнст
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я

Шрёдер Эрнст

Шрёдер (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.

Следующие

Шрёдингера уравнение, основное динамическое уравнение нерелятивистской квантовой механики; названо в честь австрийского физика Э… читать дальше



Шрёдингер (Schrödinger) Эрвин (12.8.1887, Вена, — 4.1.1961, там же; похоронен в Альпбахе, Тироль), австрийский физик, один … читать дальше



Шрейнер (Schreiner) Альберт (р. 7.8.1892, Агластерхаузен), немецкий историк (ГДР), профессор (1947). В молодости рабочий-металли… читать дальше