|
|
Большая Советская Энциклопедия (цитаты)
|
|
|
|
|
Шредер Эрнст | Шредер (далее Ш) (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.
|
Для поиска, наберите искомое слово (или его часть) в поле поиска
|
|
 |
 |
 |
|
|
|
Новости 06.04.2025 02:18:12
|
|
|
|
|
|
|
|
|
|
|
