нижнее белье для полных
მედიცინის კვლევები

   Велика Радянська Енциклопедія

Шредер Ернст

   
 

Шредер (Schroder) Ернст (25.11.1841, Мангейм, - 16.6.1902, Карлсруе), німецький математик і логік. З 1876 професор Вищої технічної школи в Карлсруе. Ш. дав систематичний виклад математичної логіки (точніше, алгебри логіки ); їм введено термін "числення висловів". Автор принципу подвійності і ряду інших математичних законів логіки. Займався також теорією алгоритмів.

Соч.: Der Operationskreis des Logikkalkuls, Lpz., 1877; Vorlesungen uber die Algebra der Logik, Bd 1 ? 2, Lpz., 1890 ? 1905; Abriss der Algebra der Logik, Tl 1 -2, Lpz., 1909-10.





Виберіть першу букву в назві статті:

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ы э ю я

Повний політерний каталог статей


 

Алфавітний каталог статей

  а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ ы э ю я
 


 
енциклопедія  біляші  морс  шашлик  качка