ШРЕДЕР

(Schroder) Эрнст (25. 11. 1841, Мангейм,— 16.6. 1902, Карлсруэ), нем. математик и логик. Дал систематич. изложение математич. логики (как алгебры логики), включая теорию отношений; им введён термин «исчисление высказываний». Сформулировал принцип двойственности и ряд др. математико-логич. принципов.

• Der Operationskreis des Logikkalkuls, Lpz., 1877; Vorlesungen uber die Algebra der Logik, Bd 1—3, Lpz., 1890—1905; Abriss der Algebra der Logik, Tl 1—2, Lpz.— B., 1909—10.

<< | >>

↑

Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ШРЕДЕР:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -