БНБ

"БСЭ" (95279)
- Photogallery
- Естественные науки - Математика - Технология - Гуманитарные науки - Общество

Шрёдер Эрнст

Определение "Шрёдер Эрнст" в Большой Советской Энциклопедии

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




Статья про "Шрёдер Эрнст" в Большой Советской Энциклопедии была прочитана 799 раз

TOP 20


AltStyle によって変換されたページ (->オリジナル) /