переработка молока во Владимире, ЛЕСОЗАГОТОВИТЕЛЬНАЯ ПРОМЫШЛЕННОСТЬ в Екатеринбурге, Производство техника железнодорожная путевая в Удмуртской Республике, ХИМИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ в Московской области, нефть в Республике Башкортостан, Производство оборудование технологическое для обувной промышленности, Производство продукция цельномолочная в Северо-Западный федеральный округ, Производство метизы в Саратове, ОАО "Завод 'Стекловолокно'" ПРОИЗВОДСТВО СТРОИТЕЛЬНЫХ МАТЕРИАЛОВ, изделия электронной техники в Северо-Западный федеральный округ, Воронеж предприятия, ТЕКСТИЛЬНАЯ ПРОМЫШЛЕННОСТЬ в Центральный федеральный округ, СТАНКОСТРОИТЕЛЬНАЯ ПРОМЫШЛЕННОСТЬ в Кирове, предприятия АККУМУЛЯТОРНАЯ И ЭЛЕМЕНТНАЯ ПРОМЫШЛЕННОСТЬ, Москва ГУП НПЦ автоматики и приборостроения им. Н.А.Пилюгина, Производство продукты молочные по регионам, контсрукции сборные железобетонные, ЭЛЕКТРОТЕХНИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ Промышленность, промышленность в Смоленске, Производство материалы мелкоштучные стеновые, ПРОИЗВОДСТВО СТРОИТЕЛЬНЫХ МАТЕРИАЛОВ предприятия Черепаново, предприятия Краснодарский край, ПРОИЗВОДСТВО СТРОИТЕЛЬНЫХ МАТЕРИАЛОВ Видное, Центральный федеральный округ промышленность и предприятия
А знаете ли Вы, что...
Из Большой Советской Энциклопедии.
Шрёдер (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.
|
