Большая Советская Энциклопедия (цитаты)

Шредер Эрнст

Шредер (далее Ш) (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, 1—2, Lpz., 1909—10.

 


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 29.03.2024 05:20:53